« first day (2356 days earlier)      last day (2960 days later) » 

00:00
@TedShifrin I am happy with the guy I m marking analysis for though. He latex his note and he very organized. I will read his notes as well.
A student should recognize that when there's an absolute value, he/she needs to use symmetry. But there need to be some routine problems. When you write an exam, you need to think about how the D and C students will show you they deserve a C or D.
I've seen so many tests written to produce a nice bell curve in classes where my assesssment of students was nowhere near as nice.
OK, good, Karim. IF you find mistakes in my book, too, let me know :P
@TedShifrin okay
The more that I learn about abelian category the more that I like them. Things work there very nicely.
@PVAL: I write fair but not-easy tests. In calculus classes, you need a few questions for the A/B students, but you really need to let the C/D students show you that they deserve to pass. If you write only A/B questions, they can't do that.
Any time you write category, I ignore you, Karim :D
00:02
haha
Btw if any of you guys got extra notes for algebraic topology,commutative algebra, or quadratic forms it would be very nice to share.
I want to get a lot of reference
@Ted I don't see that many students who are truly C/D students. I see students with reasonably decent understanding but without the algebra skills, and students who seem essentially clueless but rote memorize themselves to passing grades.
At UGA we had a lot of C/D calculus students.
Not many in the Honors-type courses I typically taught, however.
The honors-type courses probably had a much more homogeneous group in terms of mathematical skill level.
In the assembly line classes you get students 5 years behind or ahead of other students.
No, lots of variation there, too, but the worst were still better ... I typically did have a few C's, even in the Multivariable Math class (although the C's there were usually non-Honors students).
But exam-writing needs to have some routine stuff, even for the best classes.
I wish I attended your class. Was very nice.
@TedShifrin Did I tell you I found a mistake in michael atiyah book
00:12
Already? No, you didn't.
yeah
Most books have silly little typos. But a substantial mistake?
Students who don't know how to distribute multiplication across addition (this is one of the questions I answer very consistently) sitting next to students who understand everything (e.g. the mean value theorem) geometrically.
He defined a subring as closed under addition,multiplication, and contains the identity.
What's wrong with that?
00:13
I wouldn't call it the identity mapping $S\to A$, though.
@TedShifrin consider $\mathbb{Z}$ and subset $\mathbb{N}$.
$\mathbb{N}$ satisfies everything but is not closed under subtraction.
Hmm, good point.
If he added it contains $-1$ then the definition would be correct.
Shortcut to saying "is itself a ring," like we do for subspaces.
00:14
Why not just say it's a subset that's a ring
Cuz, like for subspaces of a vector space, closure under the right things saves having to check the litany of properties.
One point to Karim :P
its a subgroup of the additive group closed under multiplication (maybe with 1).
@TedShifrin Aren't all subsets of topological spaces subspaces?
00:15
he said vector space
hehe
Yeah, topology is different.
Oh. Vector spaces. Got it.
But you assume/infer the subspace topology.
@PVAL-inactive Your account profile says you don't post answers with that account but it's clearly false
00:16
Is there a categorical way to describe if a subset of a category automatically is contained in the category ?
@MikeM: So where are you going?
Example @PVAL-inactive
ignores Karim
Cambridge.
England?
Damn, long trek.
00:17
Yes
My answers are mainly spiteful and useless
That is a good example of such an answer.
haha ted.
@MikeMiller awesome.
I'm getting ready to be spiteful and useless with a guy from Europe who's posting every single one of his homework questions in differential geometry.
I can't wait to go into phd and go for visits to famous universities like cambridge.
I've actually never been to Cambridge or Oxford. Just places in Paris :)
00:18
@MikeMiller are you going for research seminar ?
I wanted to respond to a recent question with "I know all of these words, but I don't think they fit in this order"
3
@TedShifrin did you visit paris sud university before ?
I have been known to tell people that things don't make sense, @PVAL.
I heard it is super good in math.
Hmm, I have been to Ecole Polytechnique and IHES (briefly), as well as Jussieu (Paris VI, I think) and the Ecole Normale Supérieure.
Many moons ago.
Even lectured in French for about 5 hours.
00:20
The answer that Akiva posted was just so obviously pointless.
It's a workshop.
Oh wait. I went to Orsay, too. That's probably part of Paris-Sud.
Who's covering your class, @MikeM? Is Ko?
I want to see the Tate modern when I land so I'm going to knock myself out when we take off.
Nobody. I gave an extra.
Oh, cool beans.
I DONT HAVE TO TEACH THIS SEMESTER. I DONT KNOW WHAT TO BE MAD ABOUT NOW.
00:22
cool @TedShifrin
Stop yelling, PVAL.
Hmm ...
Should I be mad about Trump?
I don't have to teach next quarter but I want to.
I was hoping to drop one from my load next year in exchange. But no such luck.
00:24
write write write write write write write write write
It keeps getting worse, @PVAL, so you'd end up having to get infinitely mad, not just infinitely angry.
Good evening.
@Mike I met Bahar in Georgia.
According to The Onion, only one in twenty Americans deserve a good night's sleep.
That may be an overestimate.
Trump's cronies don't make 5%.
00:29
I got a lower bound of those who don't deserve it as 65,844,954.
That seems an awfully low lower bound.
@PVAL She's nice. I think she graduates his year.
00:44
I need a sanity check. In any model category, the composition of cofibrations is a cofibration, right?
can you remind me of model category @Adrien ?
(respectively for fibrations and weak equivalences)
@Adeek a model category is a complete and cocomplete category with three distinguished classes of morphisms (fibrations, cofibrations, weak equivalences) satisfying certain axioms
@Adrien That a composition of weak equivalences is a weak equivalence is an axiom. I suspect the fact for cofibrations is then a theorem.
I think co-fibration I think you get that fact
@Adrien try drawing the diagrams and see if indeed composition of co-fibration is co-fibration.
I don't see how right now. You should probably just check Hovey.
00:55
Right, for weak equivalences it is the 2-out-of-3 property. For cofibrations I think it follows from the fact that cofibrations are characterized by having the left lifting property wrt acyclic fibrations.
Dwyer and Spalinski make it part of the axioms but Hovey does not.
Thanks for the help.
I don't really see why $\frac{(n+1)!}{k!(n+1-k)!}=\frac{n!}{(k-1)!(n+1-k))!}+\frac{n!}{k!(n-k)!}$. Does anyone have an idea? I'm new to this, so I might be missing something obvious.
@Oskar: You can either do the algebra or do it by a counting argument.
01:13
@TedShifrin: I'd like to do the algebra on it.
OK, so do it :)
What's the lowest common denominator?
Haha! How foolish of me. Yeah! I was thinking that there was some combinatorial trick.
I see it now.
The counting argument is quite satisfying though :)
Yes, I like the counting argument.
You know you're looking at the number of ways of choosing a $k$-element subset from a set with $n$ elements with the last term?
01:17
Yes.
Then you enlarge to $n+1$ and $k+1$. Name the new element of the big set Fred.
So a subset with $k+1$ elements either contains Fred or it does not.
You finish.
Sweet!
When we have that the series $\sum_{n=1}^{\infty}\frac{1}{nx-n^2}=\frac{1}{x-1}+\sum_{n=2}^{\infty}\frac{1}{n‌​x-n^2}$ and we know that the series $\sum_{n=2}^{\infty}\frac{1}{nx-n^2}$ converges uniformly, do we conclude that the whole series converges uniformly?
I'm not sure about the "we know that" part, but you can always add a function to the series and you won't change uniform convergence, except for worrying about domain! Which you really need to worry about in general?
Why does the uniform convergence remains when we add a function to the series? @TedShifrin
01:23
Write down the definition.
The limit function changes, of course.
Ah ok. How could we compute the limit function? @TedShifrin
You can't.
But it changes by whatever function you just added.
The definition is $\forall \epsilon>0 \ \exists n_0=n_0(\epsilon)\in \mathbb{N} \ \forall m\geq n_0 \ \forall x\in D : |s_m(x)-f(x)|<\epsilon$.
We have that $s_m=\frac{1}{x-1}+\sum_{n=2}^{m}\frac{1}{n‌​x-n^2}$ and $f(x)=\frac{1}{x-1}+\sum_{n=2}^{\infty}\frac{1}{n‌​x-n^2}$, so $|s_m(x)-f(x)|=|\sum_{n=2}^{m}\frac{1}{n‌​x-n^2}-\sum_{n=2}^{\infty}\frac{1}{n‌​x-n^2}|$, which is the definition that $\sum_{n=2}^{\infty}\frac{1}{nx-n^2}$ converges uniformly, right?

