« first day (2994 days earlier)      last day (2029 days later) » 

12:02 AM
@LeakyNun Nevermind, I actually figured it out. It is just a simple application of integral triangle inequality. Thank you for help on the previous one.
 
12:12 AM
@LeakyNun Works if one reads the transcript, but even there, your jig is up! Follow the arrow on my comment and it leads nowhere.
 
@MikeMiller I mean, I didn't delete my message
 
oh... that's why you were gone
that's ridiculous.
 
right
 
i guess i've griped enough about likely targeted flags already in this chat
 
shrugs in LaTeX
 
12:19 AM
$¯_(ツ)_/¯$
 
So there is this Russian problem
 
what problem do you have with the russians?
 
> Find all $n$ such that for every two distinct primes that divide $n$, their sum do also divide $n$
I'm not sure if the statement is exactly this one but it's pretty much this
 
Where can I find a result that says "if g is meromorphic in a compact then g is constant or assumes every value of the sphere a finite number of times"?
 
I found that $2^3 3^2 5^1 7^1|n$.
 
12:24 AM
Assuming $n$ is composite. ;)
 
Yeah obviously
The other case is trivial
Prime to some power
 
Indeed. Just being a troll.
 
lmao
Now I'm stuck: what if $n$ has another prime factor other than $2, \dots, 7$?
 
Can you explain to me how you got there? I see it if both 2 and 3 divide n.
 
I went through a bit of work.
 
12:26 AM
Demonark: How precisely do you shrug in LaTeX?
 
Just need the idea.
 
You must consider the least prime divisors of $n$
 
Yes, agreed.
Ah.
Got it.
But I don't really see an effective attack.
 
@Mancala: In a compact what?
 
With lots of contradictions, you'll 1) find that p+2 is also prime 2) p is a Mersenne prime 3) p+4 is also a prime $\implies$ p is 3.
 
12:29 AM
Assuming p is the least divisor greater than 2?
 
Yeah
I was writing that
 
Where you already got 2 a bit earlier.
 
@Mancala you need connectedness, and from that it's mainly a topological argument
 
it's also false as stated, Leaky ...
 
Then it's easy to cook up the $8$ and $9$ dividing.
 
12:29 AM
since it's a continuous function to $\Bbb CP^1$
@TedShifrin right
 
@TedShifrin Riemann surface
 
@MikeMiller actually, greater than the least prime.
 
ohhh, a compact Riemann surface
 
But same thing.
 
@TedShifrin Yes!
 
12:30 AM
@LucasHenrique Lunacy. The least prime is p and the second least prime is q.
@Mancala You want to use the open mapping theorem.
 
So what's the degree of the mapping as a map $X\to\Bbb CP^1$?
 
well every compact Riemann surface is the Riemann sphere right
 
NO, @Leaky. rolls 12.7 eyes
 
don't need 2 of us to pick on someone
unless it's balarka, then you need an army
 
@MikeMiller LOL, I was using drugs when I was solving the question. I used a and b as primes (!)
 
12:32 AM
@TedShifrin it's one of the secrets of the universe, even I'm not 100% sure how it's done... ¯\_(ツ)_/¯
 
ok you need simple connectedness
 
LOL ... not nice, @MikeM
 
or else take the torus
 
well, darn, Demonark
No, Leaky, you don't.
 
Ted :D
My hero :D
 
12:32 AM
Glad you talk like you know everything, though.
hi @Kasmir
 
Hey =p
so Ted ._.'
I want to be best prepered for galois theory
 
@TedShifrin I'm just quoting the uniformization theorem...
 
please give me some tips !
 
I don't know anything
 
leaky told me LA and AA
and some weird stuff like manifolds
 
12:33 AM
I don't recall saying about AA
no
 
what is ur input ? :D
 
you asked me what I was studying
 
Huh?
 
I said manifolds
 
@LeakyNun The theorem is true for any compact Riemann surface, and is much easier than uniformization.
 
12:33 AM
ahaaaaaaaa
 
Not to pick on you more.
 
I don't know the content of your course, @Kasmir, so it's impossible to answer.
 
sorry about that haha @LeakyNun
 
@MikeMiller no go ahead do pick on me lol
 
grrr okay ! ._.'
 
12:34 AM
You definitely need to understand splitting fields and how they arise in terms of modding out polynomial rings ...
 
while I'm here listening to shepherd tone and giving myself a headache
 
But maybe that's in the course. I have no idea.
worse than having dinner with me, @MikeM ? :D
 
@LeakyNun wow, very cool
 
I was reading, @Mike. That's rude!
 
