« first day (2128 days earlier)      last day (2807 days later) » 

12:00 AM
@ACuriousMind then again, I'm always very proud of linear algebra proofs in general
because I find them impossibly hard
but you think they are trivial
 
Yeah, I still have a hard time reconciling your knowledge in some areas of mathematics with the fact that you think linear algebra is hard :P
 
@ACuriousMind It took me maybe 3 hours to fully prove $\mathrm{GL}(n)$ has two connected components.
 
It's kinda a deja-vu from when you first came here and also knew lots of things but not what I would have thought something with that knowledge would already know
@0celo7 I would not strictly speaking call that "linear algebra"
 
2.5 of that was proving if a linear operator has a complex eigenvalue, it leaves a 2D subspace invariant.
 
@0celo7 You mean, that if $\lambda$ is an eigenvalue, $\lambda^\ast$ is too?
 
12:04 AM
@ACuriousMind No, that's trivial.
@ACuriousMind I've certainly filled some areas in, right?
 
@0celo7 Yeah, so complexify, take the eigenvector to $\lambda$ and the one to $\lambda^\ast$ - the space spanned by these two is obviously invariant, is it not?
@0celo7 A bit of topology and a lot of analysis/geometry, yes
Sadly, rather little of algebra ;(
 
A bit of topology?
I think I know a lot more
This boundary proof is just exceptionally hard
@ACuriousMind I see no need, honestly.
That might change if I decide to sink my teeth into Helgason over Christmas.
 
@0celo7 1. You still have some odd gaps. 2. You haven't asked a topology question (except for the boundary thing) that didn't involve some sort of geometry in quite a time, so I can't really tell.
 
@ACuriousMind Is 1. just linear algebra?
 
Mainly, yes
 
12:11 AM
I don't ask many topology questions because I can figure them out, duh
@ACuriousMind mainly?
 
@0celo7 In your adventures in (deRham) cohomology, you yourself noticed that you had gaps in homological algebra and (singular) cohomology. Knowing you, that's neither your fault nor something bad, but I would still show the same confusion as I did back then if I just know got you know you ;)
 
@ACuriousMind to be fair, my prof told me to read Bott & Tu and said "no homological algebra necessary"
and I had a good time, and pretty much figured it all out
I quit once it got to spectral sequences, too algebraic for me right now
I will return after formal algebraic topology
@ACuriousMind I take it back, don't call me Poincare.
I'm stuck on $\bar A=A^\circ\cup\partial A$
can I plug stuff in and use algebra of sets or is there a topological argument
 
@0celo7 can you prove the inverse function theorem directly?
https://www.physicsforums.com/attachments/inverse-1-jpg.43003/
https://www.physicsforums.com/attachments/inverse-2-jpg.43004/
https://www.physicsforums.com/attachments/inverse-3-jpg.43005/
 
No, and I don't want to.
 
But they use it in Bott Tu a lot
 
12:26 AM
I don't care.
 
and GP uses it a lot too
 
I already said I don't care.
 
@0celo7 What do you mean by "topological argument"?
 
Milnor references it on page 4
 
@bolbteppa One more thing and I click "ignore"...
 
12:28 AM
Sure you'll need to use some sort of definition of union and closure, but at this level most things reduce to rather elementary but potentially tedious exercises in set theory
 
Potentially PhD level, you mean
 
@0celo7 wow... ignore me, pretty ridiculous to read advanced books skipping the easy theorems they don't even prove, but do insane exercises from the same book
 
@0celo7 It's just using the interactions between union, intersection and set-theoretic minus, nothing fancy :P
 
I...think I have it.
 
Since this is equivalent to doing logic, one might say it's just logic, but I know how you feel about logic :P
 
12:31 AM
Seems rather flimsy
@ACuriousMind ACTUALLY
I asked my topology prof (elven wizard lord, remember), and he said that the vacuous truth thing is a convenient convention.
@bolbteppa You get to criticize how I do math when you show mathematical acumen.
 
@0celo7 It...is
The rules of logic are a convenient convention, if you wish :P
 
...
@ACuriousMind Just to be sure, $A^\circ=X-\overline{X-A}$, right?
I have a proof if it's correct, and an incorrect one if it's not :P
 
Delving into this abyss can drive a man or woman mad.
@0celo7 Yes, that is correct.
 
abyss?
 
@0celo7 The abyss that is modern logic/set-theory :P
 
12:39 AM
please please please tell me that's right
 
It appears to be correct :)
 
