« first day (2651 days earlier)      last day (2667 days later) » 

19:00
yea I get that
I don't get the thing I've quoted:P
like I don't understand the meaning of those words
I'm telling you to take a sequence of sequences and use the Cantor diagonal argument.
Can anybody suggest me a page where i can learn more about multi-index summation (nested summation) notation?
$x^j_k\to y^j$ ... Consider $x^j_j$ ... Show it converges to $y^\infty$.
Not offhand, @MrAP. What is your problem with it?
@V.7: Sent.
oh wait
hm, well I'll leave it for now, because for some reason my book doesn't prove it anyways. I think they said they will give the proof in a later chapter
@TedShifrin I need to express the sum of products of the roots of an equation taken $i$ at a time compactly using the summation operator. I had seen them in an article and i don't think i understand them quite well.
I thought the nested summation operator may help.
19:06
@MrAP: I would suggest you just write it out explicitly for $i=2$ to see what's going on. Concrete examples always help.
Normally we wouldn't write this as an explicit nested summation. We'd just write $$\sum_{j\ne k} x_jx_k.$$
That would cause repetition. Wouldn't it? $x_{1}x_{2}$ is the same as $x_{2}x_{1}.
Ah, good. So we should do $\sum_\limits{j<k}$. :)
Or do $\frac12\sum\limits_{j\ne k}$.
can we have F a field action on R^n by multiplication
And not that you can start with $\sum\limits_{j,k}$ and subtract $\sum_\limits{j=k}$ if that helps you do the algebra, @MrAP.
and aV_1 = aV_2 with V _1 and V_2 are distinct?
this sounds very wrong
19:11
Do you know of any book or website that deals with this thing?
No, @MrAP, it comes up all over the place, but I don't know a reference.
@Kasmir: What is $F$ and what is $R$?
@TedShifrin F^x ( invertible elements ) R reals
@TedShifrin I need to show that the actions is not faithfull
but it makes no sense
unless am comfusing something
You'd better have $F=\Bbb R$, Kasmir.
hmm okay
hi @TedShifrin
19:15
if I multiply by r in R,
Hi Karim.
r (v_1, v_2 ,....,v_n)
btw I am gonna do a 1 year reading course in complex analytic geometry and complex algebraic geometry.
I am quite excited
r (w_1, w_2 ,....,w_n)
can they be equal ?
r is nonzero
That action looks faithful, Kasmir. Maybe they intend some other action
That's a lot of hard stuff, Karim.
19:17
ar_i is just multiplication of two real numbers they say
in the book
@TedShifrin Yeah I will follow a book by Donu Arapu for complex algebraic and Jean Demailly for complex analytic
you were right btw, F=R , was mentioned there ><
I don't know either of those, Karim.
I know now that the thing I would like to do in math is complex geometry in general
very interesting stuff
But is the action by scalar multiplying the whole vector or only certain coordinates, Kasmir?
19:18
normal scalar product
Karim, you can talk to Danu. That's what he ended up learning a lot of.
all components
Scalar product is not an action.
"Scalar product" is used for inner product or dot product.
cool I will talk to him
19:19
example 2 @TedShifrin
Seems to me $c\cdot v = cv$ is a faithful action if you rule out $c=0$.
So who says that is not faithful?
no it was an exercice referring to it
prove that the action in example 2 is not faithfull
oh
i never mind Ted ><
It was to prove that it was faithfull
so sorry about this
0
Q: Weak External Product is the Weak Internal Product of...

user193319 Let $\{G_i \mid i \in I\}$ be a family of groups, then $\prod^w G_i$, the external weak direct product, is the internal weak direct product of the subgroups $\{i_k(G_k) \mid k \in I\}$, where $i_k : G_k \to \prod G_i$ is the canonical embedding. I have already shown that the $i_k(G_k)$ are n...