@KasmirKhaan so you need to know that if f in F[X] is an irreducible polynomial where F is a field, then F[X]/(f) is a field
or maybe they will teach you this
 
12:36 AM
@LucasHenrique I should have waited closer to the 2 minute mark. :P
 
wonders if Leaky has been sniped or is just ignoring me
 
when Leaky is actually supplementing Ted's comment
 
@LeakyNun i finished group theory and now doing repetition of ring theory , after that ill start with field theory
but apart from what i know is needed
is there something else hmm
 
Field theory and its interaction with ring theory is the most important, along with basic group theory
 
12:37 AM
Quantum computing is essentially just black magic.
 
yes Ted =p
 
We don't know anything specific about what you're referring to, @Kasmir. You do this a lot.
 
sorry about that ! i want to once to start a course being fully ready for it
like no holes at all :D
 
@Rithaniel Not yet. Give it a half century and it'll really be magic. Or nothing, one of the two.
 
the course is in january so untill then kas will try his best :D
 
12:38 AM
You cannot create magic without breaking reality
 
For example, @Kasmir, I have a long section on Galois theory in my book. It uses group actions and a lot of field/ring theory from before.
 
@KasmirKhaan then maybe I can teach you the whole fundamental theorem lol
 
You could try reading it and figure out what you need.
 
One particular thing which you may or may not have done in group theory (my class wasn't going to if I didn't ask my professor) but which you'll need for Galois theory is solvability of groups
 
that is very good Ted ! thanks :)
 
12:39 AM
Probably they'll do solvability in the context of Galois theory, Demonark.
 
yeah we skipped over zillion stuff in my group theory course
so had to read them alone
 
It's easy enough to do that when you need it.
 
yeah those lectures from gross were very good Ted
thanks for recommendation !
I knew you were my hero :D
 
right, he completely ignored me
 
oups sorry leaky
 
12:40 AM
One thing I never understood about solvable groups is the terminology. why does a terminating central series have anything to do with solving something. What are we actually solving?
 
fundamental theorem ?
 
:P
 
of what ? :D
 
@KasmirKhaan of galois theory
@Secret the equation, of course
we assign a group to each polynomial equation; the equation is solvable by radicals iff the group is solvable
 
@LeakyNun hmm ._. i would love to have something i can read first to be prepared :D
 
12:41 AM
Ah
 
neat leak!
i accually do partly understand that haha :D
 
Yeah, this was something where even though you probably learn about separable groups first, the idea was originally coined for the sake of Galois theory
 
separable groups?
 
WTF are separable groups?
You mean separable field extensions?
 
Typo for solvable
 
12:42 AM
ohhh
 
I think
 
lol
 
"separable group" probably only make sense if the group is topological
To be investigated later: Whether an arbitrary polynomial can be expressed as a word in a group, so that P(x) is a group action on x
 
Well, word overflow is very much a thing in math
 
@MikeM do you think that considering the least prime $p = 3 \cdot 5 \cdot 7 k + r$ other than $2,\dots, 7$ will help?
 
12:46 AM
If that is possible, then if x is transcendental, P(x) will be a word of countable length
and 0(x) will be the identity of this group, being a word of 0 length
 
1:02 AM
@LucasHenrique That seems like an odd setup, I dunno.
 
So, it's apparently the case that if $X$ is some space and we have two maps $f,g:X\to S^n$ such that $\|f(x)-g(x)\| < 2$ (distance in Euclidean space), then they're homotopic
 
this is very easy. I encourage you to figure out what that inequality "actually means".
 
The idea here should be that we want to simultaneously choose geodesic paths from $f(x)$ to $g(x)$ for each $x$ and not worry that we have multiple paths coming out of a point in different directions, right?
 
I absolutely do not buy that
sry m8
 
Hmm, so the inequality means that f(x) and g(x) are never antipodal, right?
 
1:15 AM
yeah
Well, I guess now I buy your geodesic phrasing of it
 
Hello!
 
But that's a silly way to phrase what should be a simple formula :)
 
Does anyone know which experts are verifying Atiyah's proof of the Riemann conjecture? Where can I find something about it? I am bit curious. Thank you!!
 
Hmm, so given two points on the sphere which aren't antipodal, I think we can draw a line through them that doesn't cut through the origin. At that point we can just kinda project the linear homotopy
 
that's your proof
$$f_t(x) = \left((1-t) f(x) + t g(x)\right)/\|(1-t)f(x) + t g(x)\|$$
denominator can only be zero if those two terms are negative one another; since f and g have norm 1 this can only happen of t = 1/2 and f = -g
 