2 years of hard work right there
this problem has 4 parts ;_;
I just did part a
@ACuriousMind do you now see what I meant about a topological argument?
I got away with a set-theoretic proof in the end
I guess $A^\circ\subset \bar A$ is topological, but other than that
 
@0celo7 not really
 
@ACuriousMind part b was easy
a set is clopen iff its boundary is empty
 
 
2 hours later…
3:32 AM
@vzn my question on susskind's paper will be. If EPR=ER, then why we cannot create a large wormhole by bundling many entangled pairs of photons together in a small region?
 
 
2 hours later…
5:18 AM
@JohnRennie @sanya Hi & welcome
 
Morning
 
morning
How are you today
@JohnRennie how's everything with today's questions?
:D
 
Haven't looked yet. I've only just got up and I'm procrastinating before starting work :-)
 
@JohnRennie are you enjoying your procrastinating time?lol what do you do?
 
 
2 hours later…
7:37 AM
@JohnRennie Please don't close the de broglie human question until he accepts my answer :P
 
But it's a blatant duplicate...
 
If I'd known that I wouldn't have answered it, but I posted my answer and then your comment popped up
 
Anyway, closing the question does not prevent your answer being accepted. It just means no further answers can be added.
 
Oh, thats alright then :-)
 
8:15 AM
@JohnRennie The poster seems to have been misled by the accepted answer on the question you linked
 
 
3 hours later…
11:30 AM
@MAFIA36790: more $\mathrm d$'s :-)
I discovered that a while ago I made a typo when writing the Rindler metric and I've been copying and pasting the error ever since. So I've had to go back and check every post where I mentioned the Rindler metric to see if it needed correcting. That's why you saw that post suddenly appear on the home page.
 
12:24 PM
When talking about interference, is it correct to say that two waves can reinforce, instead of saying 'added together'
It just sounds alot better, though im not 100% sure its correct
 
12:51 PM
@NoahP What do you mean by "correct"? Neither "added together" nor "reinforce" are the technical terms, but if you want to use them to describe constructive interference, then I don't see a problem with either.
 
1:09 PM
@ACuriousMind should I learn linear algebra
 
@0celo7 Yes
 
@ACuriousMind My text book uses the term 'added together'
Which seems ridiculous to me
So would superimpose or reinforce be better?
 
@NoahP Why? You are literally adding together the amplitudes of the waves.
I don't think it's ridiculous, although of course "superposing" sounds more fancy :P
 
@ACuriousMind It just seems a little simple
 
@NoahP Making things complicated for the sake of being complicated is the gravest error you can ever make.
4
It's a perfectly fine word, and it describes what's going on. It's simple, but it's not wrong.
 
1:13 PM
It just helps pick up marks if you used more advanced terminology
 
And it instills a bad habit of making things look more complicated to appear smart.
 
At this level you have to play the game...
 
@NoahP Saying "I need a more complicated word for the pragmatic purpose of getting a better mark" is highly different from your earlier "This simple word seems ridiculous to me".
Which is it?
 
The first one, it just seemed ridiculous that the term 'added together' was coming up next to the word superposition
 
1:39 PM
@ACuriousMind how?
It's too abstract for me
 
Start with matrices. Matrices makes linear algebra go around
 
I don't understand matrices
As soon as they start talking about rows and columns my eyes glaze over
 
1:57 PM
Do you at least understand how matrices are linear wrt its arguments?
because that's a property commonly used in linear algebra proofs
are you comfortable enogh with basis sets and change of basis?
Knowing how far you have gone in linear algebra help us to work out what reading material might be most suit for your learnign style
 
@Secret yes
@Secret no
 
2:22 PM
@0celo7 https://www.math.ucdavis.edu/~linear/linear.pdf This might help, it goes all the way from the very begining of what is a matrix all the way to the most advanced stuff

Feel free to skip parts you already knew. Most of the stuff here there are nice illustrative examples. Major theorems have proofs that can be followed

