« first day (2157 days earlier)      last day (2868 days later) » 
00:00 - 16:0016:00 - 23:00

12:38 AM
everyone stop
math causes there to be no ice cream
2
 
1:22 AM
Hi, I have some questions about manifolds, can anyone help me?
 
we can try Just ask; don't ask to ask
 
Is there a submersion between $f : \mathbb S^2 \to \mathbb RP^1$ ?
I have to prove the existence or non existence
 
take s^2 to R^2 to R^1 to RP^1
thats how i would try at least not my strong field
 
@KiwiKiwi What are your thoughts and what are your tools?
 
The problem is I don't know much about the properties of submersions
 
1:34 AM
You can always go get ice cream, @shai.
 
I know they are open maps
 
Rehi @MikeM
@shai: Not sure how you're getting from $\Bbb R^1$ to $\Bbb RP^1$.
 
@Ted: That's far from the most danferous part of that sequence.
 
Well, I know, pretty hard to get a submersion to $\Bbb R^2$. :P
I just thought I'd start with the most obvious :D
I'm not doing this exercise.
 
@KiwiKiwi Well, to answer this question, you'll need to know something or another about them.
 
1:37 AM
wonder why it's RP^1 instead of S^1 written
(not socratic, actually don't know)
 
@anon: Concur.
You feeling better?
 
forgot pain pills today. was in pain. had a lot of pills when I came home. okay now.
 
@MikeMiller Also I saw a submersion theorem : each level set of $f : M \to N$ is a closed embededd submanifold of codimension dim N
 
You're too young to be forgetful, @anon. I'm glad you're a little better.
Were some of those teeth impacted?
 
no, just angled badly
 
1:39 AM
That's correct but I am skeptical you'll be able to use that effectively.
 
personally I would lift to S^2->R^1, image is compact, then consider fiber of a maximum. at least intuitively that seems like it'd make sense.
 
If this was assigned in a course, you'll need to use the tools you have so far.
Ok, nevermind.
 
Shhhh @anon. Besides, how're you lifting to $\Bbb R^1$???
 
I'm a bit lost right now
I'm not sure I know the definitions @anon
 
then maybe don't worry about it
 
1:43 AM
Oh, I was preoccupied thinking about the projective line. :) Funny.
 
@MikeMiller can you tell me what tools I would need to solve this?
 
@Ted I'm pretty sure Bott and Tu do relative de Rham cohomology.
@KiwiKiwi Is this from a course?
 
@MikeMiller No, it's something I'm learning on my own
 
Is it from a book?
 
no, I just have a set of problems I found
 
1:53 AM
Then find a coherent resource to learn from.
 
It's what I would do, however I found a lot of problems similar (prove if there is a submersion of the form f: M -> N)
and I'd really like to solve those...
 
Why do you care?
 
well I feel like there is an important argument that would apply to a lot of cases
 
Why do you care about whether there is a submersion from M to N?
 
Just a problem I'd like to understand
 
1:59 AM
You are apparently impassioned by submersions, but you don't have the tools to answer these sort of problems; earlier you posted a question in which you didn't realize you had access to Sard's theorem. I don't think this is a problem that you're going to solve by having people tell you the names of theorems or ideas. If you care about this, you should find a differential topology book to learn from - I like Guillemin and Pollack's book. Some of your questions...
...can be answered by material you'll learn from reading that book. Others from your list are less straightforward. In either case, if this is something you care about, you should try to learn it in context, as opposed to just solving a list of problems by asking people for solutions.
 
You are right of course, and I'm already reading 1 or 2 books on manifolds. I believe I know the basics.
And I thought I was ready to solve that problem at least...
 
Dustforce is not like riding a bike... The DX changes are interesting
 
I love that game. I've SS'd everything except for the *difficult levels.
In particular I'm one away from getting the only damn achievement
 
2:15 AM
Yah it is an amazing and beautiful game, just started playing again. It is a great game. I SS most of the not "digital" levels, before DX (although I definitely did not SS all of them)
 
