« first day (3078 days earlier)      last day (2241 days later) » 

00:28
hi demonic @Alessandro, Demonark, DogAteMy, et al.
$ST(x(s))=s\int_{0}^1 \tau x(\tau)d\tau$
$TS(x(s))=s^2\int_0^1 x(\tau)d\tau$
I could find $||S||=||T||=1$ I could Show that $S\circ T \neq T\circ S$. I could also show that $||S\circ T ||\leq 1$ and $||T\circ S||\leq 1$ I tried a lot to find a function $x(t): ||ST(x(t))||_{\infty}=1$. How do I find $||S\circ T ||$ and $||T\circ S ||$?
Heya @Ted
Heya @Fargle
hi @ted.
hi @MikeM
00:38
I tried to find a sequence of functions $x_n: ||x_n||\leq 1: x_n \to x$ and $||ST(x_n)||\to 1$. Is there any shortcut to find norm?
It seems easy to see $x(t)$ with norm $1$ so that $\|TS(x(s))\|=1$, @N.Maneesh.
I am not convinced that $\|ST\|=1$. Can you make it $>1/2$?
I used $x(t)=1$, $x(t)=t$,...,$x(t)=x^n$but No use.
@TedShifrin
For $TS$?
Let me check
@TedShifrin $x(t)=1$ is working :)
Yup.
But I believe $\|ST\|=1/2$.
Unless you can show me some function with norm $1$ that gives a bigger result.
00:49
But using the formula of $ST(x(s))$, I could prove $||ST(x)||_{\infty}\leq ||x||_{\infty}\implies ||ST||\leq 1$@TedShifrin
which is certainly true if it's 1/2.
@MikeMiller yes
hi chat
in order to determine the set of solutions of the congruences
2x-1 = 1 and 4x+3y =2 modulo n
this has solution if n is not equal to 2
@N.Maneesh: You should be getting a much better inequality than that. Use your formula for $ST$.
but am not sure if that is all , since we cannot do much also in Z/6Z , or any n for which 2 has no inverse
@TedShifrin right Ted?
00:57
@Jacksoja: I don't see why 2 is an issue. Don't you have a problem mod 3?
@TedShifrin Yes I got it. Thank you.:)
You're welcome.
@TedShifrin mod 3 if you pick x =2
and y = 1
it works
the matrix associated with that
has det = 2
I don't believe you.
2x-y =1 mod 3
x=2 and y = 1 works
00:59
You have a typo in the first equation.
No wonder.
4x+3y=2
oh yeah
@TedShifrin sorry
So the determinant of your $2\times 2$ matrix is $10$. You need $10$ to be invertible mod $n$, no?
Unless the second equation is twice the first equation, which happens when $3=-2\pmod n$.
the det = 2
2x -y = 1 and 4x +3y =2
that is the question
$2\cdot 3 - (-1)\cdot 4 = 10$.
and to find for what values of n does this work
damn it yes correct
det = 10
01:03
But note that we have the special case when the determinant is 0 ...
yeah that is what i was goin into
in Z/10Z
we cannot invert that matrix
What about $n=2$ or $n=5$ or $n=20$ or ...
yes for all those cases it does not work
since we cant invert the matrix
but assuming that the det = 2
so differnt problem
can we still find a matrix that the congurences work ?
without being able to divide by 1 / det A ?
@TedShifrin I was just trying to understand logic more
since it does not exist
01:09
@Jacksoja invertibility of the matrix is only sufficient for the existence of a solution, not necessary
@TedShifrin, is my proof for the following written correctly? Let A,B,C be sets and lets f: A$\rightarrow$B and g:B$\rightarrow$C be mappings.

