« first day (1861 days earlier)      last day (3169 days later) » 
00:00 - 17:0017:00 - 00:00

12:04 AM
You're the best. Thank you!
@anon - how can I prove that that is an anti symmetric bilinear form?
 
that what is?
 
$a^TMb$
 
it's antisymmetric iff M is antisymmetric
so, not generally antisymmetric
 
I have M is the inverse of a positive definite matrix. Is that sufficient?
 
definitely not
for example if M is the identity matrix, it's symmetric not antisymmetric
 
12:14 AM
as far as I know one only says 'positive definite' of symmetric matrices in the first place...
 
I didn't think so. Hrm. I'm trying to think - if M is the inverse of a covariance matrix, it would be the inverse of a symmetric matrix. That's not anti symmetric, is it?
It looks like it is symmetric. I'll post my work on a SE question and see if there's any errors.
Thanks!
 
1:15 AM
I need to prove if G is a group with exactly one element $a$ of order $2$ then $\prod_{g\in G}g=a$
I'm pretty sure that product isn't uniquely defined unless the group is abelian. Any feedback?
In the abelian case it is trivial.
Nevermind, I found the errata
it has to be abelian.
 
 
1 hour later…
2:27 AM
@StanShunpike Hey, I hope you've found a good answer to your question by now, but if you haven't let me say something and then give a link. In the wave equation, $u(x,t)$ is generally the displacement of the string from flat at a particular point, AKA it's the amplitude. If you think about it like $\vec{F} = m \vec{a}$ then you can identify the term that is the 2nd derivative in time as the acceleration. The other term, then, must be a force that is proportional to the 2nd derivative in space.
 
@KevinDriscoll But what is a second derivative in space?
Thanks for replying by the way
Ted Shifrin clarified this I think
He said it is just the usual curvature of a line
or like that is what is is referring to
 
@StanShunpike And in fact if we start with an ideal string, consider a very small segment of it, and apply Newton's 2nd Law to that segment we find exactly that it leads to the wave equation. You can see a full derivation from newton's Law here: math.ubc.ca/~feldman/m267/wave.pdf
 
so a straight line would have a second derivative of zero
 
@StanShunpike Yes, that's right. The second derivative is related to the curvature. The more curved the string is, the bigger the force with which the edges of the string are pulling on the middle with
 
Ah! That makes intuitive physical sense :)
 
2:30 AM
@StanShunpike You can see that directly in the derivation. The 2nd derivative term arises precisely as a way of rewriting the vertical component of the tension in the string.
 
@KevinDriscoll I was looking at this explanation tutorial.math.lamar.edu/Classes/DE/TheWaveEquation.aspx
And I was a bit confused what the term
$Q(x,t)$ stood for
I know it says it
But I still didn't really quite get what it was
It seemed to be saying something about gravity affecting the string
But I didn't really understand that because I thought we usually ignore it
 
Yes, that's right. The $Q$ are some external forces that are not caused by the string itself
Often yea, they are negligible
 
But that's my confusion. What does "other forces" mean?
Like is this besides
the force creating the plucking / wave in the first place?
 
The derivation I linked to goes through in more detail how the derivative of the tension shows up, just by thinking geometriccaly about a small segment of the string
 
ooo very nice. I didn't see the link sorry. I will look at that in detail!
 
2:35 AM
Yea, so there are internal forces which are caused by segments of the string pulling on other segments. Those forces go in the $T$ terms, for tension. Then external forces like gravity, air resistance, if you're driving the string by constantly plucking it, etc go in the $Q$.
 
But would a single pluck be included in Q?
Or do we assume the string starts out in a plucked state?
 
Usually not. There are 2 ways one could include the initial pluck.
Either you could say at time $t<0$ the string in flat. That at $t=0$ we come along and pluck the string. And so we get some kind of force like $\alpha \delta(t)$ and that would go in the $Q(x,t)$.
OR you could say at time $t=0$ I tell you the initial amplitude at some point on the string and the velocity at that point. Then there is no $Q$ but our string started out in some non-flat state and we can see what happens from there
 
