« first day (1738 days earlier)      last day (3284 days later) » 

12:18 AM
Hey guys.
I have a slight question.
So, if X and Y are topological spaces. X is compact. Let Z be open in X x Y, with the product topology.
 
I'm with you @AlpArslan
 
Sorry, Christ. Let Z be closed in X x Y.
I need to simply show that f(Z) is closed.
 
What is $f$?
 
Now, I have some intuitive idea of what's going on.
 
Small q: if I have $-\ln(x) < y$
does that imply $x > e^y$?
 
12:20 AM
Oh, sorry. f is projection onto Y.
The projection map onto Y.
 
Or $x > e^{-y}$?
 
The latter.
x > e^{-y}
Right, anyway.
 
Why? I'm getting $-\ln(X) < y ==> ln(X) > y ==> X > e^y$?
 
-lnx < y implies ln x > -y.
 
@AlpArslan, closed sets are defined in the same way open sets are in the product topology.
 
12:23 AM
Wait. Are you sure that's correct?
I could take the closed unit disc in R^2 for example.
 
Absolutely @AlpArslan
 
@AlpArslan Can you please give more detail? Why does -lnx < y imply x > -y ?
 
Oh wait.
 
With X = Y = \mathbb{R}. Then, on projection, I have, [-1,1] in X and Y.
 
Hang on, I'm going to quickly. You're right
 
12:24 AM
But, the original set is not equal to [-1,1] \times [-1,1]
Mhm.
 
I thought -lnx < y implies lnx > y implies x > y?
 
Open sets are defined as being sets such that,
If (x,y) belongs to an open set Z in X \times Y, then,
\exists U open in X and V open in Y, such that (x,y) \in U \times V \subset Z.
Basically, I can draw a small open-box around it, that still lies in my open set.
 
open sets are unions of products of open sets; so closed sets are intersections of complements of products of open sets. the asymmetry here is because that, of course, is not the same as being a product of closeds
far from it
 
Mhm. Quite.
 
Yes, I was absolutely wrong.
 
12:27 AM
No, ach, I should've done the question a lot earlier, but my brain's fried from revision. And I can't afford to waste more time on it.
But basically, what I think is, if Z is closed in X \times Y.
 
Can anyone tell me why -lnx < y implies x > -y ?
 
Then, well, I want to use X's compactness somehow, so I'm going to look for an open cover of it.
I know that the projection of an open set in the product topology is open.
 
wait, never mind.
 
Hmm.
Any ideas, guys?
 
@Newb - ln x <y implies ln x > -y.
@AlpArslan what's the question?
 
12:44 AM
So, if X and Y are topological spaces. X is compact. Let Z be closed in X x Y, with the product topology. Let f be projection onto Y. Show that f(Z) is closed.
 
@AlpArslan use the contains-its-limit-points definition of closed
 
How do you define limit points?
We're not in a metric space.
 
have you tried googling limit point?
 
Hmm. Ach.
 
consider a more fundamental exercise proving the limit-point definition is equivalent to the complement-of-an-open-set definition
 
12:52 AM
Fair.
Will do.
Is there not a direct way?
 
iunno
just the first thing that came to mind that worked
 
Considering points in the complement, finding products of open sets around them, projecting these down and finding a cover of some sort?
That's what I'd try intuitively.
 
1:41 AM
Hey, I'm working through a proof about the log uniform distribution
I'm puzzled by a particular detail
I'm curious about the "Now differentiate both sides with respect to y." step
it is not obvious to me that d/dy 1- F_X(e^-y) = f_X[e(-y)]e(-y)
 
Hello friends. :)
 
happy retirement, @AlexW :)
 
Thank you, @Ted! :) Let's hope it's not this early yet...
 
Huh? :D
 
Haha, that is, my retirement from any job, as opposed to just this one. ;)
 
1:49 AM
Oh, you'll have many decades of work ...
 
Haha, that's my hope! How has your evening been?
 
Lazy.
 
Hey guys, do you think one of you could explain to me a step in a proof that I'm uncertain about?
 
That's not so bad, @Ted. I'm looking forward to a (somewhat) lazy weekend before rolling up my sleeves again.
 
If it's what you asked above, @Newb, it's just chain rule.
 
1:52 AM
I know it's an application of the chain rule
 
So where are you stuck?
 
but what's special is that it implies
 