Since we cannot compute the limit function, the only way to check the pointwise convergence is to say that since the series converges
You either do Weierstrass M-test or you prove uniformly Cauchy.
You mean for my second question? But isn't Weierstrass M-test a test for uniform convergnce? @TedShifrin
01:32
Yes.
So, the pointwise convergence follows from the uniform convergnce, right? @TedShifrin
Of course, @MaryStar. But make sure you understand why.
Hello!
@TedShifrin Ok!!

I want to check the pointwise and uniform convergnce also for the sequence $f_n:[0, \infty)\rightarrow \mathbb{R}, f_n(x)=nxe^{-nx}$ for all $n\in \mathbb{N}$.

But how could we calculate the limit function? Only by De L'Hospital?
You should know this without L'Hôpital.
But use L'Hôpital if you insist.
Note that $x=0$ is a different case from $x>0$.
Hi @Daminark
01:43
Without L'Hôpital I tried to calculate it with the definition of the exponential, but I got stuck. @TedShifrin
But you should know that exponentials grow faster than any polynomial?
Ah yes. So, in both cases, $x=0$ and $x>0$ the limit is equal to $0$, right? @TedShifrin
How's everything going @TedShifrin?
Decently, @Daminark, and you?
01:45
It's going pretty well, thanks!
I've started the second quarter of analysis with Schlag, and it's pretty fun
I like that he writes his own problems and gives 10-12
Of course, some might have parts a through g.
From that we have the pointwise convergence. To show the uniform convergnce do we use the definition? Or is the a bigger function that converges so that we can use the Weierstrass test? @TedShifrin
There was one problem which kinda did
Most of them are more, it's really tough, but not many parts
You usually use Weierstrass M-test or, as I said before, argue uniformly Cauchy.
Like there's one which tells us to prove that given any closed 1-form $\omega$ in $\mathbb{R}^2\setminus\{0\}$, there's a unique real number $k$ such that $\alpha = \omega - k\omega_0$ is exact, where $\omega_0 = -\frac{y}{x^2+y^2}dx + \frac{x}{x^2+y^2}dy$.
So far we haven't figured it out
01:49
Wow, you're doing forms already? So cool :) My favorite.
Well, I won't give you hints until you've struggled more.
Haha, yeah, I haven't personally looked at it much
So I'd like to attempt it a bit
But yeah Schlag's problems are really fun
And yeah it was interesting, originally Schlag thought we did forms with the first guy
Can't get to everything in one quarter!
Don't forget to tell him I'm available to be flown out for a guest lecture in the summer :P
He originally was gonna do a quick review, and then use them to prove FTA
Haha, will do! ('-')/
Reviewing what hasn't yet been taught ... :)
Yeah, it was hilarious because in the beginning he also didn't realize we hadn't covered inner product spaces at all
Last quarter we were only ever given problems from chapters 1-6 of H&K
01:53
One of many things I hate about switching teachers every quarter. I think my students didn't mind being stuck with me for the year :P
Schlag didn't know the book, he used Gelfands when he taught the class, so he was under the impression that the class covered it
He should be aware of what was covered. Good grief.
So on day one he walks in and he's like "Aight everyone, what does an invertible linear transformation do to the unit unit sphere in a Euclidean space? Well, let's take the case of symmetric. The way to figure it out is by spectral theorem! Well, there are two proofs, one with Lagrange multipliers which generalizes, one with FTA"
Then he proceeds to do the Lagrange multiplier proof, rattling off about quadratic forms in the meantime with half the class being really confused (a lot of us learned the stuff from Laci in the REU)
That proof is in my lectures, if you want to see it again :)
The other proof is sneakier and less natural.
Then he's like yeah, so this is the proof that works for compact operators on Hilbert spaces, you need weak compactness of the unit sphere to do it there though. We'll do it at the end of the quarter. For now finite dimensions
01:58
Still not my style of course, but enjoy :)
Haha, yeah, that was good, we were told to do the case for self-adjoint operators on C^n as well
Then he proved it with FTA, and proved FTA
Well, let me know when you figure out the differential forms thing. I'm not giving any hints yet.
@TedShifrin Ok, thanks!!
Yeah, it looks fun. Our prof told us that what we were doing in this pset was secretly something that was called cohomology
Deram cohomology or I forget
Oh Google says *de Rham lmao
DeRham cohomology, yes.
There's stuff on this in my lectures, too, of course. :)
OK, I'm off to cook dinner. Night for now, @Daminark.
02:03
But yeah, there is another problem which looks fun, again I would like to attempt. It says to prove that two curves in the punctured plane are homotopic iff their winding numbers relative to the origin coincide

