« first day (768 days earlier)      last day (4257 days later) » 

10:00 PM
@MeAndMath You are in applied math?
 
@JayeshBadwaik yes,why?
 
Henning is always so serious. I don't understand the discrepancy between the bare foot walking. Time for blog.sharingmylackofunderstanding.nl
 
just asking. I don't know why I always thought you were studying pure.
 
@JayeshBadwaik I am a freak...
I'm in applied,but don't like applications..
 
@MeAndMath Why do you think so?
 
10:02 PM
A freak of nature.
It is fun. Nature tortures you, yet lets you stay alive.
 
@JonasTeuwen I am applied for pure and too pure for applied.my applied friends don't get me,so I usually talk to pure.
 
They don't get you. What do you mean? I also don't get you.
For I am applied?
 
@JonasTeuwen no one understans,Jonas, No one...No even my family
 
My family would be the last one to understand actually.
 
I claim no responsibility for the mathjax thing.
 
10:04 PM
@anon But I hold you responsible anyway.
@JayeshBadwaik Do you have an extra hockey stick?
 
@anon lulz (pun? what pun?)
@JonasTeuwen Already sent by DHL in anticipation of the event!
 
Grrrreat.
(French 'r')
 
@anon we all know you are behind the hacking - no point denying it
 
(Like in c'rrrr'oissant)
 
@MeAndMath No one understands me either, so don't worry!
 
10:06 PM
@JayeshBadwaik yes...that's why we're here.
@JayeshBadwaik the thing is:you're a boy,people see it more naturally.I'm a girl...people see me differently...
 
@MeAndMath about math you mean or in general?
 
is against the natural social conventions,blah blah
 
The answer is nor yes nor no, henceforth the question is wrong.
 
@JayeshBadwaik I think general...
 
@MeAndMath ohh, I guess I can understand.
 
10:11 PM
@JayeshBadwaik I am always questioning everything, going against people mentality...conventions,living inside myself...
 
That's quite female.
I do not really take other people into account.
Just do whatever seems the best. Kinda.
 
@JonasTeuwen I will take it as an offense.
 
Why? Quite a female thing to do!
 
Anyway, now that anon is here.
@anon We have the theorem about how any group is isomorphic to some subgroup of a symmetric group. Do we have something similar (most probably weaker) for monoids, semigroups?
 
women nowadays piss me off
so stupid
doing useless things...don't think with the brain
 
10:14 PM
@MeAndMath (sorry, 8-))
I also don't think with the brain.
 
@JonasTeuwen it's ok!
 
@MeAndMath They think with their tits.
 
@JonasTeuwen You are a master...in analysis..if you don't think with your brain...
@GustavoBandeira about that...
 
@MeAndMath Whoah, what would happen if I would do that then? Fireworks!
2
 
@JonasTeuwen probably.
I like people who think!
that's why I love you guys
 
10:18 PM
@JayeshBadwaik Yes. Instead of using the symmetric group comprised of invertible maps on a set, we use a monoid comprised of not-necessarily-invertible maps on a set. In particular, let X be the underlying set of the monoid M, and let M* be the subset of X^X (functions X->X) given by left-multiplication x->mx for each m in M. Then M and M* are isomorphic. Also see representable functors in category theory for a super abstract generalization.
 
@anon okay, thanks. The existence is what I needed to know! I will see it and hopefully, do something useful with it.
@MeAndMath :-)
 
@JayeshBadwaik :D
 
I have class in ten minutes just fyi.
 
@anon Or more of a press conference? :P
Anyway, thanks. I won't disturb you. I have cats to read and get joy from.
 
@JayeshBadwaik Bye!
 
10:24 PM
@JonasTeuwen bye!
@MeAndMath Bye!
I must go to sleep now, else I will have a really really bad day in about 8 hours. So, good night/day.
@GustavoBandeira Did you listen to those songs I linked you to?
 
@JayeshBadwaik goodnight again
 
How did you like them?
 
@JayeshBadwaik Bye bye!Nice to talk to you!!!SEya later!!
 
@JohnSenior Yup! Thanks again!
@MeAndMath yup see ya :-)
 
@JayeshBadwaik :D
 
10:26 PM
@MeAndMath Relax, Mary. People have different interests. It's sad because we usually try to stick with similar people and when we do that, they're not available.
 
@GustavoBandeira you're right.
TEX rendering is ok now!
 
@MeAndMath They're not available because we decide to study math, we're insane.
 
I am dissappoint. I want to see Odin's 8 legged horse!!!
 
@PeterTamaroff Try to see Squarepants Spongebob .
Is there some windows app for the stack chat?
Is there a way to render LaTeX on IRC?
@MeAndMath Vô fazer um curso de algoritmos pelo Coursera. =)
 
@GustavoBandeira good
 
10:40 PM
@anon Sorry I forgot to reply to your message yesterday
 