hi chat
@MikeMiller what were you wondering re: irreps of SO(3)?
 
I don't know what changed in DX, are the digital levels the stuff you reach when you have all the keys?
I might have only ever played DX.
@Semiclassical What are they?
 
My fingers are so not coordinated enough anymore
 
ah. i probably know something, i just don't know for sure :p
in physics, SU(2) reps are pretty stock-and-trade
 
I'm big on those
 
2:17 AM
mmkay
 
wait no I'm not
 
DX has all the worlds connected, in the old version you entered the books to get to the worlds, also I don't think they had map creators and stuff like that. Pretty sure they added levels and stuff. And yes to the digital levels (not sure what they are called)
 
I just call them the difficults
 
lol
admittedly, the j=1/2 case is the one we see the most of
 
@MikeM: Bott/Tu do the relative cohomology in the setting of a mapping $f\colon S\to M$, which makes it a bit confusing. But I might go edit.
 
2:19 AM
@MikeMiller That is an accurate description!
 
though you do get some fun things when you do large $j$---namely, you get a certain notion of semiclassical asymptotics with $1/j$ as the small parameter
 
@PaulPlummer But their name is gigadifficult megadifficult etc
@Semiclassical I generally think of representations into SU(2) instead of the other way round
 
i won't lie, my knowledge of them is not mathematically proper in the sense of terminology
i have, however, had to be able to have mathematica create the matrix representations of Jx,Jy,Jz etc. for arbitrary j
not actually too bad
 
2:23 AM
@Semiclassic: If you won't lie, what fun are you? :)
 
@TedShifrin You're assuming I'm telling the truth when I say that. I don't think I'm the one not having fun :>
 
@PaulPlummer I must have played before DX then, the one I played had four books and in each book a little miniworld
 
Touché, Semiclassic :)
 
on the other hand, SU(3) representations? GTFO
 
Yah, DX connects the worlds, they still have the books to get to levels faster after unlocking levels
 
2:25 AM
OK, so there's only one world instead of 4
 
@MikeM, @Semiclassic: This is a cool question, actually.
 
4+hub
 
$B[0,k]$ is a ball of radius $k$?
 
yuppers.
 
yah. Also they added tutorial levels
I think there was one before, they just added more
 
2:27 AM
also, i imagine that there's a missing volume element?
 
sure, sure.
 
hmm hmm hmmmmm
 
Some people actually do write $\int_A f$ without the $dx$ or $dV$. Of course, we all know we need differential forms ...
 
actually, what's $J$ here?
 
Jacobian
 
2:27 AM
fair enough
 
So the integral of the determinant of the derivative matrix has to be 0 if you take a large enough ball.
 
If you get that achievement you will be part of the 0.3%! @MikeMiller
 
Easy enough in $\Bbb R^1$.
 
sooo want to figure out a physical meaning to that now, hah
at least in 3D
 
sure ... you can do that.
 
2:30 AM
@PaulPlummer I gave up quite some time ago
Maybe I should get a controller and try again
 
after staring longer than I should've had to, isn't the integrand there (including the volume element) just $\bigwedge_k df_k$? @TedShifrin
 
@TedShifrin If you like cool questions: Here's one from Hirsch. If $U \subset \Bbb R^3$ and $V \subset \Bbb R^2$ are open, and $f: U \to V$ is $C^1$ and surjective, does it have to have rank 2 somewhere?
 
