« first day (3648 days earlier)      last day (1668 days later) » 

00:50
0
Q: Positive Elements in Real Vector Space with a Linear Involution

user193319Let $V$ be a real vector space equipped with a linear involution. Let $V^h := \{v \in V \mid v^* = v \}$ be the set of hermitian elements. I am reading a paper and the author claims that there is a distinguished cone $V^+ \subset V^h$. What exactly is this distinguished cone? How does one define ...

0
Q: "Algebraic" Topology (Finest Locally Convex Topology on a Vector Space)

user193319Let $V$ be a $\Bbb{R}$-vector space. In the paper I am reading, the author wants to "...equip $V$ with a locally convex topology, called the 'algebraic topology' (also known as the finest locally convex topology), by declaring that any convex set $C$ such that $int(C) = C$ is open." Why is this...

 
1 hour later…
02:13
@user193319 did you see the encyclopedia of math link earlier?
I think that's the topology you are using
Also, if you're going to ask it as a Question, probably good to link to the paper (even if its behind a paywall)
02:26
@BalarkaSen what dostoyevsky to read first?
@user193319 ah, yes, a subbase, not a basis. sorry! havent cared about an abstract topology for years... :P
03:02
@CalvinKhor read Notes from The Underground for a first read
if you like that read Crime and Punishment
ok, ty
 
2 hours later…
04:59
How can I prove: no matter how small interval I take containing $0$, there will always be a number of the form $\frac{1}{\pi/2 + 2\pi n}$ in it ($n \in \mathbb N_0$)
??
What I want to know is if I take a small enough interval and say “$~|\sin (1/x)| \lt 1/100$” in that interval, I can disapprove it by saying “that interval” contains a number of the form $\frac{1}{\pi/2 + 2\pi n}$ and hence $\sin (1/x)$ is 1 for a value in that interval.
I know that we can make $\frac{1}{\pi/2 +2\pi n}$ as small as we like by taking a sufficiently large $n$, but what I don’t get is that it will always occur in every interval no matter how small.
Context: I’m trying to prove that limit of $\sin(1/x)$ as $x$ goes to zero doesn’t exist.
@CalvinKhor Dostoyevsky wrote hard and complicated novels, for example if you read Crime and Punishment (its one of the greatest works in Literature) you will find difficulty in understanding the condition of Raskolnikov, the novel starts very strangely (I think by soliloquy or self-talking/thinking).
Leo Tolstoy is very simple to read and understand and I must say Tolstoy’s writings are of different domain.
Tolstoy and Dostoyevsky wrote about different things
Doesn't make sense to compare them; they are from different times
Dostoyevsky is more comparable to Gogol than anyone else in Russian literature
05:18
just realized that didn't make a shred of sense
it is 1:18 in the morning
Tolstoy and Dostoyevsky are very much of the same time, former is from 1828-1920 and the latter is from 1821-1881
And I never said they wrote about same things and I never compared them. I just said Tolstoy was simpler.
look at this metric $ds^2={1\over u^2}du^2+{1\over v^2}dv^2\ .$
@Knight did you look at this metric?
05:52
Yes I can see it :-)
06:25
@Knight you need to write out "$\frac1n\to 0$ as $n\to\infty$" as an $\epsilon-\delta$ statement in full detail
@Knight And also this one, formalise it completely with "for all"s and "there exists"
07:00
@Thorgott hab gerade auch die Note für den Algebra Vortrag gekriegt, nochmal eine 1,0 :D
07:15
@CalvinKhor When I take an interval containing $0$ do I need to take the number to both the sides of zero? Won’t just the positive ones gonna work? For example taking $0$ as one of the end points and taking all number with $\delta$ of it?
@Knight define what you mean by "interval"
yes, positive ones will work
@CalvinKhor Interval is a collection of real numbers.
(thanks for asking me that question, it really made me to think hard).
@Knight so is $\mathbb R \setminus \{ 0\}$ an interval?
an interval is a set that looks like $\{x\in\mathbb R: a < x < b \}$, $a\le b$, ( $b< a$ also allowed but then the set is empty), the other sets that are also intervals come from replacing one or two $<$s with $\le$, or by only having a one-sided condition $\{ x: a\le x\} = [a,\infty)$ or no restrictions (so the whole line $(-\infty,\infty)$ is an interval)
07:34
@CalvinKhor What does that \ refer to?
does it mean $\mathbb R -{ 0}$?
how can you subtract a number from a set?
but yes, what you are trying to write is what I wrote
this is a bother so you can just restrict your question earlier to just open intervals containing 0 (these are the ones like $(a,b)$) or closed intervals (these are $[a,b]$) but for the first kind, there are no open intervals containing 0 where 0 is an endpoint
does it mean $\mathbb R -\{ 0\}$
Yes, but its not 100% the same as subtraction because you can have $A - B = A$ even when $B$ is not a trivial set, so I will refuse to write it using a minus sign
Why when we try to prove the limit a function when $x$ is near to 0 we have to take an interval containing points on both the sides of 0?
This is because you chose to ask about a limit, whose definition includes an arbitrary open neighhbourhood (with one point deleted) around the point of consideration
as mentioned an open neighbourhood of a point cannot have that point as one of the end points
if you want to only look at one side, then ask for a one-sided limit
07:41
Okay ! Got it
Thank you Calvin
 