Why doesn't the differential of the volume of a cube equal it's area? Is it because I should express the cube in terms of it's "radius", not it's "diameter"?
 
Hiya all.
 
Correct, @31415926.
heya @nsanger !
 
1:52 AM
d/dy -F_X = f_X
note the d/dy
 
no, @Newb: d/dy F_X(y) = f_X(y).
 
oooh
 
or d/du F_X(u) = f_X(u)
 
yes, of course.
thanks! that's clear now.
 
Glad to be of service.
 
1:53 AM
hehe
 
BTW, @31415926, that very same question bothered me many years ago.
I (used to) make a point to discuss it when I (used to) teach calculus. :P
 
You're not teaching it anymore?
 
nope, @nsanger ... Presumably, I've taught my last class and given my last final.
 
How does it feel @Ted? Did the diff geo students come out alright?
 
Oh, they finally fired you, huh :D?
 
1:56 AM
no, @AlexW, it came out pretty disappointing. Out of 21, 5 didn't pass.
Yup, @nsanger.
 
Oh jeez. That's no good. :(
 
But most of them made very little effort. It seems to me that when homework counts 40% of the grade, you put 200% effort into getting a high homework score ... not to mention my 8 office hours a week.
They finally realized how incompetent I've been, @nsanger.
 
Well that's silly. What is homework for but good practice to master material?
 
Well, especially when I told them the required problem each week was likely to appear on tests/final.
Four of the final exam problems were among those problems.
 
Besides, working hard on the homework and then slacking off for the test feels like running a mile and stopping short 100m from the finish line.
 
1:58 AM
What year were most of the people in the class?
 
Wow, that's a real shame.
 
One high school junior, a few sophomores, a bunch of juniors, a few seniors, three grad students.
BTW, the high school junior had the second highest score on the final.
Without even coming to the review session.
 
Damn, that makes me feel bad!
I'm done in just a few weeks.
Still waiting on taking diff geo....
 
LOL, congrats, @nsanger.
 
Good for that kid, though.
 
1:59 AM
Wow. That must be one talented high schooler.
 
You can read my notes any time you want, @nsanger, after you learn multivariable and linear algebra.
I'm not sure he's even that much into math, @AlexW, but ...
Anyhow, see you all a bit later.
 
Hehe, I met someone this summer who helped a few professors write a textbook on real analysis his freshman year of high school.
 
That's crazy!
Take care, @Ted :)
 
Later @Ted.
Yeah, he took graduate algebraic geometry at Harvard his freshman year.
Whatever :/
 
There's a chem major in my real analysis class and today we were discussing Lesbesgue measure and he was very knowledgeable in the subject
 
2:03 AM
Hello Math SErs
Two things:
1) I got accepted to a top-20 M.S. stats program. Excited!
2) I got an interview with Mayo Clinic today and am HOPING on an offer.
 
Congrats @Clarinetist
 
Good for you on both counts!
 
Mayo Clinic is that self-diagnosis website I always see on Google search results when I look up symptoms that I have
 
And if 2 doesn't work out, I have another offer waiting for me :)
 
user147690
@Clarinetist Awesome man
 
2:04 AM
Congratulations @Clarinetist!
 
Hello! Does anyone know if this (math.stackexchange.com/questions/102476/…) is true for Riemann-Stieltjes? I did not found the question on the site, but sometimes I can't find questions and I accidently make dupplicates :/
 
2:21 AM
@AlpArslan Do you know that if $X,Y$ are topological spaces and $A,B$ are compact subsets, and $A \times B \subseteq O$, where $O$ is open, then there are basic open sets $U,V$ st $A \times B \subseteq U \times V \subseteq O$?
 
user147690
2:32 AM
Have you read Terry tao's write up on extensions? @Paul
 
@AlexClark No do you have a link?
 
user147690
I am reading it now
 
Did the talk go well, or havn't done it yet?
 
user147690
Not yet, I will do it eventually a haha
 
user147690
2:33 AM
He is just going to do a few each lecture until they are all done it seems
 
Looks like a nice post
 
user147690
So if we have $0\to K \to G \to H \to 0$ is a short exact sequence, where $G$ is an extension of $H$ by $K$
 
user147690
Then we can call $H$ the base of the extension and $K$ the fibre
 
I guess so, if that is what he said, I don't think I have heard that terminology
 