is $\delta$ the dirac delta function?
 
either way is a valid way of modeling that initial 'pluck,' but usually people use the 2nd one because it's easier.
Yea
 
huh, that's really interesting.
 
2:39 AM
It's a powerful and important thing that both methods work.
Because it gives you flexibility. Sometimes you care exactly what kind of 'pluck' is happening. For example, it could be a constant oscillating for like $\sin(x,t)$
But sometimes you DON'T care very much what kind of pluck it was, you just want to know how the string behaves in the long run. Then you can just use the initial conditions instead and not include any external forces.
 
That's awesome.
 
It's actually exactly the same as with Newton's Laws. If you have a ball at rest, you can either described exactly what kind of force you use to throw it
 
I got into all this when I was learning about music theory. Is this stuff used in QM?
 
OR you can saw, look after Ive thrown it, its at posiiton $x_0$ with velocity $\vec{v}_)$, now what happens?
Yes, the Schrodinger equation is another kind of wave equation and one goes about solving it in a very similar way. In that case, the $Q$ terms are like the potential that the system is moving in.
 
Yes! That's what I thought. :)
Excellent
What's ur favorite QM book?
 
2:49 AM
Hmmmmm, good question. In my opinion, there is not a single best 'beginner'
quantum mechanics book, like there is for E&M (in that case its Griffiths)
 
I have Griffiths and Ballentine
Griffiths E&M book is great
I also like Purcell
and I have Jackson
 
Jackson is really quite poor because its so old fashioned. It has a lot of good information but it isn't presented so well. I prefer Zangwill for graduate level E&M, which is sort of a modern Jackson
 
mmm excellent
 
for Quantum, I think Griffiths is good for starting out, I havent read Ballentine
 
I dislike Jackson for that reason
I just got it because it came up a bunch of times
but it seemed really oddly organized
 
2:51 AM
yea, many many schools use it
 
I got a used version that clearly is reaaaaally old
 
Then I would say Shankar is pretty good for a slightly deeper level of QM
and my favorite graduate level book is Cohen-Tannoudji
Cohen-Tannoudji is excellent because it is organized in an unusual way for a physics textbook. The chapters are shorter, general theoretical outlines. Then, each chapter has 5+ appendices where each appendix is devoted to a specific problem using what was discussed in teh chapter.
It's less good when you want a sort of 'guided tour' broad overview. But its excellent when its time to get down to brass tacks and learn, say how to apply perturbation theory to a system with degenerate energy levels.
 
3:06 AM
@KevinDriscoll Great! I have been unsure
I have heard good things about Shankar
But I had not heard of Cohen-Tannoudji
I will have to look at that one.
 
user147690
@robjohn Shouldn't blocked people not appear on the starboard by design?
 
@AlexClark No, the starboard is universal. This isn't a bad idea, necessarily; for instance, what if you had ignored Clarinetist? Then you wouldn't see the chat guidelines.
 
@StanShunpike Yea the key on Cohen-Tannoudji is that he spend half or maybe more than half of the 2nd volume going over how to do perturbation theory. This is really the right thing to do because there are almost 0 exactly solvable problems and almost everything that we do is perturbation theory of some kind.
 
user147690
@MikeMiller Well you could set pinned posts to override to counteract that
 