1)If f,g are surjective functions then g$\circ$f is surjective.
@Jacksoja: Notice that when the second equation is twice the first, you can always find lots of solutions.
proof:Let c$\in$C. Note that since f is surjective, $\forall$ b$\in$B $\exists$a$\in$A such that f(a)=b. Similarily, since g is surjective $\exists$b $\in$ B : g(b)=c. So setting a$\in$A to be such that f(a)=b we have (g$\circ$f)(a)=g(f(a))=g(b)=c.
okay thank you , ill keep working on this
@TedShifrin I start hearing back tomorrow.
01:18
@maths: Sorry, I have four different things going on right now not in this room.
about postdocs, @MikeM?
@TedShifrin No worries, take you time :)
hey
can someone help me with a tiny r question?
@TedShifrin yeah
According to the rumor mill
Good luck, of course.
Thanks. We'll see if I can get any work done tomorrow.
01:37
@MatheinBoulomenos have you taken Galois course?
@Jacksoja yes, i've taken courses on Galois theory, Galois representations and Galois cohomology
wow neat , am going to take first course on galois soon
can you please give me what things I should be familiar with to be able to follow the course better?
@mathsresearcher Your proof is out of order. You need to start by using the fact that $g$ is surjective.
@MatheinBoulomenos in the intro of ian S book, he was talking about solutions of some polynomail f(t)
@Jacksoja linear algebra and some basic group theory and ring theory
01:40
@TedShifrin What do you mean by out of order and why is it that I need to start with the fact that g is surjective?
but I did not quite understand that example
the example of rings that matter here are polynomial rings
@MatheinBoulomenos okay I took those :)
let me bring the book one second
@Ted Do you mind answering a college question I have?
I should have said hi first, sorry.
@maths: Because you have to choose $c\in C$ and find $b$ so that $g(b)=c$. THEN you deal with $f$.
01:42
@MatheinBoulomenos the example that were worked out , or meant as motivation was f (t) = t^4 -4t^2-5 =0
Hi, @CaptainAmerica. What's the question?
and he mentioned some relations of the roots
@TedShifrin i'm sorry too, I should have said hi first as well, sorry.
how does this relate to Galois theory or why is the goal of that example ?
@TedShifrin there were alot of things going around out of screen, so I kind of lost focus, so I apologize as well
01:46
@maths: In general, you write proofs in the way you explain things. You don't just list everything you know in random order at the beginning.
Learn from the style of proofs in good books (or even my videos). :)
@Jacksoja Galois theory studies roots of polynomials in one variable over a field, or at least that's how it was introduced historically.
Next year I have the option of taking either Calc 3 at a local university (assuming I do well on the AP exam) or doing an independent study for math. I'm not sure which is more worthwhile for when I go to college. I know if I take calc 3, I'll be able to possibly get to knock out two math credits (semester classes, so I could take linear algebra or something as well next year). On the other hand, if I do an independent study, I could just learn calc 3 through your or Spivak's book.
Basically, I don't know what will help me more in the long run since I kind of have a head start.
@MatheinBoulomenos okay thanks
the method by which Galois theory studies root of polynomials is to consider these permutations of the roots that respect the relation between the roots (that's how Galois thought about Galois theory)
Calc III is badly taught lots of places. Spivak won't get you Calc III. That's rigorous Calc I and II (and beginning analysis). My book is Calc III and beyond.
01:49
(If I do the independent study, I would spend the summer on Spivak.
Spivak's calc in manifolds isn't "calc 3"?
If you ultimately go to a place that has a really good math program, you might have options of doing something like my book/course. But you might not. If you do, it's worth waiting to get credit for doing it in your college.
You don't want to do Spivak Calc on Manifolds.
That's meant to be a second semester real analysis course for people who already know multivariable calculus.
@MatheinBoulomenos so for this function f (t) = t^4 -4t^2-5 =0 , does it have a galois group related to it in some sense?
01:51
My book is far more accessible and teaches the linear algebra.
@Jacksoja: There is a Galois group for every polynomial.
It might be easier if I can move at my own pace anyway.
It's the group of symmetries of the roots of the polynomial (in an appropriate sense).
Well obviously it'll be easier, lol
@Jacksoja yes, it does have a Galois group, but you need some build-up to get to understand the details
@TedShifrin thanks! @MatheinBoulomenos okay, because from what I read so far, i did not get the meaning of it, what are the build-ups ?
01:54
well, there are different ways to approach it. The modern approach is to think about the Galois group as field automorphisms
@TedShifrin Thanks so much, I am trying to adopt my own style, and your videos are helping me with that. Another question I have is with regards to proofs of the form (if you don't mind me asking) $\forall$ $\exists$, for instance in epsilon delta proofs
my professor told me to always start with let $\epsilon>0$, but in some text books, like the james stewart (if i rememeber correctly), they start with some sort of note prior to the proof, at first it made sense to me that both are correct, but then I was told that I shouldn't start that way, but I haven't understood why
@Ted Alright, thanks for your opinion. :)
The official proof will start with "let $\epsilon>0$." Scratchwork might precede that.
so if you take for example $x^2+1$ over $\Bbb R$, then you have the two roots $i$ and $-i$. The Galois group has two elements, the identity and the permuation which switches $i$ and $-i$. In the modern formulation, these correspond to the identity automorphism and the complex conjugation of $\Bbb C$
okay I did understand what you said so far
01:57
@TedShifrin is that because thats how the definition is contructed? or is there is some other argument as to why thats how the official proof should be?
in this case , can we say that the galois group is S_2 ? @MatheinBoulomenos
It's how the definition of limit is phrased. For every $\epsilon>0$ you must produce a $\delta$ so that ...
I do not get yet why we need to think of that like this haha
as Ted said, in some sense we study "symmetries" of the polynomial
01:59
maybe like you said, first I have to take the course in a proper way than ask these questions @MatheinBoulomenos thanks for your time !
like symmetries in what sense?
we do know for example that always z and its conjugate both are roots
with the field-automorphism approach is easily explained how these are symmetries: if $L$ is a field containing a subfield $K$, for example $\Bbb C \supset \Bbb R$, then we can look at the automorphism group of all ring isomorphisms $L \to L$ that restrict to the identity on $K$
these are symmetries because these are those bijections that preserve the structure that we have in this situation: addition, multiplication and the subfield $K$
in a generalized sense, structure-preserving bijections from an object to itself constitute symmetries
okey, this is similar what you explained the other day, how GL(n,R) was constructed
right, these are "symmetries" of the vector space R^n
bijective maps that perserve linearity
R^n to itself
in this case, we have a different structure to preserve
02:08
@MatheinBoulomenos thanks so much really ! I wanted to know something useful like this before taking the course
if $F$ is a field and $f$ is a polynomial over $f$, then one can construct a field that contains $F$ and all roots of $f$ (and is minimal wrt those properties), called the splitting field, then one can consider symmetries of the splitting field of $f$ over $F$
Not sure if this is the right chat
because of the way the splitting field works, one can identify these with certain permutations of the roots
Given two lists of numbers, is there a clever way to figure out how many possible distinct sums there are
adding numbers from a from list A and b from list b?
@MatheinBoulomenos is this how the complex numbers were constructed?
02:10
or do you just have to try out all combinations?
by augmenting i = sqrt(-1) ?
adjoining is the word that would be used here
in a sense, yes, but the special case was earlier than the general method
@MatheinBoulomenos can you please give me a small example about this ?
so I see if I got the right concept
@SharathZotis There might be, but it's very tricky---lots of sums of different numbers might be the same. There's an easy upper bound of |A||B| though, and for small lists just writing it all out might be preferable.
(Or programming a thing to do that for you)
Like, {1,2}, {4,7} has 4 distinct sums, but {1,2}, {3,4} has three, since 2 + 3 = 1 + 4.
@SharathZotis You might also want to check out the cs stackexchange for help
02:14
@Jacksoja so suppose we have $\Bbb Q$ and we have the polynomial $x^2-2$, then one can consider the subfield of $\Bbb C$ consisting of numbers of the form $\{a+b\sqrt{2} \mid a,b \in \Bbb Q\}$
@MatheinBoulomenos is there a reason why you called this a subfield of C and not R ?
oh, one could've taken $\Bbb R$ as well
it's contained in $\Bbb R$ after all
okay !
so what we did was, we first try to solve this in Q
since sqrt (2) is not in Q, we have to adjoin it
the reason perhaps is that $\Bbb C$ always works: any polynomial with coefficients in $\Bbb Q$ (or even $\Bbb C$) has all its roots inside $\Bbb C$, that's the fundamental theorem of algebra
@Jacksoja right, but things can get more complicated
that was my question , since we add one element
we have to add alot more stuff to make this into a Field
02:17
so if we take for example $x^3-2$, then the first thing we might try is the set $\{a+b\sqrt[3]{2}\mid a,b \in \Bbb Q\}$
but that's not closed under multiplication
that would be my first choice tbh
okay
so one can instead consider $\{a+b\sqrt[3]{2}+c\sqrt[3]{2}^2\mid a,b \in \Bbb Q\}$
that actually turns out to be a field
it's what you get when you adjoin $\sqrt[3]{2}$ to $\Bbb Q$
but how did you find that? is that what we gonna learn in the course?
but that's not the splitting field of $x^3-2$, since that polynomial also has two non-real roots
@Jacksoja it's related to the fact that the polynomial $x^3-2$ has degree $3$, and yes you'll learn that in the course
I see, i think am mixing splitting field with field extension
02:21
Splitting field is a special field extension.
in a splitting field for a polynomial, you adjoin all roots of a polynomial
But nothing extra.
right, oops
okay so it is just adjoining what we need to make it work
if we try to solve x^2 -2 , we can always go to the field C
but that is not what we need here right ? we need to take nothing extra like Ted said
right
there's too much other stuff in C that's not related to x^2-2
02:24
okay that was intresting that x^3-2 was very differnt thatn x^2-2
Quadratics are basically boring, @Jacksoja.
but I think this picture is good enough for now , I shall return with more questions to you guys once I start the lectures ! @MatheinBoulomenos @TedShifrin
Thank you so much !
you're welcome and have fun in the lectures!
@TedShifrin being good at quadratic formula was very big deal for me at high school haha
@MatheinBoulomenos thank you ! :)
so to add one more thing, the reason that x^2-2 is so simple is that one root automatically gives us the other one: $\sqrt{2}$ is one root and if we want to have a field, we also need to have the additive inverse $-\sqrt{2}$ in there, which is the other root
@TedShifrin there are still open conjectures about quadratic number fields
02:32
Well, that's not finding the splitting field of a quadratic.
Or maybe they're boring open problems...
heya Dair
@Ted Hey
Hi, can someone point out some good set of lecture notes on Modular Forms available online?
@TedShifrin thanks so much for your help
@TedShifrin have a wonderful day
02:40
You too, @maths.
 
3 hours later…
05:34
Anyone familiar with projective differential geometry?
0
Q: $f(x+y) = f(x) + f(y) + f^k(x) f(y) + f^k(y)f(x) $

mickLet $k>1$ be an integer. Consider equations of type $$f_k(x+y) = f_k(x) + f_k(y) + f_k^k(x) f_k(y) + f_k^k(y) f_k(x) , f(-z) = f(z) $$ Valid for all real $x,y,z$ and $f$ is real-analytic. Consider the nonconstant solutions. When considering $f_2$ I came to the conclusion that $f_2(z) = 0 $ ...

Any ideas ?
What is $f_k^k$?
A function f_k to The power k
I have a simple projectile motion type question that I wanted to ask
What is the domain of $f$ @mick?
05:44
The real line since f is real-analytic and The variabels are real
A person decides to jump from a plank that is 1 meter high which is inclined at 30 degrees, to get to the other side he has to cross 50 meters, what should be his initial velocity
@mick Why is this interesting?
so like I seperated them into their x and y velocity vectors, I tried finding the initial velocity in the y first hoping I would be able find time using one of the four main equations, I tried finding the velocity using this formula $ Vf^2 = Vi^2 + 2*a*(xf-xi)$ the vf has to be zero when it touches the ground and the the change in x is just 1 so I thought I could be able to find the initial y velocity component but for some reason this didn't work, I just wanna know why this wouldn't work
I imagine it becomes trivial if you check x=y=0, x=-y, but I'm too lazy to verify
if anyone remembers how to do this basic projectile motion then lmk
 
2 hours later…
07:51
In the group $Z_{12}$, find $|a|$, $|b|$, and $|a+ b|$ for each case a, b given here:
a=6,b=2
a=3,b=8
a=5,b=4
do you see any relation between |a|, |b| and |a+b|?
Above is Gallian contemporary algebra problem, i don't know what pattern to look for
08:21
@rationalpi Milne has a set of lecture notes on Modular Forms
 
3 hours later…
11:32
1
Q: $f(x+y) = f(x) + f(y) + f^k(x) f(y) + f^k(y)f(x) $

mickLet $k>1$ be an integer. Consider equations of type $$f_k(x+y) = f_k(x) + f_k(y) + f_k^k(x) f_k(y) + f_k^k(y) f_k(x) , f(-z) = f(z) $$ Where $f_k$ is the $k$ th function and $f_k^k $ is the $k$ th power of $f_k$. Valid for all real $x,y,z$ and $f$ is real-analytic. Consider the nonconstant ...

Made a small edit. Any ideas ?
 
1 hour later…
12:57
anyone know anything about erdos renyi random graphs?
 
1 hour later…
14:17
Does the punctured unit disc deformation retract onto $S^1$?
I know about the probability of a sequence of graphs being contained in an Erdös-Renyi graph as subgraph when the index goes to infinity, but that's all I know about them.
@user193319 yes
@AlessandroCodenotti And that means they have the same fundamental group, right?
Thanks!
 
1 hour later…
16:00
Say is it legit to ask your help to get a gold badge? I mean, I believe I'm missing 1 up vote on my answer to this question math.stackexchange.com/questions/3039363/… in order to get the populist (gold) tag (Highest scoring answer that outscored an accepted answer with score of more than 10 by more than 2x). But you must not upvote the accepted answer.
Anonymous
@Yanko It says "outscored an accepted answer with score of more than 10 by more than 2x".
Anonymous
By the way, asking others to vote on your answer, in chat, is generally frowned upon. So, no, it's not "legit". However, if it's a one-time thing then it may be fine. Just don't make it a habit. :P
16:22
@Blue sorry I didn't realize more than means strictly more than. Also since it's frowned upon (and won't work anyway), do you know if it's possible to delete the message then?
Anonymous
@Yanko You (and other non-moderators) can only delete your own messages within a 2 minute window. Since that time is over, I could delete it on your behalf, if you wish. I don't think it's not necessary to delete it in this case though. Just don't repeat it in the future.
19:19
If there are twice as many girls than there are boys in a room, is that 2G=1B ? Or is it 1G=2B?
19:46
hey i have a general question about taking averages
anyone here?
yeah but i'm an ignoramous
lol i dont know what that means
so you're even worse than me
you can try asking
guilty
ok
i have different measures of centrality for something
this somethings are nodes in a graph
i want to rank the nodes from most important to least important
whats the best way to go about that
that sounds really subjective
19:48
like let me phrase it better
so lets say i have 4 different ways of calculating the centrality for each node
then for each measure, i rank the nodes (lets say i have 100 nodes), from 1 to 100 based on the score
so i have 4 sets of rankings for the nodes
1 for each different measure of centrality
how can i use that to get an overall measure of centrality
so for each node i guess you could take the median ranking, or the mean ranking
ok so if i took the mean ranking
would that unfairly bias it in anyway?
can be, if for example one ranking is super high
like im thinking if 3 measures gave a node a ranking of 1 (so most important) and 1 gave it 100 so really bad
like if bill gates walks into a bar, the average income goes sky high
19:52
then it could mask that nodes performance
maybe one figure can't illustrate the centrality that well..
yeah i cant find too much literature on this either
hence we have the mean and the median
what is the median for 1,1,1,100
sorry if im being stupid lol
forgot what it means
median is the one in the middle
19:54
oh so 1?
so if you have two in the middle then i'm not sure!
but yeah in this case 1
and if i had 1 2 5 100
what would the median be then
is it 3.5?
something related to 2 and 5. The 100 would not count
maybe 3.5 i don't know
ah i googled it
it is
ok i like it, thanks for talking with me, its been useful :)
yeah the median when two are in the middle looks like the mean of the 2

« first day (3078 days earlier)      last day (2241 days later) »