« first day (2488 days earlier)      last day (2534 days later) » 
01:00 - 17:0017:00 - 00:00

5:00 PM
yeah, it's like reeeaaally old-timey
 
First, Liad, you want to send $x$ to $y$?
 
with the "different symbols of differentiation" talk
 
Right, Eric.
 
@TedShifrin wait im not sure it is right
 
Henri is actually I really good expositer I think. I actually like his diff forms book a lot
 
5:01 PM
@TedShifrin i want to send $z$ to a vector in $B(y,t)$ that is "near" $y$ like $z$ is "near" $x$
 
@Liad: But, as I said, you want to make sure that $x$ maps to $y$ in the first place.
 
Yes you can @Vrouvrou, give me 2 minutes
 
There's beautiful stuff in the original Cartan stuff, Eric, but Robert Bryant may be one of the few who can decipher it all :)
 
@Liad, maybe think about what the homeomorphism is in finite dimensions, think about the geometry
 
@Astyx ok
 
5:04 PM
But are you sure you don't know about euclidean norms ? @Vrouvrou This really surprises me
 
@Ted yeah I really would like to understand the way Cartan thought better. I also need to get better at reading french. My deciphering of it from my knowledge of other romance languages makes it slow going.
 
The French isn't my problem, Eric. It's still hard.
I had the huge 4 volumes of complete works, but gave those away when I emptied my office.
 
@Astyx no it is not like that, this exercise is given in the cours of norms so i want to solve it with norms without scalar product
 
Well if you know the proof for scalar products you know it for norms too
It comes from CauchySchwartz really
 
Yeah, for someone who's knowledge of french is pretty basic (I should've payed more attention in school :( ) his french isn't super hard, but the way of thinking is very foreign to the modern mindset
still some deep stuff to learn though
 
5:07 PM
You have $||f+g||^2 = ||f||^2 + ||g||^2 + 2f(0)g(0) + 2\int_0^1 f'g'$ and $(||f||+||g||)^2 = ||f||^2 + ||g||^2 + 2||f||||g||$
 
@Astyx mais Cauchy-Schwartz c'est la relation entre le produit scalaire et les normes
 
Hi @Mike
 
So you want $||f||||g||\ge f(0)g(0) + \int_0^1 f'g'$$ which is cauchy schartz
 
G'night, Mike.
 
5:09 PM
@Astyx ok
 
Hi Mike
 
im getting $\dfrac{(y+||z-x|| z ) t}{||y|| + ||z-x|| ||x||}$ , is this right?
 