Sure, though one can make similar arguments (what if a room has no mods but still has chat guidelines? what if it's a message users unanimously agree should be seen?) In any case, this is a SE thing, not an MSE thing.
 
3:15 AM
@KevinDriscoll omg thats great!
I need to be better at perturbation theory
 
user147690
@MikeMiller Sure
 
@KevinDriscoll I didn't know where to look
 
@StanShunpike Yea its all specific to the problem one is working on. There are about 1,000,000 different types of perturbative approaches, depending on what you're doing
 
Thats why its confusing lol
Too many books to choose from
 
@StanShunpike The best book I know of is Bender and Orsazg, Advanced Mathematical methods for scientists and engineers
 
3:24 AM
Nice! I will check on that too! This has been very productive lol
 
@StanShunpike If you want apreview, Carl bender has a series of 15 or so lectures on youtube. It's fascinating stuff. Convergence acceleration, resummation of divergent series, local and global analysis of differential equations, etc.
 
Nice! I will definitely do that. I love youtube lectures
 
 
1 hour later…
4:31 AM
@PVAL: The question never got answered on MO so if you get a chance to ask Dan about his thoughts I'd definitely still be interested.
 
@AlexClark do you mean blocked or ignored?
 
@MikeMiller Ayo mike
do you know why the existence of sylow p-subgroups implies the existence of p-groups of all lesser powers?
 
@Anthony: At that point all you need to do is convince yourself every $p$-group has a subgroup of order $p^k$ for all $k$.
You can induct this upwards.
 
Do you mean starting from Cauchy's theorem?
 
4:47 AM
Yeah.
 
I see. I'll think about it!
Thanks.
 
I remember this being a little tricky and i don't remember the details.
 
It's cool. Thanks!
 
5:19 AM
@KevinDriscoll So when did you first start liking physics?
 
@StanShunpike Middle school sometime. I read The Universe in a Nutshell and had a series of like binders where they sent you a pack of inserts every month. A good bit was focused on astronomy but there was particle physics in it too.
 
We were taught some in middle school and I thought it was stupid
 
My perception radically changed when I took my firs tphysics class in high school
 
Exactly! my physics teacher in high school taught me Newtonian mechanics and I was hooked. I think it was the difference between shitty teachers in middle school and having him in high school.
I felt appalled that I almost didn't like it
before and realized how much the teaching influenced me
 
because I had never really considered how physics really worked at a fundamental level. I thought of it more like being a mechanic or engineering before I took a class. But once I got some experience I was really impressed with the power of even simple things like predicting trajectories of thrown objects
 
5:25 AM
Yeah! It was neat. I remember covering SR and was floored by it. I just couldn't believe how much physics could shape how I think about the world.
 
When I think about Quantum mechanics its funny becuase there are certain questions I don't ask now that I found incredibly strange when I first started
For example, when one considers a particle in an infinite square well, theres a nonzero probability of finding it in the left or the right half of the well
But 0 probability for the exact center. So, how does it get from one side to the other?
 
Huy
user image
3
 
@Huy ....What book is that from?
 
@KevinDriscoll I remember being super confused in chemistry class because my teacher
 
Huy
Apparently Glencoe Algebra II 2014 edition. @KevinDriscoll
 
5:35 AM
tried to explain about wave functions in high school
and I just wasn't really read to grasp it because I didn't even know what a vector space was yet
 
@Huy Whoops!
 
@TedShifrin evening professor :)
 
Hi @Stan et al
 
lolol
et al
 
Huy
morning @Ted
 
5:38 AM
@StanShunpike Yes, unfortunatley trying to explain what wavefunctions ARE is something that takes a physics degree, a philosophy degree, and several years of arguing to decide
We're like the end of the Gilligan's Island theme song......" And the rest..."
 
Goodnight @Huy
 
@KevinDriscoll Yes, exactly. In retrospect, I feel like my teacher probably should not have been so ambitious.
But I liked the enthusiasm for the subject matter
a lot of people don't have that
 
You can be Maryanne, Kevin.
 
Hi @Ted.
 
Goodnight, Mike
 
5:40 AM
@Ted I guess that makes you the professor
as long as I don't have to be the Millionaire's wife
 
@TedShifrin i perceived a little change in your identicon, does that imply some reputational growth ?
 