user147690
Yeah he was probably trying to relate it to something that I haven't dealt with before
 
user147690
2:44 AM
E.g. Fiber bundles
 
It might come up more in other situations, since fibres are the preimage of points
 
user147690
I like this sentence: $G$ is abelian-by-finite if $K$ is abelian and $H$ is finite, but finite-by-abelian if $K$ is finite and $H$ is abelian
 
I think there is a more general product used in other situations, called fibre products
 
2:55 AM
I don't think it has much to do with fibre products, not sure. I think its just called that because $K$ is the preimage of the identity (since its the kernel)
 
3:11 AM
introduction to analysis final tomorrow morning :s
hold me I'm scared
closes door
there, now my room is closed
so my room's complement is open
2
 
user147690
3:37 AM
Hey @Ted
 
Hi Alex ...
 
...
 
user147690
@TedShifrin Why are you dotting me again?
 
user147690
@TedShifrin Do people respect certain fields of math more than others?
 
depends on the people
for most people the answer is 'yes, absolutely'. what those fields are depends very strongly on the person you're talking to.
 
user147690
3:44 AM
At my uni, people disrespect civil and environmental engineers and everyone respects mechanical engineers
 
user147690
And a student with interests in functional analysis mainly made a joke about algebra being finite so it is easy and uninteresting
 
right, this depends on the person
my general philosophy is that looking down on other fields as being easier than yours is douchebaggery
 
user147690
@MikeMiller Agreed, I was hoping this wouldn't be a repeating theme
 
if you're asking if there is a general concensus that algebra is easy, then no, absolutely not
(also finite? lol)
 
user147690
I can't really remember what he said, it was weeks ago, but I overhead other students saying stuff about analysis being the hardest, which seems weird since you can learn any subject limitlessly
 
3:50 AM
I guess that means infinite combinatorics is the hardest field of math, so it is the best and everyone else is a bunch of bumbling idiots
 
user147690
lmao
 
And I guess that kid must think figuring out what the Ramsey number $R(6,6)$ would be easy, after all its finite.
Generally, people who make comments like that are ignorant
 
user147690
4:06 AM
He is actually a brilliant student, so I was pretty surprised he said that
 
Morning guys....
 
Sometimes it is fun to make fun of other fields I guess, ripping on engineers and math ed was sort of the thing at my school, but that was partly because they essential "bring down" math classes that math majors have to take.
 
People in my school think math is something that only a prodigy can handle....lol!!!
 
Which clique makes fun of the pure math majors?
 
Probably everyone else :P
 
4:12 AM
Psychiatrists, I think
 
If they even know that we exist
 
Doctors I think
 
meh
just wrote up a long answer when I realized there's a much easier example
 
Bonus material for your blog
 
nty
 
4:16 AM
That's OK, we know you just like seeing things typeset. The more the merrier, right?
 
If you bought a domain, does wordpress support just using that domain name?
 
I think so
Actually surely it does
 
Yea it does
 
Like it without the .wordpress.com
 
Yes
 
4:18 AM
Cool,
 
user147690
5:04 AM
@PaulPlummer Yes, see my domain :P
 
Ah, the way you have it linked it shows the .wordpress but when I actually go to the site it doesn't
@AlexClark Where do you have it hosted?
 
user147690
@PaulPlummer Dunno, I just used the option on wordpress and it picked a domain for me
 
Does wordpress host people?
 
I don't know if they're the ones doing the hosting but at the very least all the business goes through the
 
user147690
@PaulPlummer I don't think so, I just think they are the middle man
 
5:16 AM
Okay, how does this name sound: mathsalad.com?
 
user147690
@PaulPlummer I read that as 'maths lad' twice, might be an aussie thing
 
Probably, damn everyone else and their maths
math-salad
 
I have created a website!!!!
 
user147690
Call it Paul Mather
 
user147690
Nah I dunno, names are hard, Math-salad is alright I suppose
 
5:18 AM
Its a play on the phrase word salad
 
isomorphic restorations
 
user147690
@Rememberme Your website is called that?
 
Yes!@alexC
 
user147690
This chatroom is blog central now haha.

Paul
Me
Mike
Sayan
Eric
 
@PaulPlummer: Have you considered "ConcernedAboutDyingInTheFire.wordpress.com"
2
 
5:19 AM
lol
 
user147690
@MikeMiller lmao this again xD
 