Why is it so hot here ? :(
 
You're making this way too hard, @Liad. How would you do it in one or two dimensions?
 
SBM
:(
 
5:11 PM
huh.
 
Remember. I've said this three times. You need $x$ to go to $y$.
 
@Liad, think about basic geometry, don't try to do fancy things
 
I'm out for now.
 
ok i will try it now.
 
Is there a scalar product on $C^0([0,1], \Bbb R)$ for which the associated norm is equivalent to (of more precise than) the infinite norm ?
 
5:13 PM
bye Ted
@Astyx no
 
Bye @Ted
@EricSilva And how does one prove that ? It feels like it's because a euclidean norm has to be global while the infinite norm is local, in some sense
 
Does the infinity norm satisfy parallelogram law?
 
No, but why is this relevant ?
 
if the norm comes from a scalar product than it has to satisfy a parallelogram law
oh you asked about equivalence sorry
 
:)
 
5:17 PM
it's still not, if it were it would be reflexive
but it ain't
 
reflexive ?
 
it would have to be isometrically isomorphic to its double dual
 
Oh interresting
Thanks
 
that's necessary to be "Hilbertizable" or whatever
it isn't a sufficient condition though.
 
I guess so
 
5:19 PM
Hi @Alessandro. I finally saw Eraserhead today :P
 
@EricSilva if the first ball is $B(0,r)$ and the other is $B(y,r')$ then we send $z$ to $\dfrac{(z + y)r'}{||z|| +||y||}$
 
you need to send $0$ to $y$. @Liad.
 
did you like it?
 
Oh man @Balarka what did you think
 
It freaked me out. IMO it's my #1 from Lynch, but I can't exactly say I liked or disliked it
But it's definitely much higher on the list than any of what I have seen from him so far.
 
5:23 PM
@Liad why don't you try to send $B(x, r)$ to $B(0, 1)$ instead?
@Balarka I would say I like that movie but I guess I'm not saying "like" to mean "enjoy" because I don't think it's an enjoyable experience
 
Yeah.
I think my initial reaction after seeing it was "oH gOd!" as uttered by the man in the background of Munch's painting "The Scream".
 
I mean the same is true of Tarkovsky
You don't finish Stalker with a big stupid grin on your face
 
Hahah.
Well Tarkovsky is not a horror movie. This one is, and quite an effed up one on that
 
@Liad not quite.
 
yea i divide by $0$
 
5:29 PM
if you want a horror movie try Santa Sangre
 
(Though Stalker is somewhat eerie but I kind of connected with the Zone)
 
and away from $0$ it would just map to the sphere @Liad
 
Say, if $T$ is compact, it's not enough to have some polynomial $p$ so that $p(T)=0$ for one to conclude that $T$ is finite rank, right?
We need self-adjoint too, I think. Also vice versa, we need compactness and self-adjoint and such a polynomial in order to conclude that, am I correct?
 
I downloaded Stalker earlier today @Balarka
 
right.
 
5:30 PM
@MikeMiller You mentioned that to me a few times. Let me strike out Eraserhead from the top of my list and put it there.
Done.
@Alessandro Let me know what you think of it if you see it.
It's one of the few movies which are very personal to me.
 
I will, I don't know when exactly with all the upcoming exams
 
You could also start checking out movies that are famous but not famously weird.
 
heh. what do you recommend?
typically I guess I like movies which have a universal story to tell, and not just an isolated story. weird stuff can communicate stuff like that imo
 
@EricSilva i think i got it . $B(0,1) \to B(x,r)$ $z \to rz + x$ , correct?
 
Yes :)
It's just similarity
dilation + translation
 
5:38 PM
Great, thanks. i dont know why i made simple thing difficult :P
@EricSilva in general , if we found a sequence in $\overline{B(0,1)}$ that does converge , but to something outside the unit ball, it was enough for showing the unit ball is not compact, am i right? be we showed $l_2$ is not compact too.
 
Nothing in that set converges to something outside the ball
it's closed so it contains all its limit points
 
well so in genral, convert the ball to a set $A$
if we show $A \subset X$ has a sequence that converge to something outside $A$ , then $A$ is not compact , correct?
 
finding somethign that converges to something outside $A$ shows that $A$ isn't closed, which is stronger than saying $A$ isn't compact, so yeah it does prove it but it proves something more too
 
5:56 PM
@BalarkaSen Anything by Herzog
Fitzcarraldo and Strozek are two of my favorites
 
@EricSilva im writing down now the proof that $l_2$ is not locally compact , and im not sure about one thing. we showed that each closed ball containing $x$ is not compact, but we need to show each $V$ nhbd of $x$ , $\overline V$ is not compact. we have that the closed ball is contained in $\overline V$ but what this implies $\overline V$ is not comapct?
 
in a metric space any closed subset of a compact set is compact
so since the ball is not compact $\overline{V}$ can't be either.
 
Two dimensional random variable (X,Y) has a uniform distribution on the unit square [0,1]x[0,1]. Find the probability distribution of the random variable Z that is the distance of the point (X,Y) from the edge of the square.
Could someone help me with that?
 
6:18 PM
If you let $dp = P(z\in[x, x+dx])$, you'll find it's $4(1-2x)dx$ for $x\in[0,1/2]$ unless I'm mistaken
And 0 otherwise
One easy way to see that is to consider $P(Z\ge x) = P((x\lt X\lt 1-x) \cap (x\lt Y\lt 1-x))$
Then use independance
So you get $P(Z\ge x) = (1-2x)^2$
 
@MikeMiller Ahh. I have seen Nosferatu the Vampyre, and I really liked it.
 
Then differentiate to get the result @user379685
 
@EricSilva great, thanks
 
Of course here I'm still taking $x\in[0,1/2]$, it's 0 everywhere else
 
@EricSilva it is true in general, not only in metric spaces.
 
6:27 PM
@Liad It's true in Hausdorff spaces.
 