I may well have no cell/wifi for a few days, Mike, but I'll try to let you know when I get to Santa Barbara or thereabouts.
 
I didn't have service while in canada. It was a traveshamockery
 
I Have no idea, Agawa.
 
@Ted: I'm sending you something on facebook.
 
5:43 AM
oh.
 
lol
 
Its an invitation to help Mike pick varieties in FarmVille
 
I have no idea why my thing from earlier has three stars.
13
 
me too
just take first initiative and wait for a torrent of stars
 
LOL
is that how it works
?
 
5:53 AM
wait and see
 
-_-
 
people just click on stuff if it looks mildly interesting and clickable.
doesn't really matter what it is.
 
theres nothing easier than a mouseclick
the lower button is rather less arduous to move up the cursor to
 
BTW, @Stan @Anthony, I strongly support the endorsement of Bender/Orszag. Also,I like Jim Keener's books.
 
6:08 AM
@TedShifrin what in particular do you like about Bender/Orszag?
 
 
1 hour later…
7:31 AM
someone good at financial mathematics ?
 
7:42 AM
@Clarinetist is quite good in my experience
I would recommend asking him
@Agawa001
 
What you choose between Faculty of Accounting and Faculty of Mathematics
 
@StanShunpike problem: my questions are in french
i ll try translate some technical terms when he logs in
 
Yes that could be an issue but Clarinetist might at least get u started
 
@Agawa001 what you advise me to choose between Faculty of Accounting and Faculty of Mathematics
I saw a question from you about financial mathematics
 
@Lucas i cant listen your inner voice :)
 
7:50 AM
Lol
 
Nice answer
 
anyways, i hate statistics and finance. it was the most hateful 1 hour session per week i ever spent
 
@agawa where are you from?
 
north algeria
 
You say that .."it was the most hateful 1 hour session.." I suppose that you're beginning?
 
8:05 AM
no, its the last year i study such stuff
 
What college are you?
 
do you know my region ?
what a wonderful piece of heaven on earth-face ruled by idiots
thats where i live :)
 
8:22 AM
Has anyone done Derivation of compound statements?
It's basically given x,y = A, B, find statements that realize (x) post condition.
 
user147690
thetruesize.com - Type a country in and see it's size in comparison with other countries
 
This is a bit confusing to me: X == A, Y == B, to X*Y < 0, X+Y==A+B
 
user147690
@robjohn Well neither hide nor ignore work, but I meant ignore
 
user147690
thetruesize.com - If you are going to use this someone, type in New Zealand and drag it up to the UK
 
8:43 AM
Well, I'm stuck.
If I make x = A-B, and y = B-A, then x*y is < 0
Because unless A and B are equal, then x*y will be negative.
However, this also makes x+y = 0
IDK what I'm doing.
 
9:17 AM
@Owatch If $(x+y)^2=0$, then $xy=-\frac{x^2+y^2}2$
don't know if that helps
 
9:32 AM
heya @AlexClark
 
user147690
Hey @BalarkaSen
 
user147690
How are you?
 
i'm ok, what about you? in particular, what kind of math have you been thinking about? :P
 
user147690
I am good, just doing functional analysis atm, the exercise looks like it 'should' be simple, but I am not getting it
 
well, won't be able to help you with that!
 