Haha, No I have not considered that
 
I think it's a great name and you should give it a shot.
 
Why didn't you give it a shot?
 
good point
 
5:20 AM
Peer pressure
 
peer pressure??
 
user147690
Has balarka got a blog yet?
 
Nope he is not the blogger type
thats what he says
 
user147690
I swear he said he was tempted to make one
 
he will be after all of this
 
5:23 AM
see also 8m20s-8m55s
 
@MikeMiller The phrase "Have you considered ____?" reminds me of this meme
It's just such a polite way to spread the Good Word.
 
user147690
@MikeMiller What the heck did I just watch 5 minutes or so of lmao
 
great show
 
@MikeMiller Wow, I am surprised I have never heard of it, its great!
 
there's something wrong with the way this is shown, I think it dims the edges to avoid being caught by youtube checks for copyrighted material
Watch it on projectfreetv or something
 
5:31 AM
terrytao.wordpress.com/career-advice/… Pretty good and well written
 
user147690
5:43 AM
When my semester ends I am going to overhaul my own blog, not entirely sure how yet, but my situation is different and the challenge in its current form is mostly redundant
 
Yah, planning things that far ahead never really works out, and it is always more than you feel like it is
 
Point
 
user147690
@PaulPlummer Indeed to both points
 
And what do you mean by it being redundant
 
Ted has a blog??
 
user147690
5:45 AM
@PaulPlummer No longer useful
 
user147690
@PaulPlummer It was originally intended to give me stronger direction and motivation, now my direction is better defined and I have better textbook choices, and mostly I don't need that form of motivation anymore
 
Makes sense.
 
user147690
I would be more interested in working through D&F than doing most of those textbooks at this point
 
user147690
D&F, Munkres and Hatcher
 
user147690
Although I wouldn't know enough about Hatcher to commit to it, I am doing Munkres and Armstrong now and enjoying them
 