3 hours later…
10:31
@Edward Glückwunsch!
10:41
The mapping class group of a manifold $M$ is interpreted as the group of isotopy-classes of automorphisms of $M.$ How can I convince myself that $MCG(M)$ is always a discrete group? And is there a continuous analog?
11:00
@Thorgott danke hehe
@BalarkaSen I'm reading that at the moment, weird coincidence
I read The Gambler before, liked it, and decided to try Crime and Punishment
 
1 hour later…
12:11
@Thorgott and another seminar on the local Langlands correspondence for GL_2 was just announced
I love Heidelberg
lol
you guys are crazy
I might just take like 50 seminars and not do any lecture courses hahaha
a course on p-adic Hodge theory was announced too but
idk there's so many courses I wanna take and I can't take them all lol
Hey @AlessandroCodenotti
Hi @Paul! Long time no see
yeh been a while
12:26
Still doing ggt?
Mostly, some of it with applications to low dimensional topology and some just low dimentional topology stuff
I see, sounds cool
Are you doing some ggt and analysis stuff?
I submitted my master's thesis today, it was mostly about asymptotic dimension in the end
Now I'm looking at stuff that will hopefully be useful for my PhD
@Alessandro congrats
12:31
I'm a bit busy right now but I can tell you more in half an hour or so
Thanks!
@geocalc33 This is not true in general, at least with natural topologies, but is true for compact manifolds. The natural topology to put on the space of homeomorphism of a manifold is the compact open topology and since for compact manifolds you get uniform convergence you get sequences of functions converging to something isotopic will eventually be uniformly close to something isotopic to the identity and just perturb to get the sequence was eventually just functions isotopic to the identity
Cool, sounds good
Well, I shipped it from Italy today, it needs to get to Germany first and I don't trust the Italian post service lol
Hah, they don't accept digital copies?
They do because of the virus but only temporarily and you still need to hand in a physical copy eventually
@geocalc33 Also what do you mean by continuous analogs? I guess the space of homeomorphisms is a sort of continuous analog.
One of the things I have been working on is coming up with an independent "elementary" proof that quasiisometries of the curve complex of a surface is close to curve graph automorphisms. Curve graph is a graph where vertex is isotopy classes of simple closed curves and you get edges if there are representative that are disjoint.
12:39
@EdwardEvans @AlessandroCodenotti does nobody say "mein vergessen" anymore?
Mein vergessen?
@geocalc33 An example where it is not true: consider a surface where you keep on taking connect sums of tori going out one directions ( "looks like" 0000000....) then take a sequence, $f_n$, of mapping classes where $f_n$ is a dehn twist on the "nth tori" then the sequence converges to the identity
@PaulPlummer what I mean by continuous analogs...and I probably don't understand enough about this I'm just curious..but from what I understand there's discrete groups and then there's Lie groups, and I'm just wondering if there's a decent way to understand why the MCG is discrete and why it can or cannot be made into a Lie group I guess
discrete groups are Lie groups
at most countable, I should add
Well it is a 0-dim lie group
I have heard people say the the space of homemorphisms or diffeomorphisms is sort of an infinite dimensional lie group, but I don't really know how useful or "true" that is
12:50
okay well at least I learned a few tidbits thanks
I think I read somewhere that diffeomorphism groups are Fréchet Lie groups
can you do mapping class group stuff with Riemannian manifolds with everywhere non degenerate metric tensors
Yah. Like looking at isometries up to isotopy or even isotpies which are isometries the whole way...
I think you can basically do the same idea with any kind of structure (like say symplectic mapping class groups)
13:06
@Thorgott Yeah, this is a nice motivating idea but not very useful
I wonder how difficult it is to prove that every finite group is a subgroup of the mapping class group of a closed orientable surface. It sounds like an incredible result!
Eh it ends up not being that interesting
Note that $\text{Diff}^r(M)$ is not even a $C^1$ Banach manifold modeled on $C^r$, because composition is not differentiable, iirc
@geocalc33 It can actually be an exercise especially if you find the right idea
If you want a hint I could give one
Hey Mike
13:10
@Paul I should probably become more familiar with manifolds and Riemannian geometry first before I embark on that, but please give me the hint and I'll save it for later
@PaulPlummer I don't really know what those things are
@geocalc33 You don't really need Riemannian geometry. Think about Cayley graphs of finite groups
@AlessandroCodenotti The vertices of the curve complex are the isotopy classes of closed simple curves on a surface
simple closed curves are closed curves which don't intersect
Hm, what are the faces?
13:12
Faces you just fill in if there is a 1-skeleton of a simplex
Oh you wrote the edges above, sorry
you also fill in the higher simplices
Ok so this is some sort of combinatorial model of the space even though I can't quite tell how much information about the space it encodes?
Sort of. The mapping class group acts on simple closed curves and it turns out that the automorphism group of this simplex is the mapping class group (including orientation reversing)
It is a "nice" geometric space to act on. Remarkably it is delta hyperbolic
and infinite diameter outside of some trivial cases (and there is a slightly different def for torus, once punctured torus, and annulus)
if a lattice is quasi-isometric to a plane then do you lose information about the dynamics on the lattice when you view it as a plane?
and by dynamics maybe consider the modular flow on the lattice as an example
13:31
@PaulPlummer ah ok, that's interesting
13:49
Hi everyone today our teacher gave a question on p and c
Question state as I have cube of six surfaces and I have the six different colour and we have to paint the six faces such that the two particular color should always paint on the sides whose edges are marked with the rest of the four colors I need to find all the possible cases
It look like a impossible task for me~
Any help or guidance will be helpful
@robjohn
Hi
Good morning sir
It's a "silly" question but:
How do I solve:
$ x'(t) = \int_0^t f(s)ds $
For x?
How do I simplify the expression?
Yes, how do I essentially solve $ x''(t) = f(t) $ for $ x $
Symbolically
14:07
differentiate
f(0) should be known
No, I want an expression for $ x $, I need to integrate.
14:21
Okay so I get to:

$ x(t) = \int_0^t \int_0^s f(r)dr ds $

Now I'm supposed to swap the order of integration somehow, which I don't understand.
Oh, I forgot to mention that I know that $ x(0) = 0 $ and $ x'(0) = 0 $.
 
2 hours later…
16:15
@Knight Not in the literary sense, no. Dostoyevsky wrote about a time ahead of him
None of his characters makes sense in pre-Soviet Russia. They're lunatics.
@AlessandroCodenotti the gambler is quite good
@moteutsch Yes, switch the order of integration. Draw the region $\{(r,s): 0\le s\le t, 0\le r\le s\}$. This is a right triangle. Now ask. What are the smallest, largest values of $r$ in this region? For fixed $r$, how does $s$ vary? Draw the picture.
@EdwardEvans I heard that "vergessen" used to take the genitive
Hi, bye for now, a @Balarka.
Ditto to @Leaky.
@Yuvraj Hello. What's up?
@Leaky wasn't aware of that lol, but that's the origin of the word Vergissmeinnicht apparently :P
16:22
@robjohn confuse and tense due to that question
@BalarkaSen yes, I liked it
@robjohn hello sir.
in Basic Mathematics, 26 mins ago, by Knight
My book writes :
A stationary point $x^{\ast}$ is stable if given any $\epsilon \gt 0$ there exists a $\delta \gt 0$ such that
$$
| x_0 - x^{\ast}| \lt \delta \implies |x(t) - x^{\ast}|\lt \epsilon$$
in Basic Mathematics, 26 mins ago, by Knight
the differential equation is $$ \frac{dx}{dt} = f(x)$$
in Basic Mathematics, 25 mins ago, by Knight
I understand that $x^{\ast}$ are the points such that $f(x^{\ast} ) =0$
I cannot understand stable points, because in both of the inequalities we got $x^{\ast}$
and hence I'm a little confused.
@BalarkaSen Dostoyevsky died in 1881, how come his characters don't make sense in pre-Soviet Russia?
@Knight That's the fascinating part. Try reading him!
I read Crime and Punishment.
His novels peer into the future to Soviet Russia
Crime and Punishment is not so political, but it's still there. This is a distinctive feature of Demons
16:27
I read Karamazov Brothers
Oh then it should be more or less clear that he's predicting Soviet Russia
Did you ever go for Joseph Conrad?
Yes, but I couldn't read Victory, it was too much gossip and I ended up being bored
Heart of Darkness is a fine writing
@BalarkaSen I don't think so, his novels are mostly about inner self.
@BalarkaSen No, it's not fine, it's beyond what a human species can think and do.
I didn't like it that much
@Knight Well, trying reading some proper analysis -- I am not the first one to mention he's predicting Soviet Russia
This is a standard paradox about Dostoyevsky
16:29
@BalarkaSen I know some people do say that.
@TedShifrin Thanks, that was very helpful! So I get:

$ x(t) = \int_0^t \int_0^s f(r) dr ds = \int_0^t \int_r^t f(r) ds dr = \int_0^t (t-r)f(r)dr = t^2 - \int_0^t r f(r) dr $

Right?
But when I read Fyodor my focus in not much on politics :)
His major focus was politics; he was defending Christianity against communism and imperialism, in his words.
He's not a psychological author like most people make him out to be, although his novels have psychological elements to it
@BalarkaSen That's what the critics and analyzers have to say
@Knight No!
It's his words
I am quoting him
16:31
@BalarkaSen Well I see and understand him that way.
@BalarkaSen Okay, can you please give some refernces?
Sure, look at the afterword to "The Possessed" by Marc Slonim -- he quotes a letter of Dostoyevsky there
He explicitly mentions his political intent
Marc Slonim?
I will read it.
@BalarkaSen Can you please point out which afterwords?
@EdwardEvans exactly
In Dostoyevsky's time his writings were heavily critiqued because everyone felt his characters were completely unrepresentative of the Russian folk, heavily caricatured and dramatized to a frenzy. The reason for this is that in context of pre-Soviet, Dostoyevsky doesn't make sense.
@Knight I don't see Slonim's afterword there.
@EdwardEvans so what verbs take the genitive (now) and why can't I find the genitive in English?
16:37
@Yuvraj Not sure I understand what you've written. What edges are marked? If an edge is marked then either adjacent side should be painted one color or the other?
Look at the translation by Andrew MacAndrew
btw I don't know if it's a coincidence or not, but in Latin the verb to forget (oblīvīscor) also takes the genitive @EdwardEvans
@BalarkaSen can I find 3 (distinct) points from the Gaussian integers $\Bbb Z[i]$ that form an equilateral triangle?
@robjohn Sir, can you help me with that stable point thing?
@LeakyNun Surely not
@BalarkaSen why not?
16:40
I don't know do some number theory
@BalarkaSen As you're claiming something but I cannot find it, therefore I think it is not fruitful to keep up this discussion.
@robjohn give me a moment sir
@Charlie Hello
After a long time
The area is integral by Pick's theorem, but also $\sqrt{3}/4 \cdot a^2$?
@LeakyNun
@Knight Well I told you where it is. I am not going to spend time looking it for you
The point is your interpretation of Dostoyevsky is naive, but I don't blame you -- Dostoyevsky isn't an easy author.
16:42
You can send me images if you have the book.
huh I didn't know Pick's theorem
@BalarkaSen Do you realize what you're calling me on a public forum?
Huh?
I just said your interpretation is naive.
Please re-read it.
I don't find anything offensive, I think it might be a language issue on your end.
16:44
Calling someone naive and telling him that you don't understand it is really an insult.
I am not calling you naive, I am calling your interpretation naive. I don't know what to say really!
16:57
@Knight chill bro
17:33
@Knight which stable point thing?
17:50
@moteutsch Your change of order was correct, but I don't follow the last step. $\int_0^t (t-r)f(r)\,dr$ can't be simplified the way you did it. You can pull out the $t$ from the integral but you still have $f(r)\,dr$. The best you can do is $\int_0^t uf(t-u)\,du$ if that's any easier.
@Leaky: Pick's Theorem is super cool.
Oh, yes
THanks
@TedShifrin I suppose it's related to determinant?
18:10
2 hours ago, by Knight
in Basic Mathematics, 26 mins ago, by Knight
My book writes :
A stationary point $x^{\ast}$ is stable if given any $\epsilon \gt 0$ there exists a $\delta \gt 0$ such that
$$
| x_0 - x^{\ast}| \lt \delta \implies |x(t) - x^{\ast}|\lt \epsilon$$
@Leaky: It's certainly related to $SL(2,\Bbb Z)$. :)
I figured out a proof years ago (and one of my advisees gave a wonderful math club talk on it), but now I don't recall it.
hmm
I suppose one could first put one vertex at the origin, and then use SL2Z to transform two edges touching the origin to the two axes
Some sort of inductive argument, I think.
or at least one edge
and then base x height / 2 gives you a half-integer
oh btw I only need it to be rational
But is the Pick number (counting lattice points and half lattice points) invariant?
I haven't thought about this in ages.
18:21
no clue
What are you doing re school this autumn?
master @ imperial
@Knight what is the relation between $x_0$ and $x(t)$?
Hi @robjohn
Cool, @Leaky. Resident in London or distance?
@TedShifrin Hey, Ted!
18:23
@TedShifrin distance
Sigh. I would not have enjoyed teaching in this pandemic. And what's going in GA at UGA is downright scary.
Hong Kong is seeing a wave far bigger than previous waves
but well the growth is still linear (100 new cases per day)
Yes, this thing is beyond insidious. And of course it helps to live in the stooopid USA.
@TedShifrin Did UGA start on-campus classes?
They're about to, yes. Originally the governor and the Regents forbade requiring masks, but at least that much has been beaten out of them.
18:27
@TedShifrin I really don't understand those who say wearing a mask is an infringement of their personal rights.
It starts at the top, of course.
But I remember when I was young there was a huge outcry when wearing seat belts in cars became required. This is like the 2nd amendment maniacal behavior.
Are you laughing at me again, a @Balarka?
No, just at the seatbelt vs second amendment thing
Uh huh. :D
18:30
@TedShifrin I wonder how all those people who feel that they are being imposed upon by needing to wear a mask would like to be put onto the Apocalypse at Magic Mountain without seatbelts, being told they shouldn't be restricted by a seatbelt.
@BalarkaSen Have you read Chinua Achebe's criticism of the book? I believe it completely changed how that book is viewed.
I've seen various ironic letters to the editor. Among things listed: Wouldn't want to infringe on the rights of cooks in restaurants to cough in food or serve chicken cooked only to 120º.
@NoName Yes, actually I have, and there's merit to it.
The horror in the Heart of Darkness is partly racial horror of the West, I can't deny that
What's interesting to me is that prior to Achebe no-one saw the problem with the book (also apparently Achebe hated that the book went out of favour as a celebrated work after his criticism).
Yeah, it's quite problematic, isn't it? I felt that when I read it
I should read Achebe
19:25
Let $a_{1}=3$ and $a_{n+1}=\frac{a_{n}}{2}+\frac{5}{2 a_{n}}$ for all $n \geq 1$
So we need to check whether it is converging sequence or not
SO what I think is if I am able to show this sequence is decreasing then it is already bounded by 0 so it becomes convergent.
But not sure how to show it is decreasing
0
Q: Sequence limit convergence