user147690
9:34 AM
Have you seen that link I posted(that's on the starboard now [thanks whoever])?
 
nah.
mostly because I don't remember the name of any country I know of. Atlantis?
 
user147690
I thought it was interesting, especially seeing countries in comparison with Russia(which is much smaller than I thought), although I was definitely aware of the problems with the mercator projection in regard to greenland for example
 
I'm horrible with geography.
 
user147690
Oh well just go in and type in India and drag it up to Russia haha
 
India is even a country?
that's funny, I thought it wasn't.
 
user147690
9:38 AM
It is, pretty much all the 'block' things are countries
 
user147690
The lined off things are pretty much all countries
 
ok, pretty cool
 
user147690
I guess it's not as cool if you don't 'think you know' geography actually :\
 
user147690
I think it's mainly cool to look at a country and blow your mind xD
 
nah, I was just joking.
 
user147690
9:41 AM
About what?
 
about the geography thing.
 
user147690
Oh okay, I wasn't sure. I have friends who are amazing at almost everything and some field they know nothing about, so I don't judge
 
My jokes are usually not very recognizable, as Mike and Ted will agree.
 
user147690
Oh I thought the 'ok, pretty cool' was about the website :P
 
yeah, it was
 
user147690
9:42 AM
Ok
 
People should use stereographic projection to draw worldmaps evilgrin
 
user147690
 
user147690
Looks really good!
 
Won't really be of much use, though
The distances will be pretty messsed
 
user147690
Oh I was joking that time xD
 
9:49 AM
ohh, ok, haha
 
user147690
It's like a weak version of en.wikipedia.org/wiki/Poe%27s_law
 
user147690
Making jokes like that on the internet
 
someone want to help me with basic cw-complexes properties?
 
@MathsIsFun ask, don't ask to ask.
 
user147690
May 22 at 3:29, by Alex Clark
May 16 at 12:21, by Alex Clark
in The Bridge, Sep 2 '10 at 22:25, by radp
:151729 Don't ask to ask, just ask.
 
10:01 AM
Define a subcomplex $A$ of a CW-complex $X$ as $A=\cup e_\alpha^n$, where $e_\alpha^n$ are open cells of $X$, with the property that $e^n \subseteq A$ implies $\overline e^n \subset A$
I want to show $A$ is closed. How would you proceed?
 
@MathsIsFun by open cells, you mean interior of the cells in $X$?
 
open cell is the image of $E^n-S^{n-1}$ under the characteristic map
I have an idea of proof, but might be wrong
I want to make sure, is $e^n$ open in $X$? If so, I have the proof.
 
right, that's what i meant by interior of a cell in $X$
@MathsIsFun yes, it is open. (prove this)
 
Well, if $X$ is by definition a disjoint union of open cells, say $X=\cup_{i\in I}e^n_i$ and $A=\cup_{i\in J}e^n_i$ for $J\subseteq I$, then I imagine that $X-A=\cup_{i\in I-J}e^n_i$ is a union of open sets and therefore $A$ is then closed
 
$X$ is not disjoint union of open cells!
 
10:10 AM
Say it is not disjoint
 
correct. and neither is it union of open cells
 
Ok lets recap
$X=\cup \overline e^n$
Well, I will think about it, thanks, I will re-read definitions because I seem to be doing something strange
 
Why are you writing a CW-complex like that? I mean, it's literary not wrong, but loses a lot of information about how the cells are glued togather.
 
I wrote it like that because I wanted to take the complement to show its open
 
oh, ok
 
user147690
10:15 AM
Does anyone have a comment on 'Real and functional analysis' by Serge Lang?
 
@MathsIsFun As you're trying this by yourself, I don't want to give you a hint, but why don't you recall the equivalent definition of closed set which says that a set is closed iff the boundary of the set is trivial?
 
Ok I will think about it
I think I need more help
 
10:33 AM
OK, you can write $A$ as union of cells in $X$ such that closure of any cell is in $A$, correct?
Now look at the boundary $\partial A$.
Recall that boundary of union of sets is a subset of union of boundaries of the individual sets.
 
I don't know what would be $\partial \overline e^n$
 
Whoops, I just noted that I just typoed above. I mean a set is closed iff the boundary of the set is contained in the set.
@MathsIsFun $\partial \bar{e}^n \subset A$
 
yes that is what I originally thought xD
Perfect, thanks a lot
 
Apologies for the confusion, @MathsIsFun
 
Don't worry
 
10:42 AM
Glad to help.
 
In case it is more useful, or easier to work with, how would you write then a CW-complex and a subcomplex?
Because you said earlier that you don't write it like that
 
There is no generally "easy" way to write a CW-complex. But if you have, say, the CW-complex consisting of a 0, 1 and a 2-cell, 1-cell attached to the 0-cell to make a circle and 2-cell attached to the 1-skeleton by a degree 2 map, I'd write it as $D^2 \cup_{\varphi} S^1$ where $\varphi$ is the map $z \mapsto z^2$.
The point is, one shouldn't forget about the attaching structure
BTW, you may post your algebraic topology questions in the algebraic topology chat if you want. A few users (including me) regularly chat there.
 
I sometimes read your conversations, I confess
Thank you for the explaination
 
I have seen you there, yeah
No problem
 
 
1 hour later…
12:02 PM
$$\int _{0}^1\int _{0}^1\int _{0}^1\frac{1}{(x+y+z) (1+x y z)}\ dx \ dy \ dz$$
 
12:16 PM
@MikeMiller I just finished reading Waiting for Godot. Just want to say that it's mind-blowing. It's surprising that Beckett reached such philosophical heights as this. It was confusing and meaningful at the same moment, and I don't believe that I understood everything in the book. Deciphering this and understanding it's true depth would require a much, much greater philosophical power. From what I can extract out of it, it depicts how we all are moving through a never-ending circular path throughout our lives.
It's a very, very deep symbolism.
 
@Clarinetist whether you are hanging arround these manifold divisions of this website may it not disturb you to come here and discuss some financial maths and management
 
 
1 hour later…
1:26 PM
@BalarkaSen: I want to warn against trying to extract meaning from every single line. Certainly one can try; the issue is that with most good modernist or pomo literature one can force meaning into every sentence, even when it's not there. I guess that doesn't matter; death of the author and whatnot; but I still think one should be careful of overzealousness.
 
I agree with what you said, @MikeMiller. On a different note, I have gone through the proof of local degree formula earlier today, and I agree with you that the same can be done for degree of maps between manifolds too. The property of being locally homeomorphic to $\Bbb R^n$ is all what's needed.
 
Waiting for Godot is incredibly minimalist. My first response to your interpretation was to call it oversimplified; but no, it's not at all invalid. A hundred different critics will find a hundred different ways to understand it; perhaps one person views it as a satire of capitalism (or another communism!); some people read it as an allegory for the lifelong search for an absent God(ot). This is part of the beauty.
 
Yeah, I agree with that too. Good literature generally have a number of interpretations.
 
My personal taste in it is mostly from its technical achievements: I'm not kidding when a million authors have tried to write a gripping story where nothing happens, and only Beckett has truly managed to succeed - and on the stage, no less. (See Adaptation for a film attempt at doing this. It fails at its goal, and I'm unsure the modern medium of film could successfully do so, but one ends up with a good film regardless.)
@BalarkaSen This is, for sure, taken to an extreme here. I'm not kidding that I've scarcely seen two critics write the same interpretation.
It's sort of a husk onto which one might project themselves.
 