user147690
5:49 AM
(doing these in preparation for Hatcher & my algebraic topology course that's next sem)
 
6:13 AM
hi@robjohn
 
it's too cold
 
its too hot
@MikeMiller Please stop ignoring me
 
6:30 AM
Can anyone plz explain me that how can I find the solid angle due to a triangle kept at a distance from origin? :/
 
user147690
6:45 AM
@Rememberme He'll talk to you when he is interested in what you have to say(e.g. when you are doing more advanced math)
 
7:11 AM
@AlexClark I don't think I have ever said that.
 
user147690
@BalarkaSen Yeah I couldn't find any record of it, it must have been Paul who said that
 
told ya
Howdy!!!@Balarka
 
I have still got loads to learn. I'll just embarrass myself by opening up a blog.
hey @Remember
 
Learning some blog software...
 
@Balarka I just started isomorphisms and they are really so fascinating
 
user147690
7:13 AM
Isomorphisms of what?
 
This blog mania is getting into my nerves. :P
@Rememberme Vector space isomorphisms?
 
yes
 
Haha
Its where I am going to put that small cancellation stuff though
 
user147690
@BalarkaSen Getting on your nerves(as in annoying you) or getting into your nerves(as in making you want to do it also)?
 
the trick to solve the Riemann hypothesis @Paulp
 
7:15 AM
You forgot "this one weird trick..." it doesn't work without that phrase.
"This one weird trick to solve the Riemann hypothesis that number theorist don't want you to know about"
Thats how you get clicks
 
lol nice
let me assume 300K clicks
 
well, not by ones from people you want clicking you
 
from random people
 
@MikeMiller You mean gullible people who will give you money?
 
exactly
I don't know cranks to be the paying type
 
7:18 AM
Maybe that will be how I title everything in a blog, "This one weird trick..." sort of like how some shows always have a similiar title like "Mr Monk and ____" or
something else
 
what a great show
 
Oh yah, I liked that show alot.
 
@AlexClark you know what i meant.
 
user147690
@BalarkaSen I actually don't haha
 
the former.
 
user147690
7:28 AM
Really? You are against the blogs?
 
nah, I am not.
 
user147690
What about helpful blogs like Terrance Tao's blog?
 
I just don't want to write a blog.
I read blogs if the posts are worthwhile, on the other hand.
 
balarka is the next fermat!!!!!!!(secretive work) :p@AlexC
 
Fermat didn't do any secretive work, I think. He just didn't have a proof of FLT, so wrote up a bluff on his margin.
 
7:31 AM
weren't those supposed to be his notes to himself, rather than others? seems more likely he just later realized his proof was wrong
 
Oh how humble of you, so you are the next Gauss :P @BalarkaSen
 
@MikeMiller that's possible.
 
ie though he could prove it with descent arguments like the $n=4$ case and then it just didn't work
 
First time in this i have seen Mike talking about number theory
 
I think I saw him talking number theory to some guy trying to find quadratic residues or something
 
7:34 AM
but it was bluff nonetheless, realizing a proof his wrong yet writing up that he had one in his margin.
@Remember Mike knows more number theory than you think he does.
 
I know that isnt that obvious.......but he never talks about it@Balarka
 
Sometimes people think they have proofs of things, when they don't
A funny example of this is the question on the amenability the Thompson group $F$, which has had quite a few pretty serious, failed attempts
 
@PaulPlummer mumbles something about handwaving, but remembers that he does that too
 
@BalarkaSen Not sure if you mumble or you are saying that as me :D, either way your probably right
 
I am the one mumbling :P
Of course, everyone knows I love to handwave without proof.
 
7:42 AM
@Balarka: No, I mean he wrote it down excitedly only to later realize it was wrong. Just 'cuz he didn't expect anyone would read his personal notes, so why would he lie to himself?
 
oh, i see. that's possible, i guess.
lol, all this discussion about FLT steered something in my memory. One day I was in my prof's office doing some algebraic topology. After a few knocks, a guy came in and excitedly said something about reviewing a proof, not even bothering to introduce himself. It turned out that he was an electrical engineering (?) student and his "proof" was a proof of FLT.
 
Hahaha. I think I read a post on one of the stack exchange sites of a math guy being paid to proof read some biology persons "proof" of something, and I think it was FLT.
 
yeah. you can read about a bunch of these crankish guys and his letters in Underwood Dudley's book. be advised though, I will not be responsible if you get stroke out of excessive laughing.
the title's "A budget of trisectors", i think.
i've never seen a crank in real life though, so that was a different experience. prof simply gestured him out and referred to a number theorist in a nearby uni :P
 
7:58 AM
You should take a look at this guy arxiv, webpage and this "discussion" where he responds in true crank fashion " he should effort himself to understand what these works say " @BalarkaSen
Apparently he actually works at the university as a professor... tenure?
 
who?
 
The person I linked too, Agostino Prástaro
 
oh, I see.
huh, he seems to be claiming to have proved the BSD conjecture
 
Basically if its open, he "proved" it
 
user147690
How do I get to the comment pages @Paul?
 
8:03 AM
Hmm?
 
user147690
Oh nvm, I misread something
 
user147690
I read Comments: 34
 
user147690
Instead of: "Comments: 34 pages, 6 figure"
 
Still not sure what you are talking about
 
lol, all odd numbers are primes.
 
8:06 AM
All odd numbers are prime.
 
user147690
Like 15
 
yeah
 
user147690
I wonder what would happen if the RH was solved
 
It has been solved! @AlexClark
 
user147690
If it was long, professors wouldn't want to announce it first in case there was an error they missed right?
 
8:07 AM
Didn't you check my links
 
user147690
@PaulPlummer I did, I was looking over it
 
user147690
It looks extremely advanced
 
user147690
I can't find anyone who has explained why it is wrong yet
 
Oh and check out his cv, its 63 pages and has plenty of pictures
 
user147690
@PaulPlummer LOL
 
8:19 AM
he also prove the Poincare conjecture using his methods
 
The weird thing about him is that it seems like he actually studied math, at least mathscinet gives that impression, a lot of stuff on PDE's
 
8:39 AM
@Chris'ssis Sorry if I quit in the middle of our conversation yesterday, my connection crashed.
@robjohn data.stackexchange.com/math/query/311528/… this one shows your top 10 most downvoted
 
 
1 hour later…
9:50 AM
@Hippalectryon The one I use shows all and gives links to click
 
@BalarkaSen can you help me with a bit of linear algebra?
 
Its given that T is a linear operator on V suppose that the rank (T^2)=rank(T) prove that the null space and the range are disjoint i.e they have only the 0 vector in common
Can i say that ker(T^2)=ker(T)@Balarka
 

« first day (1738 days earlier)      last day (3284 days later) »