1:19 AM
Okay this is slick, and it gives a nice way of showing that π_i(S^n) is countable
 
hm? I don't see that point
 
Integral of a positive number/function can only be positive right? lol
 
it dies
@pilotmath yes, by arguing about its area under curve
 
The idea is that the space of continuous functions $S^i\to S^n$ is separable
Under the sup norm where the metric is in R^n
So you can't have uncountably many folk of norm at least 2 from each other
 
@manooooh meta.mathoverflow.net/questions/3894/is-there-a-way-to-discuss-the-correctness-o‌​f-the-proof-of-the-rh-by-atiyah-in-mo
and we will stop here
 
1:25 AM
@Dami Well, a separable metric space has countably many path components, which is easier
 
@Secret okay. Thanks for the link! I will read that
 
Ah nice
 
You have to start by convincing me that is separable :o
 
@Secret thanks!
 
I guess you pick countable dense subsets of each and work with the countable subspace of maps which map your dense subsets to each other
It's not entirely clear to me why I can approximate any map by one of these
 
1:30 AM
So, if you're happy with obtaining this from the statement that $C(X,\mathbb{R})$ is separable where $X$ is compact, that's proven by taking a countable dense subset $\{x_n\}$ of $X$ and applying Stone-Weierstrass to the $\mathbb{R}$-algebra generated by $\{1,d(x,x_1),\ldots\}$. Then the $\mathbb{Q}$-algebra is the countable dense subset
(I'm on my phone so do forgive me if I fucked up the TeX :P)
 
I'm on my phone so the TeX is formal
 
Hi All! Can anyone provide me with a sanity check. I have a vector differential equation given by $$ d/dt (\mathbf{a} \times \mathbf{b}) + d C/dt \mathbf{a} \times \mathbf{b} = 0. $$ where $$C = C(t)$$ . I get the following solution $$\mathbf{a} \times \mathbf{b} = \mathbf{d} \exp{-4C}$$, where $$\mathbf{d}$$ is a constant vector of integration. I treated this as a simple first order ODE and just used the usual integrating factor. Is this legit or am I going crazy?
 
I hadn't thought of that line of attack (though I did know the argument that algebra is separable). I don't see how to conclude yet but I'll take a shower and think
 
1:46 AM
@Daminark Yeah I realized it's clear that a subspace of a separable metric space is separable immediately after getting in the shower
Doh
 
Ah hmm, maybe that doesn't hold for all topological spaces now that I think about it. My internal proof of that uses that separable = second countable
 
@Daminark That's what I had in mind
 
@Rumplestillskin: So $\mathbf a$ and $\mathbf b$ are constant vectors?
 
@TedShifrin excuse me. No both $a$ and $b$ are time dependent vectors.
I have just solved it as if it were a normal differential equation. @TedShifrin however I think this may be naive!!
 
OK, let me think.
Yeah, you can do the usual integrating factor thing by multiplying by $e^{\int_0^t C(s)ds}$ and you get $$e^{\int_0^t C(s)ds}(\mathbf a\times\mathbf b)(t) = \mathbf d,$$ a constant vector.
Now where did you get your thing?
Oh, my mistake.
That's wrong.
It should be $e^{C(t)}(\mathbf a\times\mathbf b)(t)=\mathbf d$.
So I agree with you except for the $4$. @Rumplestillskin
Use \times, not x.
Or better, leave it out.
Or use \cdot.
 
2:02 AM
@TedShifrin Lol, thanks. I couldn't think of the Latex for multiplication XD
@TedShifrin Prove $a \cdot 0 = 0$. Proof: $a \cdot 0 + 0 \cdot a = a \cdot (0+0) = a \cdot 0$
Distributive property
 
No need to reverse the order in the second term. Yeah. Distributive property is the key.
 
Ok
I'm still working on the second one: $(-1) \cdot a = -a$
 
OK. The hint is that you want to use what you just showed me.
 
@TedShifrin That's what I thought! For some reason, the manipulations weren't working out correctly. I'm going to restart from the beginning.
Wow, I just realized what you mean.
 
hi
 
2:13 AM
Hi, Mr. Shmo.
 
hit captain
what are you working on
 
Trying to prove that theorem I put in 3 posts up.
 
youre trying to show $(-1) \cdot a = -a?$
 
Don't help, @JoeShmo :)
 
not helping
what (field?) axioms are you working with?
 
2:18 AM
Ring axioms I suppose
lurks back to my home
 
@JoeShmo Just properties of numbers.
 
@CaptainAmerica16 That's too generic, tho
 
Field axioms for $\Bbb R$
 
what are numbers
5
 
He doesn't know the fancy words, guys ... He's just starting reading Spivak.
 
2:19 AM
What Ted said.
Lel, I'm a noob.
 
@JoeShmo (I love this question)
That's why I chose math as a bachelor's degree.
That was the question that made me interested in all this incredibly fun and bizarre things that pure mathematics provides. :D
 
@TedShifrin Okay great! Yes excuse the 4!
 
@LucasHenrique the only degree in college one should get
@TedShifrin which spivak
differential geometry spivak? :)
 