Agree with everything you said. As a side-note, is there an online version of the McKellen-Stewart play you were talking about? I saw the trailor, and it looked good.
 
1:37 PM
The other thing you need is that $H_n(M;\Bbb Z) = \Bbb Z$, but yes, that's it.
@BalarkaSen: Not as far as I know. Most plays are not recorded, so I would be surprised if you saw it online.
 
ok, that's a pity.
 
There are definitely plenty of recorded versions with incredible actors, though. Just not this pair.
Did you finish #10?
 
The cover exercise? $p : M \to N$ be an $n$-sheeted cover. Pick a point $x \in N$ and take preimage to get $n$ points $y_1, \cdots, y_n$. Look at small neighborhoods of these. On these nbhds, $p$'s a local homeomorphism. According to whether this reverses or fixes orientation, $p$ has local degree $1$ or $-1$ around these. Sum up : the global degree is $\pm n$
 
Why does it consistently preserve or reverse orientation?
(This was #9. #10 was that maps of degree 1 induce surjections on the fundamental group.)
 
$M$ and $N$ are orientable.
 
1:45 PM
That's not sufficient. I can give you a map $p$ where in one chart $p$ is orientation-preserving and in another it's orientation reversing.
 
Fair enough, $y_i$'s might not be close enough to fit in one chart.
Hmm.
 
morning chat
 
Here's a crappy drawing demonstrating what I mean.
 
math.stackexchange.com/a/564964/66223 it took 2 years but I finally fixed the answer!
 
The curve is projected to the unit circle to get a map $S^1 \to S^1$. I'm suggesting you look at the points in the preimage of the dot. There are three of them, and (assuming the map is degree one) the local degrees at one of them is negative.
 
1:51 PM
@AlecTeal hah, nice. reminds me of at least one answer of mine i should get around to un-screwing up
 
Yeah, you are right.
 
:)
I'm trying to fix my worst ever answers
 