Definitely, I will check it out. And see you @Ted
 
1 hour later…
03:24
hello does any one have any neat advice on how to factor a quadratic with a leading coefficient that isn't 1 quickly ? I have a test and i want to save time because i seem quite slow at going through finding which is the right combination
@WDUK quadratic formula
well i use that to find x when y is zero but if i need to get (ax + b)(x + c) then im quite slow at that kind of conversion it seems to be important where i put a
you basically found the factors
03:44
What's a good choice of name for a variable that takes values -1 or 1. I would like not to use 's'.
singular, sign, signum, ... they all start with 's'
d for direction then
m for multiplier
i was thinking about e
or u for unit
04:28
@WDUK practice
 
3 hours later…
07:34
Hello all, i have a question regarding ordinary differential equation.

An example of a first order ode is $\frac{dy}{dt} =ay-b$.
I can rewrite it as $\frac{dy/dt}{y-(b/a)} =a$.
Then integrate both sides, i get $ln|y-(b/a)|=at+C$.

My question is, why is there a need for the absolute sign?
08:09
Hi @Alessandro
I see, thanks @AlessandroCodenotti
08:27
Hi @Balarka
How's it going
Quite good, I think the numerical analysis exam from a couple of days ago went well! I have a topology one tomorrow but I'm not worried by it
08:44
Great!
Anyone have a good recommendation for resources for ordinary differential equation and first course in numerical analysis?

