« first day (1472 days earlier)      last day (3846 days later) » 
00:00 - 19:0019:00 - 00:00

19:00
Yes, sequences are different. Sequentially closed sets need not be closed.
@DanielFischer This is not the case for nets in arbitrary topological space?
@JohnDoe ? What is the case or not?
@DanielFischer I'm missing your point when you say "Sequentially closed sets need not be closed"...I know that is true, I just don't see how it connects with what I stated previously?
19:16
I didn't know whether you knew that. Anyway, that was an example how the family of all sequences in $A$ differs from the family of all nets in $A$. The thing is that $\mathbb{N}$ is small, so you have a relatively little supply of sequences.
Hmmm, I have a fairly interesting question. How would I prove that $\cos x > \frac{2}{\pi}$ for $x \in \left( 0, \frac{\pi}{2} \right)$?
@Khallil Still not right, $\lim_{x\to \pi/2} \cos x = 0$.
Oh, I see.
The original question was to find the finite area between the curves $y=\frac{2|x|}{\pi}$ and $y=\sin (x)$.
I'm trying to sketch the curves over the closed interval $\left( 0, \frac{\pi}{2} \right)$.
The sine is concave there, so it's above the linear function on that interval.
@DanielFischer I think I get what you're saying.
Would there be a concrete way to prove such a statement?
19:27
What counts as concrete? Is the second-derivative criterion concrete enough?
Of course.
So the first derivative is decreasing over the specified interval.
Then differentiate.
The second derivative is $-\sin (x)$.
Which is negative on $(0,\pi)$.
r9m
r9m
@Chris'ssis is this clip form the movie The book of Eli ? :)
19:30
@DanielFischer Does that mean that the second derivative is decreasing over $\left(0, \frac{\pi}{2} \right)$?
@r9m Yeah. :-)
@Khallil It happens to be so for $\sin$, but generally, the negativity of the second derivative on an interval doesn't imply that it is decreasing on any subinterval.
r9m
r9m
Who the hell celebrates new year with proposing 160 Schur8 inequalities ?!! :O ..
@DanielFischer Yes that's what I thought you meant, so if a topological space is 'netially' closed(for all nets) then the set is closed.
@DanielFischer Hmmm, do you have an example for which that's true?
19:41
@Khallil Take a negative increasing function and integrate twice.
That's a good Bertrand Russel quote.
@r9m I'm preparing to lunch a new conjecture
@Chris'ssis Good appetite. What nutritional value have conjectures, though?
@Chris'ssis: It's not worth a dinner? :)
Well, wait a second ...
19:49
growls @DanielF ... Noch einmal ...
Here is a particular case $$\lim_{n\to\infty} \frac{1}{n^5} \int_0^1(x+2^2 x^2+3^2 x^3+\cdots+n^2 x^n)^2 \arcsin(x) \ dx=\frac{\pi}{10}(2\log(2)-1)$$
It looks terribly awesome!!! :-)
@r9m see above :D
@DanielF: Es ist klar — nur ein Vorspaß ...
Er, @Ted, I don't understand.
r9m
r9m
@Chris'ssis umm .. that is terribly similar to the last one .. :P
19:55
@r9m Yeah, it is.
Clearly not filling enough for a dinner @DanielF
Amuse-gueule.
Oops ... Vorspeiß?
Vorspeise
Ich hab zu viel vergessen :(
19:58
@TedShifrin habe or?
I know ... Hab' is quick speech ...
@BakarkaSen Take the splitting field of $x^3+x^2-2x-1$
@DanielFischer I only met this form in my books (so far). :-)
One doesn't learn everything from books!
@TedShifrin True.
20:01
@Chris'ssis Books tend to not teach how the language is really spoken. They stick to a more formal version of the language without short-cuts.
@DanielFischer Books are the best beginning to me though. I love to learn from books, alone.
Me too :-)
@Chris'ssis Oh, sure. Just, there's a lot not in the books that you only learn by meddling with native speakers.
@DanielFischer Of course, that's true. I know it well since I lived in Italy for some time.
@r9m So, would you finish it in the same fashion? Applying Stolz theorem once and then you're done? :D
r9m
r9m
@Chris'ssis twice I guess :|
20:08
@r9m There will be a mess I think. :-))))
Hello people.
@DanielFischer
@TedShifrin
@MikeMiller ?
Hola @Pedro.
Any news?
@PedroTamaroff Lauren Bacall died last week. A sad thing.
20:24
@DanielFischer Oh, didn't know who she was. I heard about Robin Williams. =(
@DanielFischer Oh, didn't know who she was. I heard about Robin Williams. =(
Sigh, kids today.
pouts
@DanielFischer A Brazilian guy got a fields medal!
@MikeMiller Hello MAIK.
@pedro First female winner also.
Hi @Pedro
Bacall had a full life. The suicide because of clinical depression and the onset of Parkinson's is far sadder to me.
could someone help me please, I need cos(u-v) given sin(u) and cos(v)
20:39
Hi mse people! Quick question: Can we retrieve the eigenvalues of a symmetric positive-definite matrix, $A$, given its Cholesky decomposition, $A=L^TL$? Thanks a lot!
Me too. Parkinson's is a terrible disease @TedShifrin
@JohnDoe Yes.
Apparently they also found superficial wounds on his wrist.
@Pedro @DanielF: Regarding the Brazilian Fields medalist, one of my math Facebook friends posted this article, with the comment that this is the first Fields medalist to pose topless :D
@nullgeppetto: I thought it was usually done $L^\top D L$ with $1$'s on the diagonal of $L$? What conditions do you have on the diagonal elements?
@joe cosucosv + sinusinv then use sin^2 + cos^2 =1
20:48
@JohnDoe, sorry, how does the first part help?
or second excuse me
@TedShifrin, I am not sure I see your point... Cholesky gives $L^\top L$, where $L$ is lower triangle. I think that I would take $L^\top D L$ is I applied SVD... Probably I miss something here...
@joe For the first part you need sinv and cosu but you are only given sinu and cosv that gives a relationship between sin and cos...so sin^2(u) + cos^2(u) = 1 gives you cos(u) and you can do the same for sin(v),
$2$ is a primitive element $ \text{mod} p$ for $p=3,5,11,13,19,21,...,$ and for the remaining primes, $2^{(p-1)/2}=1$. Anyone have any idea how to prove this (if it is true)?
@nullgeppetto: So tell me about $L$.
The last part is probably some trivial reshuffling of quadratic reciprocity.
r9m
r9m
20:51
@Chris'ssis runs down like a smoothie .. step 1: stolz .. step 2: change of variables + writing down as a series , step 3: estimating series as reimann sum .. $$\frac{2\arcsin 1}{5}\int_0^1 \frac{x^2}{x+1}\,dx$$ :)
maybe long calculation .. but doable :P .. I need to think of a shorter/simpler one :|
@TedShifrin, right, $L$ is a lower triangle matrix... That's all I know. This is what I implement as well...
Well, clearly that's not unique, @nullgeppetto.
@TedShifrin Isn't it unique?
ok
:)
Ah, the algorithm there gives you a unique result. But the eigenvalues won't be obvious.
@TedShifrin, hmm, so, any idea? Thanks for your time!
20:55
Different numerical techniques are advantageous for different things. I don't think this decomposition is good for seeing eigenvalues.
@TedShifrin, ok, so I need to find a numerical method that finds eigenvalues as well, right? Thanks a lot!
Whatddya want @Pedro
Hallo halloo :D
Bonjour @TedShifrin :)
Anyone got a good source of conceptual calculus questions?
Like all the concepts of calculus compiled as questions?
That sounds like something you should be able to make for yourself as you read the textbook :)
21:11
@skullpatrol I was asking this because I wanted to make one xD
I have a notebook of concepts I wanna type in LaTex
I'm wondering if I want to teach maths now.
I realized that the best way to learn it after practice is to teach it
or explain it w/e.
Have you visited the MathematicsEducators.SE site?
nop
What's it about?
Teaching.
Ah
But i'm still first year
:)
No harm in looking :-)
21:17
Sure :)
21:31
@Alyosha I'd be more likely to believe that $2$ is not a square mod $p$, but I don't think that implies $2$ is primitive.
Wait... I misread what you wrote. Are you saying that if $2$ is not a primitive element mod $p$, then $2^{(p-1)/2}=1$ mod $p$?
I see Princeton has another Field medalist @robjohn
@Alizter Exactly. My name isn't Bakarka however.
How did you arrive at that?
21:54
@Alyosha This is the so-called "Euler's criterion" as we know it. In general, $\left( \frac{x}{p} \right) = x^{(p-1)/2} \mod p$
You can prove this by noting that $x^{p-1} - 1 = 0$ in $\Bbb Z/p\Bbb Z$ and that it factors as $(x^{(p-1)/2} - 1)(x^{(p-1)/2} + 1)$. The converse is patently obvious. So your problem follows as a mere consequence.
Oh, and $(x, p) = 1$.
I meant $U(\Bbb Z/p\Bbb Z)$. Sorry.
@skullpatrol who is that?
@robjohn Manjul Bhargava.
@BalarkaSen It looks as if he squeaked by... he is already 40.
@robjohn Wikipedia says he set the record for youngest prof in the Ivy League
22:02
@robjohn He did 40 a week before the distribution. =P
@BalarkaSen as I said, he squeaked by.
Yeah
@skullpatrol What's pitiful is that the guys who write the articles in the newspaper in here don't know any math. They said that the Lagrange four-square theorem is actually proved by Ramanujan with no mention of Lagrange whatsoever and the higher-power generalization (the so-called Waring problem, really solved by Euler) is what Bhargava proved. What a bag of gibberish.
@BalarkaSen I don't know any math either, compared to you.
They say his advisor was Andrew Wiles @robjohn
It's good that some Indian descended won the Fields medal, but it is absolutely not good to override the credits to the great people who proved stuffs decades ago by Bhargava either.
@skullpatrol Yeah.
22:10
I am too old to win the Fields medal, so I will aim for the Abel prize instead.
You are more than able to do anything you set your mind to pal.
Is there anyone here who has read Lang's Real and Functional Analysis?
22:34
@JasperLoy Do you know of a good antivirus I can download from internet quick and free? My machine is not quite protected right now and I think it might be good to set up a security. The last system crashed because of a malware invasion.
@BalarkaSen If you are using Windows, the most natural antivirus is from Microsoft itself: search for Microsoft Security Essentials and install the right version.
OK.
one thing i've noted is that windows 7 is far better protected than it's earlier versions.
I am now using Linux, no need for an antivirus.
It's pretty safe without an antivirus, even though there are antiviruses for Linux too.
22:38
probably because there ain't many viruses out there for Linux.
=P. It's only popular for scientific works.
This is cute: $$\sum_{n\geqslant 1}\frac{x^n}{1-x^n}=\sum_{n\geqslant 1}\tau(n)x^n$$
@PedroTamaroff Yes.
It has a name, but I forgot. Doesn't matter anyways.
It's simple to see the equivalence once you write out the denominator and interchange the sum up.
BTW, @PedroTamaroff, I much prefer $d$ or $\sigma_0$ instead of $\tau$ =)
Makes it looks like the Ramanujan tau.
@BalarkaSen I prefer $\pi$, lol.
Not funny.
Hello @Khallil
Hey, @BalarkaSen.
How've you been?
22:51
Fine. How about you?
Cool.
That's a pretty decent place, as far as I've heard.
It is. It's even more enticing now that I can be in close proximity of a fields medalist.
(Professor Martin Hairer)
oh?
googling
Oh noes he is a probabilist.
Apparently his work with PDEs (partial differential equations) might 'end up' in the study of the climate due to it's progression in understanding randomness in a different way.
Of course, that all came from a BBC webpage, haha!
@BalarkaSen: I'm currently watching some Richard Dawkins videos, of which this (youtube.com/watch?v=5of4A7DGQvw) is my favourite!
00:00 - 19:0019:00 - 00:00

« first day (1472 days earlier)      last day (3846 days later) »