GRRR ... You have to read, man.
I wont bother you no more tonight ! :D
that is my punishment for that mistke
:(
but on the other hand it was not bad , that I knew something was off
tells me that Iam starting to understand this thing :D
I wish someone would write an algebra book with solutions
like how would one know if he /she doing right or wrong
at least couple of exercice has solutions or hints
19:24
Graduate math books don't have solutions!
I don't even like having them for undergraduate.
Brezis has solutions
It sucks
hmm
I mean I would like to know if I did the question fully right or not
sometimes one missed some details in the proof that are taking for granted
@Ted I have to chooses between a low dim top class a minimal surfaces class and a general relativity class and I'm having a real tough time
Eric: I would argue that you should broaden yourself some at this point. So I would do low dim top, cuz that's stuff you might enjoy learning that's different from all the geometry/analysis.
low dimensional topology for life
19:27
That's a thought Ive been having
I would go to all of them and then choose but schedule conflicts
I encouraged my grad student advisees to do stuff out of their immediate area more than most advisers did.
Eric: You have many years of courses in grad school yet to go.
True enough
That's also something to focus on. Who is such a remarkable specialist and teacher that this would be an opportunity you'd never have again?
Although minimal surfaces is always really alluring to me
Yeah, but it's more analysis/geometry of the sort you've already been learning.
19:29
@TedShifrin You are :D
You'll have courses in that when you go to grad school, surely, Eric.
Blah @Kasmir.
Not so much that I wouldn't have an opportunity again but I'm already being forced to take some boring classes for general Ed stuff
honestly Ted without your help thought the years I donno what i would hve done =p
So it'd be nice to have some hard math too
specially with analyis part :D
19:30
You can't find some less boring options, Eric, for the gen ed?
Nah the options are so narrow :(
@Kasmir: If you're going to be as ambitious as you want to be with really hard courses, you'd better learn to do more without me and Mathei and anon!
Weird, Eric. Most places the options are quite broad. Well, at UGA students needed to take a US history and an American government.
But they often APed out of those.
@TedShifrin well that is true =p, ill try to figure things out more by myself , but you guys give me many exellent good ideas so thats y i want to copy them
@EricSilva: This looks like a question for you.
@Kasmir: Sometimes it's better to go slower and not do stuff that's too hard for you ... yet.
Oh looks like I can maybe attend both minimal surfaces and low dim top for the first week to see
19:34
very true Ted =p
Oh heh Leaky Nun is not hair now
Who are the teachers, Eric?
What's a good asymptoic approximation for $\sum_{primes \; < n} log p$ ?
@TedShifrin André and Danny calegari
Also, can we use the ridiculously weak bound of $\sum_{primes \; < n} log p < n log 4$ to prove Chebyshev's theorem to upper and lower obund $\pi(n)$ ?
19:36
So both great
Oh, Danny is fantastic. More likely you'll go to grad school to do something more like minimal surfaces and get lots of lectures on that stuff then.
(Well my book says the upper bound can be given with thsi arguement, but how do you give the lower bound ?)
I imagine Danny will be a bit more unique.
yeah I'm taking alg top with Danny rn
19:37
i love his class
I vote to stick with him.
He gave some great talks at UGA a few years ago.
What are you going to learn in low dim
Is there like an official course syllabi
that I can look at
@AlexKChen: That's not stuff we just walk around knowing.
@Balarka "This course will be an introduction to geometric and topological methods in the study of low-dimensional manifolds, especially in dimension 4." is the only thing up at this point
19:38
and minimal surfaces description reads: "Minimal surfaces have long been a central tool in geometry. I will present the general theory of existence and regularity for minimal surfaces. I will then focus on applications of the existence of minimal surfaces, namely its connection with positive scalar curvature, the Positive Mass Theorem, and classification of manifolds with positive isotropic curvature."
Lots of overlap with geometry and complex geometry, @EricSilva. Do it.
ive seen some of this stuff
dimension 4 is weird man
im thinking im agreeing with @Ted
u should learn it
and then be friends with Mike
19:39
That's a dangerous thing, Eric, but sometimes you just have to agree with me :D
since i think it works in my schedule im probably gonna go to both the first week at least to feel it out
@TedShifrin No well basically the arguement to show $\sum_{p < n} log p < n log 4$ can be trivially adjusted to give upper bound, but the book says (a) Proving the lower bound can be also done with this method and (b) Doing (a) is trivial.
But how do you give the lower bound with this method ?
@TedShifrin I might ask about this thing to someone who actually knows about h principles
@Balarka: I thought Mike said he wanted to learn that some years ago. I dunno if he did.
@Ted what are some of the overlaps?
19:41
@AlexKChen: I don't think about analytic number theory at all.
Nope, he didn't
I think he's going to an h principles conference next year or something
analytic number theory's for neeeeerds
@TedShifrin No well this is very very elementary analytic numer theory.
19:42
All sorts of Gromov-Witten stuff, algebraic surfaces, etc., @EricSilva.
gauge theory
I don't even know calculus properly lol
ah yes yes
that's geometric analysis
ive tried to read gauge theory but got side tracked by gmt and pde
19:43
Yup. Which is lots more analysis for Eric, too. BTW, I highly recommend Blaine Lawson's CBMS lectures from 20 years ago on gauge theory.
man math is cool
@BalarkaSen You gave KVPY ?
We need to "finish" discussing Bryant sometime, Eric :P
omg yeah
i forgot abt bryant's paper
You've probably forgotten everything about moving frames by now :(
19:44
a little rusty maybe
nothing some practice cant solve
whenever i hear about moving frames I reflexively think about electrons moving around magnetic field lines
and I'm not entirely sure why
i got too sidetracked by pure analysis and neglected geometry
0
Q: Weak External Product is the Weak Internal Product of...

user193319 Let $\{G_i \mid i \in I\}$ be a family of groups, then $\prod^w G_i$, the external weak direct product, is the internal weak direct product of the subgroups $\{i_k(G_k) \mid k \in I\}$, where $i_k : G_k \to \prod G_i$ is the canonical embedding. I have already shown that the $i_k(G_k)$ are n...

@AlexKChen No
Well, Eric, my brain is disintegrating. I seem to be able to do precalculus ... we're getting to parametric equations and then complex numbers/algebra, and then linear algebra, so I imagine I'll be able to handle it :P
19:46
probably something to do with picking a frame that moves along the field line, and seeing that the electron mostly just does a circular orbit in this frame
@BalarkaSen Isn't it needed for ISI/CMI entrance in India ?
@user193319: Continually spamming us with stuff from main is not a good idea.
@AlexKChen Er, no. ISI and CMI have independent entrance exams
But what I'm saying seems more like Frenet frames than moving frames?
Frenet is a special case — moving frame along a curve.
19:47
right
frenet frames are moving frames
damn sniped
moving frames how do I
If your curve lives in an ambient manifold, then you can also do Darboux frames, and comparing the two is interesting.
@Balarka read Clelland it's nice
oh ya Ted's exercise comparing the two is cute
I thought the publisher might send me a copy, but they didn't ... Oh well.
19:48
@BalarkaSen Oh well actually if you clear the INMO, you can go there without giving any test (AFAIK, if you clear INMO, you get direct admission at CMI, and only interview at ISI)... but the problems given at INMO are excessively stupid and thoughtless now a days...
We never worked out Scherrer's Theorem, either, Eric.
@AlexKChen I can't do Olympiad math
it's too hard for me
is that the thing with the quotient of something @Ted
i dont remember
Eucledian Olympiad geo is the dumbest thing ever invented.
@TedShifrin hmm. so a Darboux frame would be a sort of Frenet frame for the entire manifold at once? That's probably the wrong way of looking at iit
19:49
@BalarkaSen same plus i think it's boring af
No, that was a theorem that a surface is a plane or a sphere if $\int \tau\,ds=0 \pmod{2\pi}$ for all closed curves on the surface.
No, Semiclassic, it's still only along the curve.
@BalarkaSen Lol of course not... atleast for you :D
oh damn there's also an SCV class next quarter
19:50
$e_1$ tangent to the curve, $e_2,\dots,e_n$ tangent to the manifold.
but the teacher is apparently a nightmare
@EricSilva Bookmarked
if i'm reading WP right, you're still doing TNB but now N is normal to the manifold rather than being given by the cross product
...that doesn't sound quite right, though
too much to read
too little time
soon we all die
I loved the SCV course I took as an undergrad, Eric. Great teacher. He mostly did Hörmander's book.
19:51
@BalarkaSen To read or not to read, that's the question
Oh well
Sorry I thought it was taken from Shakespear
No, Semiclassic. Are we on a surface in $\Bbb R^3$?
@Balarka it's fun and full of exercise
that's what I had in mind, but that's too restrictive
dT/ds is what I should really be doing
@Ted this guy has a reputation for being an utter disaster unfortunately :/
Well, no, then $e_1$ is tangent the curve, $e_3$ is normal to the surface, and $e_2 = e_3\times e_1$ is normal to the curve in the surface. @Semiclassic
@EricSilva: It's a very tricky, technical subject, so you need a great lecturer who knows what he's doing.
19:52
lemme see if I have it right
in both cases, you want a TNB frame. and in both cases, T is just the tangent vector of the curve
Don't use $N,B$ except for Frenet.
yeah if someone with a good rep was teaching id probably consider it heavily as a change of pace
Well, it's lots more analysis, Eric, and there's a lot of real analysis stuff that comes up (weighted $L^p$ spaces)
hi i i i
Depends on what the person teaches, of course.
19:54
hiiiiiiiiiiiiiiiiiii
Hi, Meow. Done with the three exams?
What's the usual notation for the triple of Darboux?
analysissssss
for frenet it's TNB
indeed
92, something, something
and a 98 on my math exam
19:54
Hi chat
darboux would be T-something-something
I READ ABOUT DARBOUX'S THEOREM LAST NIGHT
There is not a standard one, @Semiclassic. I just wrote $\mathbf n\times\mathbf T$ in my diff geo notes so as not to have even more notation.
Which? There's a few Darboux theorems
hi @Alessandro
19:55
darboux theorem i know is the symplectic thing
the one that's like
Darboux in basic analysis: the derivative has the intermediate value property even if it's not continuous.
Fabulous fact.
i've run into a complex analysis instance of "darboux's theorem"
that's a wild one
19:56
im still confused on how derivatives can be discontinuous
When I trained the grad students teaching calculus for the first time, I made sure they knew the fact, even if it wasn't going to be relevant in their Calc I course.
@Meow Volterra's function is an example
Great question, @Meow. What does that theorem tell you?
i saw that but it confused me even more
I think this fact can be used for regularity of elliptic PDE in divergence form
19:56
WP has it as Darboux's formula: en.wikipedia.org/wiki/Darboux%27s_formula
mom, dad
Even weirder there are nowhere continuous functions that satisfy the intermediate value property
i need to tell you something
that was a pretty good ctrl-x fail
i made MY NEW WEBSITE WITH WIX.COM
@Ted darboux's?
19:58
that sounds like a commercial I've seen on Youtube too many d*** times
@Alessandro: Spivak has an exercise of which I'm very fond. If you have a function that has the intermediate value property and it takes on each value only finitely many times, then it must be continuous!
Yes, @Meow.
@Eric Webster?
Ohhhh, @EricSilva: He's an old buddy of mine from grad school days. Also a Chern student.
But I'm not super surprised.
Alan (who literally never speaks badly of anyone) says to never take any classes with him ever @Daminark
19:59
@TedShifrin that's an interesting one
@TedShifrin back to Frenet vs. Darboux
We had grad and undergrad students who said that about me, @EricSilva.
in both cases, the first vector in the triple is the tangent vector
I should be studying for a group theory exam now though
for frenet, the second vector is the instantaneous acceleration
19:59
Go study algebra, Alessandro :)
I trust this guys judgement in this case @Ted
normalized, yes, Semiclassic.
it's like
for Darboux, it's the (unit) normal vector on the surface at that point of the curve
20:00
I'm not arguing, @EricSilva. But students do have strong opinions that needn't be universal. But I'm inclined to believe this one.
@Semiclassic: That's an ambiguous sentence.
Normal vector on the surface? Normal to the curve, tangent to the surface.
ohh
so the third vector in the Darboux case would be normal to the curve and to the surface?
oh youre right it looks like IVT applied to the derivative
@Ted We're agreed
20:02
does anyone have an example of a function thats differentiable everywhere but like its derivative is discontinuous at one point
@Semiclassic: Yes, the unit normal vector to the surface.
Yeah a few people who took his complex class also told me to not take classes from him as well
okay, that's reasonable enough
hmm
@Meow: How carefully did you read Chapter 11?
x^2 sin (1/x)
20:03
Or even chapter 10?
Right.
But there's also an interesting proposition in chapter 11 (after the MVT).
hi @Tobias
Hey @Tobias!
it's not a fair reaction, but stuff like x^2*sin(1/x) always seems so painfully artificial
@Semi you should do the Ted exercise about comparing them it was a nice calc
20:04
@EricSilva: You're referring to a moving frames exercise. But there's no big deal in general.
but then I don't have that same reaction to stuff like e^(-x^2) at infinity. so it's not a fair reaction
Well, functions that are somehow non-smooth "seem" artificial.
so wait
@Meow: Also contemplate what happens if you do $x^2\sin(1/x^s)$ for different $s$.
20:05
i think im thinking of the second one on the first problem set of those grad diff geo problems you sent me @Ted
i think the difference is that I actually know examples in physics where e^(-x^2) comes up (yay quantum mechanics)
Ohhh, Eric, hell if I remember.
and more generally I know examples where irregular singular points of ODEs at infinity are a cruel reality
But it's totally not artificial, Semiclassic. It's universal. Gaussian, fourier transform, etc.
20:06
does this mean that you can apply IVT to a discontinuous function as long as it is antidifferentiable on that interval?
which is natural?
braces for ted to either yell NO or say yes
the x^2 sin(1/x) stuff, or the e^(-x^2) stuff
I'm not yelling, Meow. I have to understand it.
$e^{-x^2}$, Semiclassic. Totally.
oh, sure.
20:07
@Semi what is artificial about the x^2 sin(1/x) stuff
That's not like $e^{-1/x^2}$ ... which is also super important in analysis/geometry.
@Meow: First of all, you mean integrable, not antidifferentiable.
integral schmintegral
eh, the issue with e^(-1/x^2) is at zero. so I don't see that as different from e^(-x^2) at infinity
I don't see how that helps, Meow.
@TedShifrin this makes me wonder, is there a kind of theory about which functions have closed form antiderivatives?
20:08
it's a solution to a differential equation with an irregular singular point at infinity
what helps?
Demonark, don't interrupt. I'm having enough trouble.
Meow, so let's be specific.
You have $f$ and $f=F'$ on some closed interval.
@Daminark isnt this differential galois theory
@EricSilva I guess my issue is this. the business of e^(-x^2) at infinity does show up if you do enough ODE stuff, and in particular it shows up in physics
Doesn't ring a bell, but that's interesting for sure
20:10
but I can't think of an instance where i've seen x^2 sin(1/x) except in the context of counterexamples in real analysis
So even if $f$ isn't continuous, it still has the IVP, yes, by Darboux. @Meow
ah so you mean like $x^{2}\sin(1/x)$ is like a pathology that's just constructed for the sake of showing there are pathologies
ah you sniped me lol @Semi
can we call this the Meow theorem /s
Right, Semiclassic, it doesn't show up in physics.
20:10
right
But these pathologies are quite important.
oh i have 2 exams tomorrow
@Daminark That always leads to the issue of what "closed form" means. And that always ends up being rather artificial.
but i guess it's kind of unnatural from a physical perspective but in the sense that it reveals this underlying principle in analysis that things are fucking weird it kind of is a natural thing to consider in that framework @Semi
ehh.
things are weird enough in physics without real-analysis-pathologies
20:12
analysis is like a gritty 80s sci fi dystopia
interesting to watch, but you wouldn't want to live there? :P
Demonark, yeah, Eric's right. Abel, Liouville ... Differential algebra. Kaplansky wrote a book, so did a guy at Berkeley back in the 60s, but I'm blanking on his name.
unless you're a degenerate or a masochist
i.e. me
Differential galois theory something something
20:13
Ah, Max Rosenlicht ... brain came back on, Demonark.
i'm happy that my "something something" habit is spreading
It's also in the abel's theorem book @Daminark, the one my year of bootcamp read
OK, lunchtime and I have other stuff to do. Bubye.
have fun make good choices @Ted
I see, sounds nifty
20:18
you should check out abel cause schlag has a pdf on one of his bootcamp pages
I think he took down the 2016 one
oh that sucks
I should probably download the dynamics book before he knocks off this page as well
20:50
At the division can we predict how many decimals we will get? For example at the division of 13,8625 with 1,25 ?
Hmm, not sure why but I thought the AMS journals were already open access. It now seems that they just offer an open access option, but are subscription based. I wonder if anyone ever opts for the non-free publishing option.
@MaryStar I assume by 1,25 you mean 1 and 25 hundredths? Well, multiply 10 and 1 on the one hand, and multiply 0,0005 and 0,05 on the other, see how far apart the digits are.
21:13
Hello how to find the interior of $Z\cup]0,3]$ on R
We can't say that it is the interior of Z union the interior of ]0.3]
@anon I haven't really understood that. Could you explain it further to me?
Because $Z\cap]0.3]\neq\emptyset$
Hello@LeakyNun
21:27
So, we see only the last digits at the decimals? Why do we have to multiply them? @anon
The product of 10 and 1 is 10 and the product of 0,0005 and 0,05 is 0,000025. What do we have to do now? @anon
Hola q pasa
@Vrouvrou It looks like it's true though
that the interior of $\Bbb Z\cup{]0,3]}$ is the union of the interior of $\Bbb Z$ and that of $]0,3]$
No?
In general, though, the interior of $A\cup B$ need not equal the interior of $A$ union the interior of $B$, even when $A\cap B=\emptyset$
For example, take $A=[1,2]$ and $B={]3,4]}$.
Then $A\cup B=[1,4]$ and its interior is $]1,4[$
but the interior of $A$ is $]1,2[$ and the interior of $B$ is $]3,4[$ (and so their union is ${]1,2[}\cup{]3,4[}$, which doesn't contain $2$)
22:11
Hi. I'm looking for (not very strong) sufficient conditions for $\lim_{K\to\infty}K^{-1}\sum_{i=1}^K a_{i,K}=0$, where $0\leq a_{i,K} \leq \ell < \infty$. Any suggestions?
In particular, for a start I'd like something weaker than $\sup_{i=1,\dots,K} a_{i,K}\to 0$ as $K\to\infty$
23:02
Coextar groups can be used to classify these n particle interactions

« first day (2651 days earlier)      last day (2667 days later) »