(don't know how to do a big \wedge a la \sum) oh hey, that worked
 
Yes @Semiclassic
 
mmkay
 
2:38 AM
I think I thought about that one moons ago, @MikeM
Isn't it just the rank theorem if we remove the points of rank 0, @MikeM?
 
which I would think mean the integral should just be $\int_{f(B[0,k])}\bigwedge_k df_k$
 
Not quite, @Semiclassic. But close.
 
hrm
is it the inverse image instead?
i.e. $f^{-1}(B[0,k])$
 
No.
 
I didn't think that made sense
 
2:42 AM
You mean to say $\int_A f^*\omega = \int_{f(A)}\omega$.
 
would not surprise me
 
@TedShifrin: Are there not problems with the order of smoothness? I forget.
I guess not, but one has to be a little bit of work; the constant rank theorem says that the images of small balls are nowhere dense, and you take a countable union and invoke Baire, I guess.
 
Basically just the $C^1$ inverse/implicit function theorem, @MikeM, I think. Where is the problem, anyhow? I can't find it yet.
 
At the start of the transversality chapter IIRC.
 
that makes me think it's just $\int_{B[0,k]}\bigwedge_k df_k$ but i can't convince myself that makes sense
 
2:44 AM
Whoa, @MikeM, he has three stars on it.
Huh? @Semiclassic. That's where we started.
 
...riiiiight
 
Two different uses of $k$ by the way
 
woops
in my defense, $k$ is a weird symbol to pick for a radius
 
LOL, I concur.
@MikeM: I'm not sure Hirsch ever states the rank theorem, BTW.
He's got the exercise in the Sard's Theorem section.
 
That might be it.
 
2:46 AM
So then to apply Sard you'd need one more derivative.
 
but i think I may see where you're going. is the point that, if $\omega=\bigwedge_j dx_j$, then $\bigwedge_j df_j = f^*\omega$?
 
Right @Semiclassic.
 
Right, that's the relevance.
 
You're still not there, Semiclassic, but you're almost there.
But three stars? @MikeM ...
Maybe I'm wrong.
 
mmkay, so it pulls back to $\int_{f(B[0,k])}\omega$
 
2:48 AM
Hirsch is also where I stole that question about smooth retracts, @MikeM.
Un-pulls back, yes, @Semiclassic.
 
siiigh
 
Hirsch has a lot, lot, lot of fantastic questions.
 
which I want to say means it's just the volume of $f(B[0,k])$
 
Well, I did recommend it to you emphatically, @MikeM, didn't I? :P
be careful, @Semiclassic. Think about the 1-D case.
 
probably a good recommendation
 
2:49 AM
He has a question where he implicitly wants you to prove Morton Brown's theorem that an increasing union of $\Bbb R^n$s is diffeomorphic to $\Bbb R^n$. I have no idea how to do that.
Or maybe explicitly. I don't remember.
 
in which case it's just $\int_{f([-k,k])}dx$ where $f(x)=0$ for $|x|>r$
 
Even proving a convex set in $\Bbb R^n$ is diffeo to $\Bbb R^n$ isn't that easy.
Right, @Semiclassic.
Of course, you have to decide what that really means.
 
user139655
Hello. I think that the following is not true, but I can't find a counterexample: "If $m_1$ and $m_2$ are two measures on some measurable space $(X, \Sigma)$, and if $E \in \Sigma$ such that $m_1(E) \le m_2(E)$, then for any subset $A$ of $E$, such that $A \in \Sigma$, we have $m_1(A) \le m_2(A)$". Do you have some suggestion?
 
monotonicity of measure?
Oh wait, I don't believe it.
I don't believe it.
Oh, so you're right, @Ahmed.
 
He also asks you to show that a star-shaped set is $\Bbb R^n$. That's shockingly hard.
 
2:54 AM
@MikeM: As I said.
 
hrm. i'm trying to take the triangle map as an example for $f(x)$ to see if that gives me any clarity
 
Star-shaped is worst than convex!
 
OK @Semiclassic.
I dunno, @MikeM, as the way I'd do convex is to fix a point and use star-shaped relative to it. Am I missing something obvious?
 
though, I guess the 1D case would have $B[0,k]=[0,k]$ not $[-k,k]$
 
no, @Semiclassic, ball centered at $0$.
 
2:57 AM
hmm, fair enough. back to [-k,k]
 
@Ted: God, I thought so, but I can't seem to work it out.
 
i kind've want to say it just becomes (taking $k=r$) $\int_{0}^{f(0)}dx+\int_{f(0)}^{0}dx=0$
 
I suggest Fundamental Theorem of Calculus, @Semiclassic.
(Signed area under the derivative ...)
 
don't at all see what you're getting at with the second
 
disappears
 
3:02 AM
the first makes me think it should just be $f(k)-f(-k)$ which definitely vanishes when $k=r$
which is what i was getting at when i said that the endpoints were 0 and 0, btw
 
3:35 AM
1029w
안녕하세요!
전 수학을 사랑하는 수학도입니다!
 
Korean would make great mathematical notation.
Just realized.
 
Hahaha
Why do you think so?
 
The characters look like attachments to existing notations or similar looking symbols.
 
Hahah,
It would definitely look weird to us though
 
I bet Greece has it worse off already.
Looking at our elegant equations and screaming "THAT DOESN'T MEAN ANYTHING!"
 
3:38 AM
Hahaha
I was just reading translated versions of math books
Very horrible translation in general
Recently, I got very interested in the number theory
 
 
2 hours later…
5:14 AM
Hello
 
5:34 AM
hi
I have this doubt:
$E(X|X>a)=E(X-a+a|X>a)=E(X-a|X>a)+E(a|X>a)$(By linearity)$=E(X-a|X>a)+0)$
 