some of the proofs use quite a lot of indice, which I assume you are quite comfortable with because of your GR background
 
2:37 PM
@0celo7 functional analysis is mostly linear algebra and topology
 
@yuggib I do not understand linear algebra
 
I was giving motivation to study it
Also, linear spaces are fun
 
@yuggib How do I go about proving something is locally Lipschitz?
 
If you're lucky, it's more than lipschitz
 
The function is in fact smooth, but I cannot use that
I want to prove it's locally Lipschitz directly from the definition.
 
2:41 PM
I want to ask why, but I feel the answer will not satisfy me :P
 
@ACuriousMind Because the prof told us to
 
Then you have to define the constant and show it is a good one
 
We haven't covered the MVT
 
Some time later, I might ask MSE what's the best way to optimise a discrete surface. Since the surface has a discrete degrees of freedom, then obviously one cannot define a notion of steepest decent in it via derivatives, or using newton method
 
You need a good guess
 
2:43 PM
it's $\sqrt x$ on $(0,1]$.
I have proved it's locally (in fact globally) Lip on $[1,\infty)$.
I need $M\ge 0$ such that $\exists \delta>0$ such that $|x-y|<\delta$ implies $$\frac{1}{\sqrt x+\sqrt y}\le M$$
pick $x$ as the fixed point
vary $y$
 
that's not the def of lipschitz
 
The reason such thought came up is because today we discussed about a computation chemistry problem and we compare how the energetics of the compound will change with the number of carbons in the compound.
 
fyi $|\sqrt x-\sqrt y|/|x-y|$ is exactly equal to what I wrote up there!
 
So the number of carbons is an integer, but the potential energy function of the compound in terms of the reaction prgress is a continous function, so the overall parameter space you have slabs of potential energy surfaces as a function of carbon no. and reacton progress
 
@0celo7 no
 
2:50 PM
if $x$ and $y$ are positive...yes
 
user116211
@JohnRennie ;D
 
user116211
Hey @yuggib.
 
Hey
 
@yuggib what is wrong with it?
 
@0celo7 take x=y arbitrarily close to zero
and try if your property above is satisfied
 
2:53 PM
@yuggib bruh
did you not see that $x$ is fixed and $|x-y|<\delta$
they can't go arbitrarily close!
 
You're writing nonsense
 
lol
do you agree or not that $\sqrt x$ is locally Lipshitz on $(0,1]$
 
$x-y=0 <\delta $ if x=y
 
@yuggib ah, well that is an issue :D
 
Anyways, I agree that the square root of x is lipschitz
Just you have to use the right definition
 
2:57 PM
which is?
wait
no, it's $\frac{1}{\sqrt x+\sqrt y}\le M$
nothing wrong with that
even if $x=y$
 
take them to be arbitrarily close to zero
they don't satisfy your conclusion
Of being uniformly bounded
Still this is not what lipschitz is
 
LOCALLY LIPSCHITZ
 
I'll stop answering
 
$f$ is Loc. Lip. on $A$ iff $(\forall x\in A)(\exists R>0)(\exists M>0)(\forall y\in A, |x-y|<R\implies |f(x)-f(y)|\le M|x-y|)$
 
Your "definition of lipschitz" is not right
 
3:00 PM
yuggib, your gravatar turned purple
 
What is wrong with this?
@ACuriousMind Is what I wrote wrong?
$f$ is Lip. on $A$ means $(\exists M>0)(\forall x,y\in A)(|f(x)-f(y)|\le M|x-y|)$
@yuggib $\sqrt x$ is definitely NOT Lipschitz in this sense
 
@0celo7 that is not what you wrote before as Lipschitz condition
 
what did i write
20 mins ago, by 0celo7
I need $M\ge 0$ such that $\exists \delta>0$ such that $|x-y|<\delta$ implies $$\frac{1}{\sqrt x+\sqrt y}\le M$$
 
and even if I am a little bit rusty, I think $\sqrt{x}$ is Lipschitz
 
@yuggib no, the secants go unbounded as $x,y\to 0$
Lipschitz means all secant line slopes are bounded
 
user116211
3:06 PM
@yuggib: You changed your gravatar?
 