maths studentLet $a_{1}=3$ and $a_{n+1}=\frac{a_{n}}{2}+\frac{5}{2 a_{n}}$ for all $n \geq 1$ So we need to check whether it is converging sequence or not SO what I think is if I am able to show this sequence is decreasing then it is already bounded by 0 so it becomes convergent. But not sure how to show it i...

What have you tried? For example, suppose it converges which value must it converge to?
So we need to take limit n tend infinity then a(n+1) is a(n) converge to same limit say L. Then we just need to find value by some algebraic manipulation.
In limit form n tends to infinity a(n+1) is same as a(n)
@Sophie
19:41
Yes, you're doing well, continue
@Sophie it will converge to $\sqrt{5}$
That part is ok but without knowing it converges it is sort of cheating to apply limit
@Sophie why sequence is decreasing ?
one tip: $a_{n+1}<a_n$ implies $\frac{x^2+5}{2x}<x$ when $x>\sqrt{5}$
@Sophie again you are using that bound of $\sqrt{5}$ to reach the conclusion
I'm not, I'm helping you prove that $\lim_{n\to\infty}a_n$ exists. We can do that by any means necessary, as long as our logic is sound. So for example, it's helpful for us to know what the limit is before we actually prove it, after all the definition of the limit is $n>\delta\implies|a_n-x|<\epsilon$ so it's harder to prove the implication holds if you don't know x

« first day (3648 days earlier)      last day (1668 days later) »