E(a|X>a)=a no?
dunno what 0) is supposed to mean
 
E(a|X>a)=a why?
 
that should be obvious
a is just a
if you average the value a with itself a bunch of times, you still get a
for instance (10+10+10+10)/4=10
 
@anon got it. thanks
@anon I had a follow-up question. If possible please check math.stackexchange.com/questions/1844432/…
 
yes it's fine
doesn't seem counterintuitive to me at all
 
5:50 AM
@anon why? how do you understand it?
 
really you could say E(X|Y)=E(X-a|Y)+a for any constant a and condition Y
 
Yeah, the conditional part does not really matter here
 
if you magically made everyone on earth 2 inches shorter, you would make the average height 2 inches shorter
 
@anon The part where I am confused is that X is a random variable from a distribution, why doesn't the answer to $E(X|Y)$ depend on that(distribution).
@TobiasKildetoft yes
 
why doesn't what depend on the distribution?
(my height metaphor would be the formula E(X-a)=E(x)-a specifically)
the value of E(X|Y) does depend on the distribution of X
 
5:54 AM
@anon yes, but the $a$ part in addition doesn't.
 
take for instance averaging two values on the number line. the average will be the midpoint, halfway in between them. if you shift the two values by c units, you shift the midpoint by c units too. that is, avg(a-c,b-c)=avg(a,b)-c.
algebraically, that's ((a-c)+(b-c))/2 = (a+b)/2 - (c+c)/2 = (a+b)/2 - c.
the algebra works the same if you use more than two values, and also works the same if you use a probability distribution other than the uniform one
it might also help to think of center of mass in space. think of the density (in the physics sense) as a probability density function of a vector-valued random variable. the center of mass will be the expected value of this random variable. shifting the mass in space by a vector should shift the center of mass by the same vector.
 
Where I am confused the answer to E(X) and E(X-a) is to dependent on the distribution as well and not just a.
 
yes, the values of E(X) and E(X-a) are both dependent on X. what's your point?
the difference between them is not dependent on X though
 
@anon How? That is where I am confused.
 
I gave you three good metaphors to get intuition from (average height, midpoint, center of mass) and an indication of how to go about proving it algebraically. Have you been reading what I've written?
 
6:06 AM
@anon I read your example. I can't see how the algebra would extend to any distribution.
Say something non-linear.
 
do you have latex in chat active?
 
