« first day (4975 days earlier)      last day (52 days later) » 

3:41 AM
@Thorgott what was the purpose of this comment?
🤷
@Jakobian why? Why? Why are you doing algebra?
 
@Koro suggesting an approach to the problem
 
That's your worst suggestion ever to me.
(like of course one would try using the hint first before asking and ask only if they didn't understand how the hint would answer their question :(
I tried using the hint by taking Ad on both sides because Ad(g) (X) = Dc_g(X), c_g- conjugation by g
and also, Ad(exp X) = e^ad[X]
but no progress.
 
4:02 AM
:65358244
am I not allowed
believe it or not I actually like algebra
 
@BalarkaSen Umm, is this also for hyperbolic 3-manifolds with conformal boundaries? I mean manifolds with nonempty boundaries which is not necessarily toroidal.
 
the hint is not asking you to take Ad on both sides, so that's why it seemed to me you were not on track following it
Ad need not be injective, so you can't really try and prove an identity by applying Ad
 
I should study topological vector spaces
 
ultimately, the proof should come down to differentiating wrt both $s$ and $t$ and show the sides satisfy the same DEs
 
4:21 AM
@Jakobian yeah and analysis
 
no
 
@Thorgott hmm I see. I'll try forming some de with these.
 
 
2 hours later…
6:33 AM
I can see that $U \cap \partial G \subseteq \{z \in U\ :\ \rho (z) = 0 \}$ but I can't able to prove the equality.
Is there any way to see this?
 
 
1 hour later…
8:05 AM
Hello there. In some lecture notes I'm reading on probability, the author keeps talking about an additive functional. I wonder, what is an additive functional? For example, the author writes the notion of volume is an additive functional and that of a probability is also an additive functional. I'm familiar with linear functional, but this requires a normed linear space, and is certainly a different setting. Any ideas what they could mean by this?
 
 
3 hours later…
10:55 AM
Recently, a paper claiming the proof of Thurston bending measure conjecture has been uploaded arxiv.org/abs/2403.10090 @BalarkaSen
 
11:18 AM
It's short but deep I think
 
 
1 hour later…
12:26 PM
@Anacardium Take $z\in U$ with $\rho(z) = 0$. Since $z$ is not a local minimum of $\rho$, we need to be able to find a sequence $z_n$ such that $z_n\to z$ and $\rho(z_n)<0$
@psie I think they just mean finitely measure
 
12:45 PM
Finitely additive measure
 
 
2 hours later…
2:20 PM
@psie It would be helpful to know the source of that image, and (in particular) the text directly preceding it.
In general, a functional is just a function from some space into $\mathbb{R}$ (or $\mathbb{C}$). As you note, you see linear functionals a lot in linear algebra and functional analysis.
My guess is that the authors here are thinking of probability measures as functionals (which is a not-uncommon approach), and are asking for additivity in the usual sense for measures (e.g. $\mu(A\cup B) = \mu(A) + \mu(B)$ for disjoint $A$ and $B$).
 
 
2 hours later…
4:11 PM
@Jakobian: How can the sequence be found?
 
@Anacardium just pick one element from ball of radius $1/n$ around $z$
 
@Jakobian: How does that ball always contain a point of $G$? I am not getting that.
 
Because $z$ is not a local minimum
If such point didn't exist then all points in that ball would be greater or equal $0 = \rho(z)$
So $z$ would be a local minimum
 
@Jakobian: Oh! Now I am getting the point you are using the second condition $(d \rho)_z \neq 0$ for all $z \in U$ to ascertain that $z$ cannot be a local minima. That's what I was missing.
This shows that such a $z$ should be in $\overline {G}.$
Many many Thanks.
 
 
1 hour later…
5:33 PM
I wanted to ask stuff but I'll wait for 2 to 3 days :)
 
5:44 PM
@Anacardium yeah this is not true without the second condition
 
5:59 PM
@psie as xander suggests, they mean simply a function whose codomain is the reals (perhaps also whose domain is an algebra of sets, from looking at other uses of the term). it would have been better practice for the author to have defined this usage (looking more generally at grigoryan's notes his mathematical english is somewhat idiosyncratic; for example, he refers to a "coin tossing" for what more native speakers would call a "coin toss")
 
Flippin’ coins!
 
he refers to coin tossing for what more native speakers would call lesliecoin tossing
 
as another example, the page before the examples of 'functionals' the author states "but now we can recall the familiar from the elementary mathematics notions, which are all particular cases of measure:" and this is not at all how you should phrase that in english, unless you are trying to sound like a german spy
 
I toss ‘em where I find ‘em
 
@leslietownes But tovari--- er... friend... I am not Russian spy!
 
6:04 PM
enough about me, let us go to American factory and organize workers against the kulak and Premier Roosevelt
 
Excuse me, but do you know where they keep the nu-clee-ar wessels?
 
i once went to a talk by a prof who had lived at least 40 of his 60+ years in russia before moving to a country in south america, and he combined "stage russian" grammar with substituting words that he didn't know in english with their spanish equivalents, and the whole thing felt like a vaudeville routine that would get anybody canceled if it wasn't real
 
@leslietownes Ha!
In my first year of college, I tried to take German. But the German prof was married to one of the Russian profs, and he spoke perfect Russian. For whatever reason, whenever I couldn't come up with a word in German, I would switch to Russian, and then he would respond in Russian, and we would have whole conversations in Russian.
While the rest of the class looked confused. He would then usually end the conversation by saying something to the effect of "Okay, it's cool that you can Russian, but this is a German class. Can you try that, please?"
 
certainly leaves something to be desired as spycraft
 
Suffice to say, I never really got the hang of German.
 
6:19 PM
@XanderHenderson hilarious..
 
6:30 PM
Indeed it is!
Xander is not only incredibly good at making jokes, he's also handsome and smart
2
 
7:03 PM
Can we use transfinite induction to prove that any increasing function from [0,1] to [0,1] has a fixed point?
 
@SoumikMukherjee maybe
 
7:21 PM
that's a bit vague
 
7:43 PM
I will try to write in a proper way once I clearly understand what I am trying to show
 
8:06 PM
After learning Python this month (and utilising it for some numerical algorithms), I've realised how grossly I underestimated the convenience of a computer for computations, especially in linear algebra. I used to just skip computations if they got too cumbersome, but I see more opportunities now. Am really glad I finally got over my programming phobia.
 
8:30 PM
@ShaVuklia During my masters program, I took a year of numerical analysis, during which we did a lot of work in C (not C++, plain ol' ANSI C) and FORTRAN. I can't say that I have ever used those skills, but the classes were a lot of fun, and gave some nice insights into how a computer does what it does.
 
D S
8:43 PM
@XanderHenderson You are not alone. (Not meant to offend anyone)
 
@DS Yeah, that is one of my favorite bits of Twain.
 
9:00 PM
I had German in high school and I don't like the language
There's too much genders to remember
and its completely different than in Polish
remembering them in my own language is fine, because I know it naturally. But learning them in another language feels horrible
 
@XanderHenderson Glad it was fun. I tried taking a CS course (Datastructures) some years ago where we had to program in C, but it was just a disaster for me, as I was trying to rush it. After that experience I didn't dabble in programming anymore (even though previously I'd enjoyed an introductory course in Java). Am glad to be back, though I'll stay in my lane with just simple Python scripts :'D
 
Its not about the words themselves, or the grammar, though grammar is totally different too. Which is also something that confused me a lot in high school.
The fact that the teacher treated us like we are supposed to know the language didn't help and only discouraged me from learning it
maybe that can be put under bad education
I never actually sit in my room and studied something... other than math. That was never part of my routine
Maybe thats why I feel like I'm being too soft for myself
I didn't teach myself discipline
 
Hi to everyone
is there someone that can solve my problem?
0
Q: Punctual, absolute and uniform convergence of a series of functions for $0<k<1$

SebastianoTo study for $k\in\Bbb R^+$ the punctual, absolute and uniform convergence in $\Bbb R$ of the following series of functions: $$\sum_{n=1}^\infty\frac{\cos n^k x}{1+n^k}$$ One has obviously, for each $x\in\Bbb R$: $$\left|\frac{\cos n^k x}{1+n^k}\right|\leq\dfrac1{1+n^k}\qquad\forall x\in\Bbb R,$$...

best regards
I have put a bounty
 
9:17 PM
Did you try approach0 before posting your question? I see a number of similar questions which seem relevant.
 
@Sebastiano shouldn't it be conditionally convergent for $0 < k \leq 1$ by the same argument?
on $\mathbb{R}\setminus 2\pi\mathbb{Z}$
 
Can someone help with my question?
 
eh... we're in this kind of mood today, are we?
 
I'm about to ask it in 5 seconds
 
9:21 PM
I'm looking to thread adjacent streamlines of a 3 vector field together with a prescribed smooth structure. Is there a constructive way to do this?
I'm thinking about using an equivalence relation
 
@leslietownes cool that you found the author :) indeed it is from Grigoryan's notes (he has some good notes on ODEs, and therefor I looked up his probability notes). But additive functional is certainly an unusual name for, what I believe he means, an additive set function. Whatever. Oddities like this used to get me down a lot, but not anymore, since I make'em myself...
 
I've found the orthogonal surfaces to the vec field
 
is "single-rooted" common terminology with regard to (set-theoretic) relations?
 
@Jakobian I don't know :-(
 
9:40 PM
@Sebastiano think about it
@EE18 no since I don't know of it
 
fair enough :) thanks Jakobian
Haven't started this one so no questions about the question itself but...
when would a function not have this monotonicity property?
Ah nevermind, I was too quickly thinking this was a set-induced function for images of subsets of $A$
but it's not, it's more general than that
 
9:58 PM
@Jakobian I not know nothing on conditionally convergent. What is?
 
@Sebastiano what is what
hmm... well, sure, there is $n^kx$ as an argument which I didn't see and that might cause some problems
but I think nonetheless, you can deal with it like with $k = 1$ case and just use Dirichlet test
and if that doesn't work, well, too bad
The sum is $\sum_{n=1}^N e^{in^k x}$
okay, I recall this doesn't really have an explicit formula. But maybe we can make some bounds either way
If we take $z = e^{ix}$ then we have $\sum_{n=1}^N z^{n^k}$ for $|z| = 1$
hmm... again, its really annoying
We know that $n^kx$ is equidistributed mod $1$ for $x\in\mathbb{R}\setminus 2\pi\mathbb{Z}$
my idea would be to then use Weyl criteria but that only tells you its $o(n)$
but this is the direction this probably might go
@Sebastiano also look in here, maybe try to look for a version which would imply something stronger about the sequence $\sum_{n=1}^N e^{in^kx}$
 
10:52 PM
its nice to talk to a wall
 

« first day (4975 days earlier)      last day (52 days later) »