So I have to prove that all of $f : B_{y_i} \to B_x$ either preserves or reverses local orientations induced from the fundamental class of $M$
 
Assume one of them does for convenience of notation.
 
Assume $f|_{B_{y_1}}$ reverses and $f|_{B_{y_2}}$ preserves orientation. Then consider the commutative triangles consisting of these maps at the $H_n$-level, and the $H_n$-level transition map $B_{y_1} \to B_{y_2}$ ($M$ is a manifold). Everything is an isomorphism, so that' certainly a contradiction (generators mess up)
 
2:04 PM
I'm a little confused. Those are both still isomorphisms.
In addition it seems to me if that was a proof it would apply to any map, incl the one where it wasn't true.
 
Actually, it doesn't work, sorry. I wanted to come up with a contradiction by tracing where the $1$ is sent in a certain isomorphism, showing it should map to $1$ instead of $-1$ - which would happen if the map is orientation-reversing.
 
@DanielFischer Hi.
 
Ohh, I think one should lift a loop from $x$ to a path going from $y_1$ to $y_2$. Then coherence of orientation would be void.
And clearly one could do that only for covering maps, not for map you gave me above.
 
@MikeMiller Hi
 
Ok, that works like a charm. The one I had in mind was just that points for which the local degree is 1 is an open set for the covering map (nearby points in the same chart also have this), and so are points of local degree -1, and our manifold is connected.
Great, so you've finished that. #10?
Hi @Moses.
 
2:15 PM
@MikeMiller ok, what you said is a nice way to do this. anyway, to #10.
$f : M \to N$ be a degree $1$ map. Lift to a cover $p : E \to N$ of $N$ corresponding to $\text{im} \, \pi_1 f$. $f = p \circ \tilde{f}$, so $\text{deg} p \cdot \text{deg} \tilde{f} = 1$. Hence, both could be either $1$ or $-1$. $p$, if finite sheeted, must clearly be $1$-sheeted, hence proving that $\pi_1 f$ is surjective.
For infinite sheeted things, this is going to be a bit tricky.
 
Well, it's going to at least be divisible by $p$; who knows what degree the map to the cover is. (But Bqhatevwr.)
 
huh? $\deg p \cdot \deg \tilde{f} = 1$ implies both are either $1$ or $-1$, as degree are integers. I can't make sense of what you mean by divisible by $p$.
 
The degree of the composition of the maps is divisible by $p$. That's all I was saying.
 
oh, you mean it's divisible by deg p. Right, my bad.
 
Oh, lol, I was here thinking $p$ was also a number. Oops.
 
2:27 PM
I am confus about what happens for the infinite sheeted case.
 
are we talking infinite-sheeted riemann surfaces?
or something more general?
 
just infinite sheeted covering maps
let me ponder on this a minute
Weird, why can't we use local degree here?
 