@LucasHenrique That's why I like math. When I'm bored I like to think of all the crazy stuff you can do with math. I want to get a Ph.D. in Pure math one day.
 
@JoeShmo well I'm not really acquainted with academic nomenclature in English, my bad :|
 
2:22 AM
Woah, I just typed math way too many times.
 
whats your native tongue? french? spanish?
 
@JoeShmo No, "Calculus" Spivak.
 
gotcha
 
@TedShifrin what is an alternative way to solve this DE? For example a method specific for vector DE's? Any suggestions?
 
@CaptainAmerica16 doooo ittt!!!!!
 
2:23 AM
@JoeShmo The Ph.D.?
 
@JoeShmo Portuguese
 
@CaptainAmerica16 yes
 
@JoeShmo YEAAHAHAAHAHA!!
 
@LucasHenrique ah! where are you from
 
São José dos Campos, São Paulo
 
2:25 AM
No, @Rumplestillskin, only if it's a matrix differential equation. But you're just thinking of the vector in terms of its components, and you use the method on each component, hence on the vector as a whole. Nothing to be gained, though, by writing $\mathbf a\times\mathbf b$. Just $\mathbf x(t)$ would do.
 
im dying to ask aobut all the drama right now in brazil
but ill pass
 
For sure! That's what I thought. But it's always nice to double check ;) Cheers @TedShifrin
 
Sure thing.
 
hows everything ted
 
Not great.
 
2:28 AM
whats up
 
I don't really want to talk about it here.
 
I'm really not feeling this physics exam tomorrow
Btw hi chat
 
Exam on what, @Corellian?
 
ok. if you ever want to shoot an email to vent.. my inbox is always welcoming :)
 
hi chat.
 
2:30 AM
hi Dair ... haven't seen you in ages
 
hi Dair, Corellian
 
@TedShifrin circular motion, conservation of energy, linear momentum
 
@JoeShmo that's screwed up, man. It's a very complex situation
 
basic mechanics stuff
 
@TedShifrin Yeah, it's been crazy (I can't talk about it here too actually). I'm back in SD tho.
 
2:31 AM
OK, doesn't sound too bad ... you probably can predict several of the questions, @Corellian.
 
@LucasHenrique huh?
 
Oh, welcome back.
 
I mainly just don't feel like getting up for an 8 am exam @Ted
 
Thanks.
 
Well, in that case, no sympathy, @Corellian.
 
2:32 AM
I have a calculus test coming up. I'm not going to take it when I'm exhausted like last time though. I can't look at my grades without cringing at the 80.
 
Always get a good night's sleep before exams, @CaptainAmerica.
 
@JoeShmo do you have a grip on the overview of what's happening?
 
not entirely. only what they show us on CNN
 
I get paranoid about a flat tire or something on the way to campus
 
@TedShifrin 'tis my life motto. At least now it is.
 
2:33 AM
some controversial guy running for office, no? it can't be that bad. we've got donald
 
Yeah, @Corellian, if it makes you feel better, professors can worry about such things too.
A throwback fascist, @JoeShmo. Nothing humorous.
The orange one is a trendsetter for hatred and violence all around the world.
 
True @Ted, true. Although in the student's case the issue is risking an irreparable 0 exam grade
 
@TedShifrin Aw man. I was just about to make an orange joke. You beat me to it.
 
depending on the professor and department policy and stuff...
 
Yeah, I know, @Corellian. But as long as you keep an eye on your tires, you can't spend your life worrying about every conceivable catastrophe.
 
2:36 AM
There's this guy Jair Messias Bolsonaro, 30 years on the Congress. He's not exactly what I'd call a sympathetic person. He's a fascist and publicly racist, homophobic and sexist, even if he always get terrible explanations to say he's not.
 
@Corellian Worrying about things that are out of your control will not help you. Granted, if there are some dips in the road you can avoid, do so.
 
gotcha. how popular is he in the polls
 
@JoeShmo that is real problem. In the first round he had almost half of the vote intentions.
 