what does $E(X)$ mean? it means $\int p(x)x dx$. what does $E(X-a)$ mean? it means $\int p(x)(x-a)dx$. see anything you can do with that second integral?
simple: $=\int p(x)xdx-\int p(x)adx=E(X)-a$
it's the same algebra as the one I gave for averaging two values
but really if you understand the three examples I gave you it should be an intuitive fact, algebra or no algebra
 
@anon By LOTUS?
 
6:09 AM
can anyone consider this problem?
 
@AbhishekBhatia didn't know it had a name, but yes
@functionsug um, what's the problem? I don't see any problem in that image.
 
can you see this fig?
Thanks
 
yes
 
Now have see it?
 
is the problem to prove the second thing from the first? use your words man. (or lady)
yes, I see both images. there was no point to posting it twice.
 
6:12 AM
Let $\{a_{n}\} $is decreasing sequence ,and $\sum_{n=1}^{+\infty}a_{n}=+1$Prove that
$$\sum_{n=1}^{+\infty}\dfrac{a_{n}}{3^{\frac{a_{n}}{a_{n+1}}}}=+\infty$$
 
so does $\sum_{n=1}^\infty a_n$ equal $+\infty$ like the picture says or $+1$ like you say?
 
@anon thanks so much!
 
mmhmm
 
oh,Yes
@anon
 
I was not asking a yes or no question...
 
6:15 AM
 
okay
the exponent of 3 can be rewritten as 1-1/(a_n+1)
 
No, the exponent is $a(n)/a(n+1)
 
oh
 
you also see my latex
 
 
4 hours later…
10:11 AM
Now,someone have some idea?
Thanks
 
@TedShifrin @MikeMiller I saw that star-convex subset of R^n being diffeomorphic to R^n question. In R^2, that follows from Riemann mapping theorem, yeah?
I have no idea how to actually prove this, of course.
 
Hello.
I've seen that algorithms like the QR algorithm only require that you have your matrix in upper Hessenberg form before you begin, but I've also seen this shifted variant that says $A^{0}$ should be a tri-diagonalization of $A$.
What good does a tridiagonalized $A$ do?
 
11:09 AM
@functionsug Largely speaking consider the cases when $a_n$ is a constant or tends to $\infty$ as $n\to\infty$. It's just trivial.
As an example
$$\lim{N\to\infty} \sum_{n=1}^{N} \frac{1}{n}\rightarrow \infty,$$
which is the case when $\lim_{n\to \infty} a_n=1/n \to 0$.
What you're actually interested in is precisely how the terms of the latter series behave for larger values of $n$. The rest is a piece of cake.
 
11:25 AM
@robjohn hey. Are you around? Have you seen this one so far?
If $\{x\}+\{\frac{1}{x}\}=1$, then $\{x^n\}+\{\frac{1}{x^n}\}=1, \forall n\in \mathbb{N}$.
where $\{x\}$ is the fractional part of $x$.
($x \in \mathbb{R^{*}}$)
 
12:12 PM
@user1618033 This reduces to $x+\frac1x\in\mathbb{Z}\implies x^n+\frac1{x^n}\in\mathbb{Z}$ which is pretty simple by induction.
@user1618033 Kind of stupidly, we also have $\left\{x\right\}+\left\{\frac1x\right\}=0\implies \left\{x^n\right\}+\left\{\frac1{x^n}\right\}=0$
 
"stupidly"? ive never heard such language from you ;)
 
@robjohn Yeap. :-)
@robjohn Indeed.
 
@user685252 I say that only because that only happens when $x=1$.
 
I see.
:-)
 
That is better
 
12:40 PM
@robjohn I was trying to find a nice limit now involving fractional part but it seems hard to find ...
(I received it by email last days but it seems hard to find it now)
 
1:01 PM
@Owatch It depends. Note that for an unsymmetric matrix, the methods for getting the similar tridiagonal matrix require the use of nonorthogonal (nonunitary in the complex case) transformations, which are potentially ill-conditioned.
But, Lanczos manages to work a number of times anyway.
 
@Krijn Hi.
 