textbooks/tutorial solutions page.
My ordinary differential equation course requires students to watch online recorded lectures before attending a 3 hour tutorial session, and each of such session is graded and eventually sums up to 40% of final grade. I'm worried if i can't do well during the tutorial session. :(
09:07
@Semiclassical It was this question: mathoverflow.net/questions/259580/…
Hey guys, trying to understand schur's theorem
Not really sure why this decomposition is proper: en.wikipedia.org/wiki/…
Hello!!
Let $V$ be a $\mathbb{K}$-vector space and $\psi:V\rightarrow V$ be a linear mapping, with $\psi^k\neq 0$ and $\psi^{k+1}=0$ for some $k>0$. Show that there is an element $x\in V$ such that the set $\{x, \psi (x), \ldots , \psi^k(x)\}$ is linearly independent.

Let $x\in V$ such that $\psi^k(x) \ne 0$. We wil show that the set $\{x, \psi (x), \ldots , \psi^k\}$ ist linearly independent, i.e., that it holds it when $c_0x+c_1\psi (x)+\ldots +c_{k-1}\psi^{k-1}(x)+c_k\psi^k(x)=0$ then $c_0=\ldots c_k=0$.
09:34
@MaryStar Hi Mary
Hello @euclid !! About your question from yesterday, take a look at en.wikipedia.org/wiki/Primitive_root_modulo_n .
it doesnt talk about ways for finding them
@MaryStar
10:35
[Abstract algebra] How to make identities. Suppose that 1x=x. Now suppose that y1=1. Then y1z=1z=z for any z. Therefore yz=z and y becomes an identity
Therefore if you have two elements absorbed by 1, you are going to end up with a null semigroup with 3 identities
Hi chat
11:07
[Zero term algebra] Ok I have made some mistakes in some of my no go theorem proofs: As it turns out, I have not completely rule out all cases where 0 is involutive and cases where 1 is the zero inverse. Here's an example of a finite associative division by zero algebra that neither contains a one sided null semigroup of size 3 nor contains a semilattice:
and yes you are right, the theorems do said that there is NO WAY you can get back to 0 or 1 once you left it
This is one reason I found them not interesting, because what's the point of dividing by zero if you end up stuck in a subalgebra (more accurately, the extension of some algebraic structure via adjointing new elements)?
I guess I am going to just expand the notion of null-simple to include all these structures as part of the no-go theroems to rule them all out in one sweep
Perhaps a better way to phrase this is that: In all associative division by zero algebras where the zero inverse is 0 or 1, the nonzero elements forms an ideal. So in this case, given any element $x$ in the algebra, $x2,2x, 3x, x3 \in \{2,3\}$
uh nope, that's nto an ideal, because (\{2,3\},+) is not a subgroup of the + structure
I have no idea what to call that, an "absorbing set"?
11:33
ok nvm again. It's indeed an ideal, though one that applies to semigroups
therefore all I need to prove is that the ideal for these division by zero algebras does not contain 0 nor 1, otherwise it must be null-simple (contains a one sided null semigroup of size 3, i.e. has 3 one sided identities of the same type)
 
1 hour later…
12:38
hey @BalarkaSen you around ?
@Adeek Yep
12:55
I was reading allufi I am in the group chapter atm. I always thought about the third isomorphism theorem in an algebraic way, but I think I have a nice geometrical picture about what is happening. Would like to discuss it with you.
@BalarkaSen okay ?
I always forget what order those go in.
@MikeMiller The way I think about it now is as follows. G/H we can think of it as follows we partition G by H. So, we can think of G/H as squished G by H. Then, if we consider N/H, then this would be the partition of N by H. Now if we take G/H and quotient by N/H we will partition G by N, since we can think of G/H as a big ball which has N/H, since N/H is already partitioned by H so G/H / (N/H) is naturally G/N.
it is easy to visualize if we think of partition I think.
hi
@Mahmoud salaam alaikom
13:07
@DHMO Waalayka salam $:)$
13:21
@Adeek Ahh. Hmm.
I remember it as a mnemonic too ((a/b)/(c/b) = a/c). Never thought about it in terms of geometry
You can probably interpret it in terms of covering space theory
oh ?
how so ?
There is a correspondence between covering spaces of X and subgroups of $\pi_1(X)$. But you probably don't know it yet.
What do you think,will my answer get bounty? math.stackexchange.com/questions/2075745/…
oh cool
If a space has the same homology groups as a sphere its called a homology sphere, if something has the same homology as a contractible space is called homology contractible or what is the word?
13:30
Homology point.
ok :)
@BalarkaSen I never heard anyone actually use it in practice, though :P
Feel free to suggest a better terminology.
Probably "has trivial homology"
Actually I guess it's called acyclic
13:33
Oh, yeah!
That's right.
Forgot about that.
But I've also not heard anyone use that :P
Though it's 100% the official terminology
Who decides?
Balarka and me just decided
13:36
I caught cold last night, and have a mild fever. Ugh.
Man
Your health is so shaky :( Get better soon!
Wish you the best :(
I thought acyclic was $\pi_1(X)=0$
that's simply connected
@Danu @Krijn Thanks. I was excellent all through the winter; but suddenly the temperature fell from 16C from 7C and had to walk for a kilometer in that chilling cold in the crack of a dawn
7 C chilling cold
:D
Snow has been falling all day today---it's -13 at night.
13:40
in this part of the world, yeah
I know, I know. Just a joke.
-13 sucks
Yeah, kinda does. Heating on all day all night makes it okay.
Hello chat.
Heya
13:52
0 degrees C here

« first day (2356 days earlier)      last day (2960 days later) »