That's good advice @Ted. I do feel less anxious now. I always get nerves with exams (and it's usually not the content itself but missing the exam or being late)
 
I had friends in grad school who turned themselves into alcoholics (literally) worrying about their Ph.D. exams.
 
2:40 AM
Looks like I came back to chat at an interesting time.
 
@Joe This pretty much explains the basics of what the $f$ is happening in my country.
(LOL)
 
last time you were here, Dair, you were talking about complex analysis :)
btw, @JoeShmo, don't mention this to EricSilva. He is already super depressed ....
 
@TedShifrin what exactly?
 
One time I worked late the night before a history final and my phone alarm never sounded. Luckily the professor was gracious since I had a high test average up to that point and let me retake the test later in his court office (he was a judge)
@TedShifrin That sounds terrible
 
he's a Brazilian citizen, Lucas (along with the US — so it's doubly depressing).
 
2:42 AM
Also, counterproductive
 
Yes, I remember once completely sleeping through an important midterm, forgot to plug phone in and died. Professor was very kind and let me retake it in her office that afternoon.
 
Ah, it's been a while since I've done complex, I've been doing evolutionary computation and computer verification in my spare time now.
 
I'm not sure I'd want to swear an oath in a judge's courtroom before taking an exam, @Corellian.
 
@TedShifrin I know, but I'm pretty convicted that he knows what's happening.
 
oh, of course, Lucas.
 
2:44 AM
oh boy
oh this guy is a real charmer
 
@JoeShmo Who is?
 
that comment about rape would be the end of an american poltician's career in the pre-trump era
 
@TrostAft Oof. At least the relief is as cathartic as the initial realization was traumatic
 
@JoeShmo icky.
 
@CaptainAmerica16 the brazillian presidential favorite
 
2:46 AM
@Corellian I was horrified, but it turned out ok. I always check my phone is properly plugged in now.
 
@JoeShmo :(
 
@TrostAft Lessons are learned. In my case it was the Android clock app bugging out and not sounding properly, so I make sure to have 2 or 3 independent alarms set
 
@TedShifrin I forgot to tell you that you were right about the poison thing.
 
thanks Google
 
Oh no!
 
2:50 AM
@TedShifrin I don't know if you're still interested, but if you want to meet up, I'm now in SD for a while. I believe you have my email? Admittedly, my math is now sort of rusty... If not, no worries.
 
@TedShifrin Yeah, I was shook. After I ate the fast food, I got hungry again like 2 hours later because that stuff never fills me up. I decided to make some pork chops and while I was trying to put the sizzling food on a plate, a knife almost fell blade-first onto my foot. I dodged just in time, but I had a HOT pan in my hand. It was scary and it would have never happened if I ate real food in the first place.
 
Sure, @Dair. Right at the moment I'm sick and there's an impending death in the family (the reason I didn't want to discuss it) ... but soon.
LOL @CaptainAmerica.
 
sorry to hear, Ted
 
Thanks. I definitely don't want to keep rehashing this.
 
@TedShifrin No problem. Sorry to hear.
 
2:52 AM
no no no
 
@Ted So of course we're discussing the cross product in mechanics
Pseudovectors are kinda weird
 
@TedShifrin I've decided to make small changes. Next time I'm offered, I won't get a combo meal. Just a burger or some chicken nuggets.
 
Good night, guys.
See you tomorrow.
 
good night
 
Cya, I'm gonna go as well.
 
2:54 AM
Wait, then I'll still be hungry. I'll rethink my plan.
Goodnight @LucasHenrique and @Dair
 
You've got a good career as a stand-up (or fall-down) comic ahead of you, @CaptainAmerica :P
 
although your book probably mentions it because of physics applications of Stoke's theorem (which I will get to)
 
Talk soon, @Dair!
 
G'n Dair
 
@TedShifrin Lol
 
2:56 AM
i'm still rooting for that math phd cap!
 
Nah, I don't talk about pseudovectors, @Corellian. Differential forms is the right way to understand all that stuff. :P
 
what are pseudovectors
 
Maybe I'll do both. I just need an audience that will laugh at math jokes.
 
Oh, that sounds better actually @Ted
 
Things like cross-products, @JoeShmo. There's a duality going on there that allows a 2-vector to be viewed as a 1-vector in $\Bbb R^3$. So it doesn't transform (under change of coordinates) the way a vector should; rather, it transforms as a 2-vector should.
 
2:59 AM
ok. any advantages over differential forms?
not that i understood ye? ^
well sorta. i get the intention
 

« first day (2994 days earlier)      last day (2029 days later) »