@BalarkaSen Ayoooooo
 
What are you upto?
 
But as soon as you have a tridiagonal matrix, you now have vastly reduced storage, and potentially an $O(n^2)$ method for the eigenvalues (temporarily ignoring the $O(n^3)$ work you did for the similarity transformations).
 
My exams are finished, so I'm reading a lot of literature for fun
 
1:07 PM
Cool. What are you reading?
 
Just started Don Quichot which is a big read, and some Dutch poetry
What are you upto?
 
I have heard of Quixote. Nice.
Nothing much, slowly trying to get back to math.
 
You were quite ill, weren't you?
 
Yes, I was, trying to get better.
 
Get well soon!
 
1:11 PM
Thanks.
 
he should be planning his get physically fit program when he feels better ;)
 
Did it trouble you with exams or things?
 
Nah, I don't have exams in like 5 months.
Last exam was ~ 4 months ago.
 
did you finish your meds yet?
 
Yep, not on meds anymore.
 
1:16 PM
cool
 
Well, any *serious meds. I am on a month long anti-allergic.
 
@BalarkaSen which one?
 
Montelukast.
 
@BalarkaSen yes, that is pretty heavy-duty. were you previously asthmatic?
 
No, not really.
 
1:20 PM
is it an inhaler?
 
@user685252 it's usually in tablet form.
@BalarkaSen I see; but for you to have been given that... you had a hell of a trip.
 
hmmm...
 
 
1 hour later…
2:42 PM
morning, chat
 
mornin
 
2:59 PM
Anybody have any idea what a Brauer group is?
 
you mean, beyond what one can gather from its Wiki page?
 
Yeah, have no idea what that's saying :p
 
given that I don't understand Morita equivalence etc etc...yeah, same
 
"For R a ring, the Brauer group Br(R) is the group of Morita equivalence classes of Azumaya algebras over R" on other pages only scares one further
 
the majority of that article seems to be for the Brauer group of a field, with a passing remark on generalizing it to commutative rings before immediately going to the Brauer group of a scheme
which...yeah
 
3:08 PM
neato concept
at least for fields
 
the field setting seems to be the technically simplest
 
azumaya algebras don't really sound that bad if you ignore the scheme stuff
 
Start with a given field K, consider the central simple algebras over K, and classify them up to equivalence...somehow
 
it's literally just like, oh well go from simple to local, and what stuff to we also need to require to still get a group
 
and then take the group operation of CSAs A,B to be their tensor product
 
3:13 PM
morita equivalence of rings $A, B$ is just saying that the categories of $A$-modules and $B$-modules are isomorphic
er, equivalent
 
sometimes, that word 'just' is a bit frustrating
 
sure, but pretend you don't need to have intuition for what that means and then you're okay
 
riight
 
basically the only important thing to know is that $M_n(R)$ is morita equivalent with $R$ for any ring $R$.
 
for any $n$?
 
3:17 PM
yep
 
i mean, for $n=1$ that's just $R$ itself
 
this is useful because it explains why the opposite algebra should be the inverse in this weirdo group, since $A \otimes A^{\text{op}}$ for a free module $A \cong R^n$ is just $M_n(R)$.
 
mmmkay
 
3:41 PM
have you guys @Semiclassical and @MikeMiller ever thought about being mods?
or at least chatroom owners :P
 
morning
 
and I'm alright
@Ted It's not enough to throw out the rank 0 points. You see from this that the open set of rank 1 points has nowhere dense/measure 0 image. But we need to deal with the absurd possibility that the rank 0 points cover everything!
Eg, think of Cantor's staircase function, though this is of course not differentiable.
 
3:56 PM
is the difference between a kernel and a stabilizer that: a stabilizer is elements in a group that commute with the subset of $G$ that is chosen. A kernel is the elements in a group that are the identity in the target set/domain?
 
00:00 - 16:0016:00 - 23:00

« first day (2157 days earlier)      last day (2868 days later) »