@EricSilva that every closed subset of compact space is comapct
@EricSilva im sure , in general :P
 
ah yes, it should be
the proof is easy
 
yea
 
Yeah, you take an open cover of the small set and tack on its complement, which covers the larger one, then a finite subcover (minus the complement if necessary) should do it
 
Hello!! Could someone of you take a look at my question about characteristic curves?
0
Q: Characteristic curves : Why do I get different results?

Mary StarWith a given $h(x)$ we want to solve $$xu_y-yu_x=u \\ u(x,0)=h(x)$$ I have solved it using two ways. $$$$ First way: For $x\neq 0$ we get $u_y-\frac{y}{x}u_x=\frac{u}{x}$. We have that $$\frac{du}{ds}=\frac{du}{dx}\cdot \frac{dx}{ds}+\frac{du}{dy}\cdot \frac{dy}{ds}$$ Therefore, we hav...

 
6:30 PM
@Daminark exactly
 
Does anyone know of any good toy examples of Kan complexes?
 
hi chat
 
@Astyx Could you tell me why z = (x, x+dx)?
 
6:57 PM
@Semiclassical hi
 
feel tired
 
@user379685 what do you mean ?
 
i don't get any of it tbh :c
 
The points of the unit square that are at least $x$ away from the edges make a smaller square inside the first one right ?
That square is defined by $\{(u,v),x\le u, v\le 1-x\}$
 
7:13 PM
Yes they make a smaller square inside.
Do you have a picture for the square definition?
 
What do you mean ?
 
I don't really get the definition :c
the square is the set of points (u,v) where u>=x and v>=1-x?
 
No, where $x\le u\le 1-x$ and $x\le v\le 1-x$
Draw a picture
 
@EricSilva: I really wish you'd be careful about saying closed ball. To most of us, ball denotes an open ball.
 
7:26 PM
 
(Or disk, to me that usually suggests closed)
Also rehi
 
Hi @Dami
 
Yeah, disks are usually presumed to be closed balls.
Rehi Demonark, Astyx.
 
I'll be more careful, idk why but for me it's always been ball is closed and I use open ball to specify openness, but I guess this is weird
maybe I had a weird teacher at some point idk
 
Oh ok now i get it, thanks for the picture
 
7:27 PM
Since balls are a basis for the metric topology, I hope not, @EricSilva.
 
Glad I could help @user379685
 
redefines a topology to be the collection of closed sets
Though I dunno how bases would interact
 
You can define topologies by means of the closed sets, of course, Demonark.
 
I wasn't paying attention and initially misread that as "balls are a basis for merit"
 
@Semiclassic: Your problems are deeper than I'd realized.
 
7:29 PM
Oh I think it's because my functional analysis prof had this habit
 
Lol
 
I guess I picked it up
 
That's really a bad habit.
 
Smart? Or Schlag?
 
7:30 PM
I never use disks in dim > 2 personally
Smart @Daminark
 
Neither do I
 
I see
If I remember right Schlag kinda alternated
 
Topologists use disks in all dimensions.
 
But he specified open vs closed in all cases I think
 
I think I use them interchangeably
 
7:31 PM
Damn. I guess I'm the only careful one in the room.
 
generally he is kind of cavalier with these things @Daminark, it can make him hard to follow
in any event I'll try to break this habit :P
 
Clarity is important for teaching.
4
 
Nobody says ball bundle; but the 3-sphere is the boundary of the 4-ball
 
But is the 4-ball a manifold with boundary? Nope.
You get away with that one because it's the topological boundary :)
 
I think almost any 4-manifold topologist would disagree with you.
 
7:33 PM
my manifolds teacher also wasn't careful about specifying manifolds vs manifolds with boundary which I thought was more egregious
 
So you really say that open balls give the topology, rather than balls?
 
yeah
 
Now you're making me check what Munkres does.
 
[Ordinal chores] Lost track again after $C(\omega)$... will fix this later...
$$C_0(\alpha)_0=\{0,1,...,\omega,\omega_1\}$$