@MikeMiller Could I ask for a hint regarding something?
 
@Balarka: 1) Look at the local degree theorem again. 2) Who ever heard of infinite degree maps?
@Moses: You can try.
 
2:32 PM
(2) was my confusion. I guessed local degree formula was valid only for finite preimages.
 
Why isn't the local degree formula valid for infinite preimages?
 
It's one of my weakness in the earlier chapters, I can't tell you without looking at the proof.
But let me fix the infinite sheeted case first.
 
That was a hint.
 
@MikeMiller I want to show that $\| R_{a}(\lambda)\| = \| (\lambda - a)^{-1} \| \geq \frac{1}{\text{dist}(\lambda, \sigma(a))}$. I was thinking that an idea would be to show that $|\lambda - \lambda_{0}| < \frac{1}{\| R_{a}(\lambda)\|}$ implies $\lambda_{0} \in \rho(a)$. Then the result follows. But I am having diffculty proving this using the Neumann series. Do you have any hints regarding this?
 
What is $\rho$? Spectral radius?
 
2:44 PM
@MikeMiller $\rho(a)$ is the resolvent set.
 
I don't know what that is, sorry.
 
@MikeMiller OK, got that one. The cover is infinite-sheeted means it's not compact. Then $H_n$ of that cover is the compactly supported cohomology group $H^0$ by the "strong Poincare" (cover of a manifold is always a manifold). This is trivial, so the degree of the projection is trivial
That's clearly not possible.
 
Strong poincare means the cover of a manifold is a manifold?? That seems like a pretty easy theorem to me
Oh I see what you mean.
 
No, strong Poincare is the duality theorem for compactly supported cohomology groups
 
Why is the cover not compact?
 
2:50 PM
closed subset of a compact space is compact.
and that preimage is not compact
 
Ok. Now use this intuition to tell me why the local degree theorem doesn't work for infinite preimages.
 
I have to put the proof in front of me. Would that be ok?
 
I didn't assume you remembered it
Of course that's ok; mathematics is not memorization. That just comes automatically with use.
Strange, those sent in the opposite order written
 
@MikeMiller ok, I have been told that if I understand something well then I should be able to tell the proof, or at least sketch it.
yeah, order of messages get switched sometimes
 
I don't learn that way. Things seep in; I don't tend to truly understand something until a good bit of time after I learn it.
 
3:04 PM
I think the issue's with excision there.
But I am not sure.
 
To do this what you really want is a bunch of small, open, disjoint sets around each of the $y_i$...
 
I don't see why that'd contradict anything.
I am being silly. I'm going to take a brake (have to run for an hour anyway) and get back to this
 
Let me know when you do.
 
3:36 PM
Hi @iwriteonbananas.
 
im thinking of a nice metapost in math, maybe i d post it tomorrow
and i d like to take part of it, if ever taken in count
 
0
Q: Calculating in closed form $\int _0^1\int _0^1\frac{1}{1+x y (x+y)} \ dx \ dy$

Chris's sis the artistIntegrating with respect to a variable and then to the other one, things look pretty complicated, but I'm sure you have ideas that might simplify the job to do here. This time we're talking about $$\int _0^1\int _0^1\frac{1}{1+x y (x+y)} \ dx \ dy$$ Solutions are optional (and I'd appreciate i...

 
4:23 PM
@AlecTeal i like the way people avoid latex pain hhhh
 
Hah
Hold on a sec, I've got an order by not working
 
@Chris'ssistheartist nice integral, i ll think of it baybe tomorrow
the denominator can be witten as $(ax+b)^2+c$
 
@Agawa001 thanks ;)
@Agawa001 The hard part comes after integrating once.
 
oh
i know you wouldnt post something easy
 
:D
@Agawa001 It's not a rule, sometimes I post easier things.
 
00:00 - 17:0017:00 - 00:00

« first day (1861 days earlier)      last day (3169 days later) »