@MeAndMath Cê já viu coisa do opencourseware?
 
But indeed maximal compact subgroups are important
 
@GustavoBandeira yep.
 
For example, I believe the fundamental group of GL_n is isomorphic to that of U(n)
it's maximal compact subgroup
 
@MeAndMath Curtiu?
 
10:42 PM
@GustavoBandeira sim
oh listen to this!
 
hi
What should i do?
I really need to go to sleep, and use the bathroom.
But someone has been cleaning it for 30 minutes now, and it is 0:48 am!
 
@JonasTeuwen You there?
 
anyone else watching the final of the US open?
 
@JohnSenior I see murray is two sets up
 
@BenjaLim yep - but he still has a tough guy to beat ...
 
10:55 PM
@JohnSenior Do you have much experience with lie algebras and stuff?
 
@BenjaLim no experience at all with Lie algebras, I'm afraid
 
no worries
 
@anon are people complaining about the mathjax problem?
 
@robjohn Robby rob.
 
Hmmm... he's not even here. Does this mean I'm talking to myself?
 
10:56 PM
@robjohn You're talking to anonymous.
 
@PeterTamaroff who you calling Robby Rob? >8(
 
@robjohn Hey
 
@robjohn runs with fear
@robjohn But I have a question to ask!
 
@PeterTamaroff What is your question
 
@BenjaLim Spivak has a weird way of proving a continuous function is bounded.
 
10:59 PM
ok
 
Let $A=\{x:a\leq x\leq b \text{and } f \text{ is bounded above in }[a,x]\}$
 
ok
 
Oh, wait.
He says that $A\neq \varnothing$ for $a\in A$, and $A$ is bounded above by $b$
Then $\sup A=\alpha$ exists.
We then show $\alpha =b$
I think I got it.
Blergh
 
ok
good
@PeterTamaroff I mean the basic idea to prove this is
If $f$ is not bounded
say not bounded above
then given any $M$
I can choose $x$ such that $f(x) > M$
 
@BenjaLim If you go away for a while, sometimes they figure it out for themselves :-)
@PeterTamaroff Good :-)
 
11:04 PM
@robjohn I was at the coffee machine
@robjohn I am in a dilemma
My lecturer sends us a list of topics for final projects for lie algebras
@robjohn At first I thought ok, algebraic groups is ok
but I realised soon enough that it would be too advanced
 
@BenjaLim I don't know much about lie algebras....
 
@robjohn No worries
just letting off steam
@PeterTamaroff You see then for each $M_n$, I get an $x_n$
Now Bolzano Weierstrass tells me that because $x_n$ is bounded
I can find a convergent subsequence say $x_{n_k} \rightarrow x$ for some $x$ in your interval
but then $f(x_{n_k})$ does not converge to anything, contradicting continuity
 
@robjohn Rob
 
@PeterTamaroff yes?
 
What do you think?
It is easier than it looks. I guess you know that, for any $A$, it is $A\subseteq \text{cl }A$

Thus, we have that

$A\subseteq \text{cl }A$
$B\subseteq \text{cl }B$

and since $A\subseteq B$, it must be

$A\subseteq \text{cl }B$

Now, suppose that, for the sake of a contradiction, it is $\text{cl }B\subset \text{cl }A$

Then, from our last reasoning, we then have

$A\subseteq B\subseteq \text{cl }B\subset \text{cl }A$

But now, $\text{cl }A$ would not be the smallest closed set containing $A$; since $\text{cl }B$ is closed, for it is the intersection of closed sets, and $$\text{cl }B\subse
 
11:12 PM
@PeterTamaroff so complicated
 
@BenjaLim Hahahaha but he wanted a contradiction!
I delted nevertheless, for he didn't want full solutions.
 
I don't understand why do you want to prove by contradiction
 
@BenjaLim The guy wanted to.
 
@robjohn what a pro
 
@BenjaLim ?
 
11:25 PM
your edit
 
@BenjaLim :-)
@BenjaLim I've also supported his addiction to contradiction.
 
11:39 PM
@AymanHourieh Your name is peculiar.
 
@PeterTamaroff It's my real name. Sorry for not having a western-sounding name. ;)
 
@AymanHourieh Hehe I'm not blaming you for anything!
That's why I like my surname so much.
My name is too usual.
 
@PeterTamaroff I was joking. I like having a unique name.
 
@AymanHourieh I know =)
 
my name is less usual.that's why I don't use it here.
 
11:44 PM
@MeAndMath Tell your name, demon.
 
@PeterTamaroff I am not demon.You saw my name on FB
 
@MeAndMath sigh Are you not aware of the ritual of exorcism?
 
@PeterTamaroff didn't get it...
is the portuguese version of Marylin
@GustavoBandeira
 

« first day (768 days earlier)      last day (4257 days later) »