Gravatars are messed up lately - there's some technical problem
 
59
Q: Why is my profile image different?

LaurelWhen I first signed up on a Stack Exchange site and got a profile image, it was this one (see my current user card I'm actually not sure what I look like any more): Later, I got Area 51 and SEDE profiles, and my user image there was a different identicon. Because reasons I already know. I wou...

 
user116211
@ACuriousMind yeh, I know that; recently it became a mess; but I thought @yuggib changed his gravatar.
 
@0celo7 it is, every uniformly continuous function is Lipschitz, and $\sqrt{\cdot}$ on a compact interval is uniformly continuous since it is continuous
@MAFIA36790 no I didn't
 
user116211
@yuggib ooh; then, it's that mess.
 
3:09 PM
@yuggib TIL $(0,1]$ is compact
 
@yuggib Every continuous function on compact intervals are Lipschitz though, so that's not interesting.
 
Also, uniform continuity does not imply Lipschitz.
@BalarkaSen Globally Lipschitz?
 
Ah, messed up. Meant to say C^1 functions.
 
@yuggib He's looking at $(0,1]$, that's not compact, and uniform continuity does not imply global Lipschitz continuity, $\sqrt{x}$ is a classical counterexample.
It's Lipschitz continuity that implies uniform continuity, not the other way round
 
That.
 
3:11 PM
ah yeah, sorry reversed the inclusions
nevertheless, your previous definition of lipschitz continuity was not right
 
I'm 99.99% percent certain we're talking about different things
 
What is le problem.
 
Show that $\sqrt x$ is locally Lipschitz on $(0,1]$
 
Oh.
 
@yuggib keeps telling me locally Lipschitz is not a thing, I think
 
3:13 PM
Well, it's continuously differentiable away from $0$.
 
@BalarkaSen No calculus.
The prof explicitly said so.
 
Boo. Then lots of manipulation, don't care.
 
It's the lots of manipulation part that I don't get
 
The proof won't be in principle distinct from differentiating $\sqrt{x}$ and using continuity of that :P
 
@BalarkaSen I think the derivative of that requires a log, no?
 
3:15 PM
Huh?
 
How do you compute the derivative of $\sqrt x$
 
By computing a limit.
 
I would try logarithmic differentiation
 
@0celo7 I think that today you're on drugs
 
No that's way too hard. You want to compute $\lim_{h \to 0} (\sqrt{x+h} - \sqrt{x})/h$.
 
3:17 PM
...
 
Multiply top and bottom by $\sqrt{x+h} + \sqrt{x}$
 
@yuggib I haven't had any drugs in months
 
@0celo7 maybe that's withdrawal then
 
@BalarkaSen I god Milnor-Stasheff from the library btw
 
Milnor is a god, yes
 
3:19 PM
@yuggib can you please explain what Lipschitz is
I obviously don't understand
and neither does my professor
@ACuriousMind In fact, $\sqrt x$ is $\frac{1}{2}$-Hölder cont., which is also a problem on my homework.
So it's unif. cont.
 
Why do you tell me that?
I already said it's uniformly continuous
 
So in 10 years when you're on that millionaire show and they ask $\sqrt x$ is $\alpha$-Hölder cont., you know that it's $\alpha=\frac{1}{2}$!
Didn't you watch Slumdog Millionaire?
 
Bleh
 
$f$ is globally Lipschitz on a (metric) space $X$ if there exists a constant $M$ such that $\forall x,y\in X$ $d(f(x),f(y))\leq M d(x,y)$, and it is locally lipschitz if for any point in $X$ there is a neighbourhood $U$ such that $f\lvert_U$ is Lipschitz
 
That's exactly what I said, @yuggib
100%
Neighborhoods can be taken to be open balls
 
3:27 PM
you said that
21 mins ago, by 0celo7
20 mins ago, by 0celo7
I need $M\ge 0$ such that $\exists \delta>0$ such that $|x-y|<\delta$ implies $$\frac{1}{\sqrt x+\sqrt y}\le M$$
and that is not the same thing
 
Which is exactly what you said!
Please show me where the difference is...
 
$\lvert x-y\rvert \neq x-y$ in general
 
So?
Do you agree that $(\sqrt x+\sqrt y)(\sqrt x-\sqrt y)=x-y$ when $x,y>0$?
 
yes but that is not equal to $\lvert x-y\rvert$
 
Re arrange to get $$\frac{\sqrt x-\sqrt y}{x-y}=\frac{1}{\sqrt x+\sqrt y}$$
do you accept this?
well, assuming $x\ne y$ I guess
 
3:31 PM
in first instance
 
but you can assume $x\ne y$ because the Lipschitz condition is trivially satisfied there
So take the absolute value of this and use the fact that $\sqrt x+\sqrt y$ is positive
 
you're just complicating things
 
what should I do then?
 
What he said is perfectly fine though. It's equivalent to the locally Lipschitz condition.
@0celo7 Though, you really need "for $x, y$ inside some ball of diameter $\delta$ in $(0, 1]$ there exists an $M$ such that" instead of what you wrote, no?
I mean, you're saying there is an $M$ uniformly for all $x, y$ s.t. $|x - y| < \delta$.
 
I don't think there needs to be a single $M$?
 
3:36 PM
But that $|x - y| < \delta$ doesn't mean $x$ and $y$ belong to a specific ball of diameter $\delta$.
 
that's certainly not possible for e.g. $x^2$, which is loc. lip.
 
@0celo7 In this? $M$ depends on $\delta$ there - that should have been clear by how I parsed the statement under the quotation mark.
Each $M$ for each ball over which you are actually Lipschitz.
 
user218912
I bought new sheets for uni and they smell like formaldehyde badly. I even washed them 3 times and they still smell like it.
 
I have never smelled HCHO.
 
@3705 What kind of sheets?
 
user218912
3:39 PM
bedsheets.
 
why the hell do you know how that smells
 
@BalarkaSen It smells sour watery...
 
user218912
@0celo7 because it's used in a lot of fabrics.
 
acetaldehyde is even worse, it has semi plastic glue liek smell
 
@0celo7 So, do you agree that your parsing of the Lipschitz condition is incorrect?
 
3:41 PM
I think what you said is what I wrote, no?
 
5 mins ago, by Balarka Sen
But that $|x - y| < \delta$ doesn't mean $x$ and $y$ belong to a specific ball of diameter $\delta$.
 
What do you mean?
 
user218912
I'm figuring out what to bring with me when I move in to campus. So far I have: shampoo, toothbrush/paste, mouthwash, cleaning supplies, clothes, bedsheets/cover, mattress cover. but I feel like I'm still missing stuff.
 
@0celo7 You should be more specific while asking questions. I have no idea what's unclear in what I said.
 
books, pencils, pens, sex toys
 
3:46 PM
@3705 towels, computer, drugs
 
@3705 bombs
lots of 'em
 
@BalarkaSen Is $|x-y|<\delta$ not equivalent to saying $y$ is in the the $\delta$-ball centered at $x$?
@3705 Gloves
 
user218912
alright: books, pen/pencils/eraser, towels and computer. I'll add that.
 
$x$ and $y$ are varying. E.g. $|2 - 3| < 2$ and $|5 - 6| < 2$.
 
user218912
@0celo7 gloves for what?
 
3:47 PM
@BalarkaSen Nay. $x$ is fixed.
We're looking at locally Lipschitz around $x$.
 
That's not what Lipschitz means.
 
user218912
@BalarkaSen xD
 
Locally!
You pick a point, look at a neighborhood of that point.
 
I really need some pictures, all this discussions is going way over my head
lol
 
If you're working locally around a $\delta$-nbhd of $x$, you should say $|f(x_1) - f(x_2)|\leq M|x_1 - x_2|$ where $|x - x_i| < \delta$ ($i = 1, 2$)
That's not what you said. You used $x$ as one of $x_1$ and $x_2$.
 
3:49 PM
Hmm
I have $x$ as one of the things in my notes
 
Then you miscopied.
 
Basically everywhere
@BalarkaSen No.
 
Then your prof miswrote.
In locally lipschitz you have to vary $x$ and $y$'s inside your nbhd.
It's literally Lipschitz on that nbhd.
 
4
Q: The definition of locally Lipschitz

RyanI am given this definition: A function $f:A\subset\mathbb R^n\to\mathbb R^m$ is locally Lipschitz if for each $x_0\in A$, there exist constants $M>0$ and $\delta_0 >0$ such that $||x-x_0||<\delta_0\implies||f(x)-f(x_0)||\leq M||x-x_0||$. Source: Marsden's Elementary Classical Analysis; note tha...

Does the pointwise thing not imply locally Lipschitz
 
Maybe it does. That's nonstandard parsing in any case.
 
3:55 PM
Balarka Sen, sometime later I might have quetion to ask you as I munch through this pile of notes to beef up my topology math.colostate.edu/~renzo/teaching/Topology10/Notes.pdf
 
unless, is every continuous function locally Lipschitz using this definition?
 
However, I can't say much about the part I can see. If in the proof (or a remark) Marsden says that that condition means $f$ is locally Lipschitz, that would be plain wrong. — Daniel Fischer ♦ Oct 8 '13 at 14:54
DanielF seems to say that's not locally Lipschitz.
I believe him.
 
My prof wrote down the thing that if you restrict the function to the ball, you are Lipschitz on the ball
then he wrote it down with quantifiers and apparently did it wrong
 
Yup.
@Secret Sure.
 
Ok I'll bring it up tomorrow but I've got homework due tomorrow on this
 
4:02 PM
@vzn I will bring this up on this week;s chat session. Hopefully by that time they have more progress
 
@BalarkaSen Oh thank god, my proof that $x^2$ is Loc. Lip. can be saved in one line.
But the $\sqrt x$ one...I must think some more on it.
Huh, I actually got the optimum Lipschitz constant. Weird.
 
vzn
@Secret looking fwd to your session, thx for bringing EMdrive to attn of group/ room. personally think it is revolutionary stuff (as far as tying in with emerging "specetime fabric" theory) but everyone else around here is like ho, hum (sigh) :( o_O
 
@BalarkaSen Ok!
@yuggib I understand now
no more dugs for me
today I quite heroine
 
they are still crossing fingers, after all it has been such a long time after many false alarms that eagleworks finally does something
 
4:18 PM
@BalarkaSen Got it.
$|\sqrt y-\sqrt z|<|y-z|/\sqrt \delta$ when $y,z$ are in the $\delta$-ball around $x$.
 
::Begin dump: Who wants to talk about topology? End dump::
 
topology is pretty boring
it's just a tool
 
what is interesting?
cause just thinking abut the chores tmr bored me so much
 
crap, that's wrong
 
In fact, its 2:24 here and I have a big but annoying day tmr, however I am like a zombie and just glued to this computer screen, talk about complete lost of motivation
Example annoying pieces of homework question generator shit I am dealing with
I am telling myself I can handle no longer, once the phD is accpeted, I ma KICK him out
 
4:30 PM
@yuggib I need help pls
I'm off the drugs
 
Help for what?
I have little time but I can try..
 
square root being locally Lipschitz
 
Mmmh
To start, are we sure it is?
 
I understand what I was doing wrong, I think
@yuggib According to Wiki, yes.
 
Ok then
Of course with zero excluded
 
4:35 PM
yes, I already showed it fails there!
 
Ok
 
alright, so here's my idea
if we take $x\in (0,1]$ and a $\delta$-ball around $x$ such that the ball contains no nonpositive numbers, then we have
$y>x-\delta$
for $y$ in that ball
So we have $\sqrt y> \sqrt{x-\delta}$
 
You have to take an y and z in that ball
 
And $\sqrt y+\sqrt z>2\sqrt{x-\delta}$, for $y,z\in B_\delta(x)$
 
Forget x
 
4:38 PM
@yuggib I think I have it
$$\frac{|\sqrt y-\sqrt z|}{|y-z|}=\frac{1}{\sqrt y+\sqrt z}<\frac{1}{2\sqrt{x-\delta}}$$
there's the Lipschitz constant.
assuming $y,z\in B_\delta(x)$, ofc.
 
Seems reasonable
The constant explodes as x gets nearer to zero, but since it's never reached it is always finite
 
yep
 
It works
 
gut
 
👍
 
4:43 PM
Are you on your phone
 

« first day (2128 days earlier)      last day (2807 days later) »