\begin{align}
C_\beta(\alpha)_0 & =\{\gamma,\omega_{\beta+1}|\gamma\le\omega_\beta\}\\
C_\beta(\alpha)_{n+1} & =C_\beta(\alpha)_n\cup\{\gamma+\delta,\gamma\delta,\gamma^\delta,\omega_\gamma,\psi_\Gamma(\eta)|\gamma,\delta,\Gamma,\eta\in C_\beta(\alpha)_n,\eta<\alpha\}\\
C_\beta(\alpha) & =\bigcup\limits_{n<\omega}C_\beta(\alpha)_n\\
\Psi_\beta(\alpha) & =\min\{\gamma|\gamma\notin C_\beta(\alpha)\}\\
i=\{1,2,3\}
\end{align}
\begin{align}
C_0(0)_1 & =\{j,\omega+j,\omega j,\omega^j,\omega^{\omega},...|j\in \Bbb{N}\}\\
 
Munkres agrees with me.
 
7:34 PM
Neves is better about that in my experience
 
I say balls when I mean spheres. Sometimes.
 
I guess I don't care what professionals do in advanced courses and in research, as long as they're clear to their audience. But I think those of us saying/teaching things to beginners need to be clear and careful.
 
Yeah this discussion is not for me
 
That is horrendous, @Balarka.
 
@Balarka good lord
the hollow ball
 
7:35 PM
@Balarka that's like one of the most offensive things I've ever heard in my life
 
You must distinguish between ball and sphere ... or between disk and sphere.
 
@Daminark The hollow sphere ..?
 
Runs away livid
 
lol
i knew i'd anger you with that
 
I guess I should go mop my floors to get rid of this Angst.
 
7:36 PM
Angst ? Isn't that german ?
 
isn't it danish origin?
 
Happy mopping @Ted
 
Yes, German, Astyx. I have to practice. In 5 days I need to be speaking German.
And moping, @Astyx. Thanks.
 
If it's any consolation, I often fail to distinguish between compact sets and sets
 
No, @Astyx. Mopping was correct.
 
7:38 PM
I thought it was first attested in Kierkegaard's writing
 
given a set A $\ldots$ so we take a finite subcover
 
I'm confused
 
but maybe Freud used it too
 
@TedShifrin I didn't understand the context here. Of course all notation is clarified in context; no topologist wants to confuse. I meant in that setting, not in a first course.
 
7:43 PM
Since the distribution of $(X,Y)$ is uniform, $X$ and $Y$ are independant
 
yes
 
Thus $P((x\le X\le 1-x)\cap (x\le Y\le 1-x)) = P(x\le X\le 1-x)P(x\le Y\le 1-x) = (1-2x)^2$ because $X$ and $Y$ have uniform distribution
 
yes
how did u get (1-2x)?
 
$P(X\in[a,b]) = b-a$ for $0\le a\le b\le 1$
 
ok i get it, thank you c:
 
7:48 PM
Glad to help, once again :)
 
8:27 PM
Hello @Astyx !! Are you familiar with pdes, characterisitic curves?
 
not as such but tell your problem anyway
 
@Astyx I have posted my question also in the main. Could you take a look at it? math.stackexchange.com/questions/2299148/…
 
What's $u_x$ ?
I guess all these are partial derivatives
 
@Astyx The partial derivative in respect to x
@Astyx Yes
 
I'm not sure you can identify the derivatives as easily ?
Do you have anything to back that up ?
 
8:34 PM
@Astyx What do you mean? At which point are you referring to?
 
"Therefore we have ${dy\over ds}=1$ " and so on
 
@Astyx Look for example here: web.stanford.edu/class/math220a/handouts/firstorder.pdf at page 10 (Semilinear Equation)
 
Where is a proof of what you are using ?
 
I currently study mathematics by myself and I'm going to create study group
I'm going to go through these books :
Introduction to formal logic by peter smith
Naive set theory
calculus spivak
How to prove it
 
9:01 PM
@Astyx I found that way in some notes that I found.
 
 
2 hours later…
10:48 PM
I forgot my user on chat.
 
11:30 PM
Hello all
Oh all is gone
@TedShifrin Thanks for the jumble!
 
mathematicians
 
LOL, Nate, you're welcome. Of course, some spoilsport gave away the answer.
 
11:52 PM
Who would do such a thing...
 
01:00 - 17:0017:00 - 00:00

« first day (2488 days earlier)      last day (2534 days later) »