« first day (2764 days earlier)      last day (2262 days later) » 

12:00 AM
@TedShifrin it appears to only be in Paris and Tokyo
But I suspect it contains a holy grail
 
that's quite a rare grail.
 
What is the definition of a locally finite basis in topology?
 
I would bet there are American geometers who have that, 0celo.
 
@TedShifrin none that I know
 
12:04 AM
Maybe Gromov or Lawson or people of that ilk
 
Is it normal to email random people asking for books?
 
Probably better for your adviser to do so.
 
I'm trying to understand a cryptic line in Besse
they reference an article in that book
 
You might post on Overflow ... Robert Bryant almost surely can answer.
 
@user193319 I think around every point there is an open set that intersects finitely many elements of the basis
 
12:08 AM
@AkivaWeinberger That sounds right. Thanks!
 
that's right, DogAteMy
 
Although, sounds like you'd get pretty weird topologies
 
one usually wants locally finite covers, not bases.
 
If it's Hausdorff, actually, I think you could only get the discrete topology with a basis like that
 
I'm actually trying to show that a $T_1$ space with a locally finite basis is discrete!
 
12:12 AM
Oh wow
Hm, T1 even
Right, that makes sense
 
@TedShifrin I'll post on MO.
 
Could someone tell me what is the 'obvious' homeomorphism between $Y_F$ and $\prod X_i$ in Henno's answer of this question math.stackexchange.com/questions/911028/… ?
 
It's just the projection onto those factors, @bella.
 
@TedShifrin $\pi:\prod X_i\to Y_F$?
 
the other way
$Y_F$ sits inside the giant cartesian product
But except for the integers in the finite set $F$, you have $x_i=p_i$.
 
12:27 AM
@TedShifrin so the projection will be $\pi: Y_F\to prod X_i$?
 
Yes.
 
@TedShifrin and in this case how is given $\pi$?
 
The product of the projections $\pi_i$ for $i\in F$.
 
" But it is still reasonably straightforward, and the
application of Moser’s lemma suggested in both references is not really necessary."
ayy
apparently I'm just bad at math
these people apparently saw the original article though
 
12:58 AM
I think I have ze preuve
 
@TedShifrin I don't understand how $\pi: Y_F\to prod X_i$ works. Doing an analogy with the typical projection $\pi_j:\prod X_i\to X_j$ ($\pi_j(x_i)=x_j$) I have, for this particular case $\prod_i(x_i)=\prod_i(p_i)=x_{which index goes here?}$
 
1:21 AM
should i delete a question if i have answered it?
2
Q: decomposing and the summing a sum.

Faust Prove: $$\sum_{k\leq n} k \left\{ \frac {n}{k} \right\} = n^2\left(1 - \frac {\pi^2}{12}\right) + O (n \log n) \quad \text{ where } \{x\} = x-\lfloor x \rfloor $$ We have that $$\sum_{k\leq n} k ( \frac {n}{k} - \lfloor \frac {n}{k} \rfloor ) = \sum_{k\leq n} n -\sum_{k\leq n} k \lfloo...

 
1:52 AM
A resounding maybe
 
yo @0celo7 want to verify argument with me that I was solving ?
It is in complex analysis
 
 
2 hours later…
3:39 AM
@Faust you could post your solution so that people can appraise it
 
i posted it as an edit or should i post it as an answer @Semiclassical
 
post as an answer
 
kk thx
 
I managed to draw something in inkscape
it took absolutely forever
 
I'm typing up a boundary value problem solution and ugh I had forgotten how tedious it is
$$V_{III}(r,\phi)=\sum_{l=0}^\infty \frac{C^l}{r^{l+1}}P_l(\cos\theta) \\ V_{II}(r,\phi)=\sum_{l=0}^\infty \left(A_l r^l+\frac{B^l}{r^{l+1}}\right)P_l(\cos\theta)$$
$V_{III}(b,\phi)=V_{II}(b,\phi)$ (okay, that's not bad)
 
3:52 AM
 
$V_{II}(a,\phi)=V_0$ (still not bad)
$\left(-\dfrac{\partial V_{III}}{\partial r}+\dfrac{\partial V_{II}}{\partial r}\right)_{r=b}=\dfrac{k}{\epsilon_0}\cos\theta$ (ah g******)
@0celo7 I approve
 
4:16 AM
I need help with this question P(C | A, B) and A and B are independent events.P(C) = 0.7 P(A) = 0.2 P(B) = 0.5 P(A | C) = 2/7 P(B|C) = 3/7. Im in a discord group with my friends and we are getting different answers
any help is appreciated thank you
 
4:32 AM
@BalarkaSen @MatheinBoulomenos "the space $C^\infty(E)$ is the inverse limit $\varprojlim L^2_s(E)$" lmao
 
4:56 AM
MOrning @TedShifrin
 
Morning, @Faust
 
Hey there!
 
how ya doing?
 
Hi Demonark
 
5:08 AM
@TedShifrin hi
 
@Tyger: I don't understand your notation. What does $P(C|A,B)$ mean? Do you mean $P(C|(A\cap B)$, i.e., the probability that $C$ occurs given that both $A$ and $B$ occur?
hi Karim
 
@TedShifrin I aced my complex analysis midterm
 
Cool. Congrats.
 
I only have 1 more year of classes, then I don't have to take anymore exams finally
been doing exams now for what 6 years
 
@TedShifrin Yes i meant the probability that $C$ occurs given that both $A$ and $B$ occur. Sorry about that
 
5:11 AM
btw I am keeping a moustache btw. My wife tells me I look like her dad lol @TedShifrin
I shaved my beard, but I will keep my moustache to stroke it while thinking
 
Ha.
 
hahaha
 
Is it me or does Besse have a shitload of typos
 
@Tyger: That's what I figured.
 
hey @0celo7 do you want a cool complex analysis problem ?
 
5:13 AM
no
 
okay no complex analysis problem for you then :P
 
I guess you want to do something like $P(A\cap B\cap C) = P(A\cap C|B\cap C)P(B\cap C)$ or something like that, @Tyger.
 
I am really amazed by how amazing complex analysis. When I did it as undergrad I just half assed studied it, but now I really see its beauty
 
@MikeMiller I thought I had an interesting approach to KW that used the solution of the Yamabe problem. Unless I can fix it, it's a no go. And I don't actually want to follow the method in the original paper :/
 
@0celo7 this exchange amuses me
 
5:16 AM
@Daminark why
 
I dunno, I just kinda snorted air out of my nose somewhat harder than usual upon reading that
 
@TedShifrin as promised, email sent
 
@TedShifrin: Thanks for the help
 
5:34 AM
@Adeek let's hear this complex analysis problem anyway
 
5:53 AM
@Daminark sureeeee
Suppose that f is holomorphic function on the disk prove that $\Sigma f(z^n)$ converges uniformly on any compact subset of the disk.
there is really easy way to solve this and hard way to do it
 
Does it map from the disk to itself?
 
anyway I will let you think about it. I am gonna go to sleep
no
that would be easy.
by Schwarz lemma
 
Lmao rip, that's what I was hoping
 
There hard way to do this and easy way to do this hehe
I will let you ponder about it. I am gonna go to sleep let us discuss tomorrow :D
 
Okay
 
5:55 AM
good nights @Daminark :)
 
Wait this is barely complex analysis
I think this is just because the function has bounded derivative or something like that
 
You can estimate the growth of $f$ using its derivative, which is bounded on a compact subset
 
Let's say $f(0) = 0$ to make life easier, then $|f(z^n)| \le K|z|^n$, so $\sum |f(z^n)| \le K\sum r^n$ where $|z| = r < 1$
And then Weierstrass M-test does it
 
6:13 AM
How does one find the lower and upper estimates of an integral given a table of values?
 
Zee
6:23 AM
Is there anybody out there ?
Don’t be shy , I know your out there
 
I mean, I'm here
 
Zee
The classic man
Haven’t been rick rolled in years
 
I only wanted to know how to find the lower and upper estimates of an integral given a table of values, but that proved too much to ask. It would seem my name has gotten in the way of my question.
 
Zee
Why do you need that ?
And what do you mean by finding lower and upper estimate given a table of values
 
I'm not actually a 52 year old famous singer, but a young Calculus AB student who's being introduced to integrals.
 
Zee
6:30 AM
Ok , ask and you shall receive, AB calculus man
/boy
 
The problem reads as follows: A table of values of an increasing function f is shown. Use the table to find lower and upper estimates for integral sign(0->25) f(x)dx
x = 0,5,10,15,20,25. f(x) = -42,-37,-25,-6,15,36
The answer is (-475,-85)
 
Zee
What’s sign (0-...)
Notation wise
 
I don't have the math notation plugin installed so I was trying to make the integral symbol (Liebowitz notation). the 0 is a and the 25 is b. (upper limit and lower limit)
 
Zee
So your integrating f from 0 to 25?
 
Yes? But only trying to find the lower and upper estimates, bc not given the function.
 
Zee
6:35 AM
Ah ok
Alright so , am kinda too drunk for this right now , but that’s how I would go about it :
For the upper estimate take the strongest possible case
F is -42 at at 0 but then immediately becomes -37 from after 0 to 5
Then -25 from 5 to 10 and so on
 
@0celo7 great stuff
 
Zee
And just add the area of the rectangles
 
First of all, it's a Monday night, how are you drunk? Second of all, okay... that makes sense... I don't know what this strongest case thingy is but the rest of what you said lines up with what I've been taught thus far.
Thanks so much for your help! :D
 
Zee
No problem, I gotta to sleep and I gotta sleep to do math
You get the method for the weakest integral too?
 
No...? Maybe?
 
Zee
6:42 AM
And I gotta drinks o sleep :D
 
Isn't it like, subtracting the lower limit from the rectangles?
I'm new at this so I don't know the proper way to say it. its also 22:45 where I'm at so I'm a little sleep-drunk as well. EDIT: ok, got it
 
Zee
Weakest case aka lowest estimate would be f is -42 from 0 to 5 and then -37 from 5 to 10 and sonon
The idea is you don’t know what the F is but you know it’s values at certain points so you assume F only takes those values and then see the worst case scenario and best case scenario
That was a bad explanation...
 
please help us.
 
Zee
F is increasing so between -42 and -37 , for the lower estimate you assume it’s just -42 all the way to but not including -37
For the upper estimate you assume it’s -42 at a single point but then it jump to -37 from 0 to 5
Ya I made some typos
 
I mean, how does one get from there to the answer? Im mainly confused with the capital F and lowercase f. Are they the same? EDIT: okay doky, give me a few minutes and maybe ill get it
 
Zee
6:50 AM
Ya am just writing without thinking
Let’s say f is really really lame ?
F is totally depressed and lame , it really does not wanna do anything
Like me XD
Then what would f do between 0 and 5?
 
I got it! So like (-42*5) + (-37*5) + etc. etc. for lower limit and then (-37*5) + (-25*5) etc. etc. for upper limit? (height*width) for all rectangles. EDITED
 
Zee
Yes! Except it’s the other way around
Yes yes
Good job
Also note integrals don’t care about values at a single point only intervals
 
Wow, the 21st century is amazing. What a time to be alive. I'm amazed you could understand what I was trying to stay with my limited knowledge of mathematical language. Ok, I will take note of that in the future. I'll be back here one day once I get the hang of them some more for future questions.
 
Zee
I wish you luck and prosperity in your mathematical adventures
Well , I suppose my job here is done ?
Oh how beautiful it is to be young
I shall fly away now
 
7:11 AM
Hey guys, I was sifting through some of my 1st year maths material as part of the tidying up of the room. Can $t$ be eliminated from this pair of parametric equation?
$x = e^t \cos t$
$y = e^t \sin t$
Attempt to square sum that still left behind $x^2+y^2 = e^{2t}$
 
solve $t=\tan^{-1}(y/x)$ and plug into $x^2+y^2=e^{2t}$
I guess you need different versions of $\tan^{-1}$ to fill in the whole graph
 
hmm... sounds like a atan thing
 
or maybe $x\sin(\frac{1}{2}\ln(x^2+y^2))=y\cos(\frac{1}{2}\ln(x^2+y^2))$
 
ah, never thought about making t the subject and then plug back into the parametric equations themselves
On a more general note, is there a name of some kind of theorem that guarentee, or at least state the condition for a system of parametric equations whether the parameter can be eliminated?
 
7:35 AM
@0celo7 Huh cool
 
7:54 AM
Could someone please explain why $S(x)\subset F$ in Eric's answer to this question math.stackexchange.com/questions/2666870/… ?
it's about topology
If I is an infinite set and F is finite, then $I\setminus F$ is finite?
 
Think about some examples
 
\o @Alessandro
You done with the commutative algebra exam?
 
Not yet, it'll be in the afternoon
 
Aha.
Good luck!
 
Good luck with the exam @Alessandro
 
8:06 AM
Thanks!
 
8:18 AM
Balarka, Alessandro, and Mathein, all in one place
Seems like the anti-nerd guards are on lunch break
 
Sounds like someone is sleeping on his job
 
nothing wrong with nerds, lol
Except cannot thought of a good xy function to represent the nerds
 
@Secret Hey man ! All this time and I didn't know you could have Mathjax in the chats !
$\cdot$
 
Who ever is spamming the star panel, stop.
3
Calm down, drink some water
 
lol i just noticed
$\cdot$
TEST - TEST
$\cdot$
 
8:37 AM
Hi,

can someone help me understanding the following equation?
I have to approximate the integral using numerical maths.

Let $I$ be the integral $\int_{-1}^{1}{e^{cos(x)}}$.

I have to calculate the approximation using the simpson rule. And let $n=2$.

Hint: Let $f(x)=e^{cos(x)}$. Then $\max_{x \in \mathbb{R}}|f^{(4)}(x)|=4e$

I have got the solution sheet here but I do not understand the result:

$I_S = \frac{h_S}{6}(e^{\cos(-1)}+4e^{\cos(-0,5)}+2e^{\cos(0)}+4e^{\cos(0,5)}+e^{\cos(1)})$

I am very happy for any help :)
 
@Mathei we have fields, vector spaces over fields and affine spaces over vector spaces. We have rings, modules over rings and...? Is there a notion of affine space over a module?
 
we dont really have affine spaces "over" vector spaces do we
affine spaces are objects with a field action which are like vector spaces but without the choice of origin
There's a forgetful functor from the category of vector spaces to the category of affine spaces I guess
 
The definition I know starts by fixing a vector space
 
I have never really thought about the structure too much
Mathein surely knows the abstract theory.
yo @Daminark
how do you construct Haar measures
 
@jublikon Looks fine, you start with -1,1, then you pick their midpoint 0, and then you pick the midpoints between -1,-0.5 and 0.5,1.
 
8:46 AM
I'm not sure i got it , Guys can you help me get MathJax in the chat ?
 
so in effect, you applied Simpson rule twice
 
A friend of mine described this to me forever ago
 
more accurately, this is an example of Composite Simpson's rule with the interval split into 4 subintervals
 
@Secret But then we have divided it into 4 intervals ? or am I wrong at that point?
 
typo, always end up counting points instead of intervals
 
8:50 AM
Hello @BalarkaSen
 
if you are using n=2, you don't end up with the coefficient 2 terms
so here the answer is actually done with Simpson rule using n=4
 
@Daminark I need something bi-invariant to do an averaging argument. I'd have used a bi-invariant volume form, but Milnor picks a Haar measure and I want to understand that
Hi @AlexKChen
Too many Alex
 
@Tanuj tinyurl.com/cfqcvpc, you need to bookmark both links
then click those bookmarks to run the script
 
This is from his paper
 
Wow thanks
That sketch makes a lot of sense
Is this Araske?
@quallenjäger I made the extra additions in the answer, as promised :)
 
9:03 AM
Thanks @Secret
 
Yeah it's Araske
 
I am trying to think of a good maths question, because I am very bored
 
@Daminark 10/10 paragraph
 
I am trying to understand the proof why multiplication of two floating point numbers has a good numerical condition. What is meant with $\phi_j(x)$ here?
it is german. I am sorry.
the other parts of the proof seem clear to me
 
9:28 AM
This steven crowder meme is 11/10
 
~$meme
~$rolldice
 
Rolling 1 6-sided dice: 3 total=3
 
@Pseudohuman are you a bot?
 
@Abcd Yeah. She also has great music recommendations.
~$realmusic
 
9:38 AM
@pseudohuman sum n = 1 to infinity 1/n^2
@Pseudohuman sum_(n=1)^∞ cos(n*sin(x+1))/n
 
@Secret sum_(n=1)^∞ n (sum diverges)
@Secret I do not understand.
@Secret sum_(n=1)^∞ cos(n sin(x + 1))/n converges when Im(sin(x + 1)) = 0
 
@Pseudohuman Prove 1+1=2
 
@Secret True
 
@Pseudohuman Kill star bridgate
 
@Secret I do not understand.
 
9:46 AM
@Pseudohuman Find y from y'(x)=1
 
@Secret I do not understand.
 
@Pseudohuman integrate y"+y'+1=0
 
@Secret y''(x) = -1 - y'(x)
 
@Pseudohuman leave this room
 
@Abcd I do not understand.
 
9:47 AM
@Pseudohuman integrate y''(x) = -1 - y'(x)
 
@Secret y''(x) = -1 - y'(x)
 
@Pseudohuman come back, be here
 
| album | release date | artist
Come Back | Bon Jovi | January 1984 | Bon Jovi
Be Here | Instant Vintage | Tuesday, June 11, 2002 | Raphael Saadiq
(based on the first available album release)
full name | Taylor Alison Swift
date of birth | Wednesday, December 13, 1989 (age: 28 years)
place of birth | Wyomissing, Pennsylvania
 
@Pseudohuman delete all your messages
 
@Abcd I do not understand.
 
9:50 AM
@Pseudohuman Scary monsters and super creeps
Sorry wrong ping
 
name | Scary Monsters... and Super Creeps
artist | David Bowie
release date | September, 1980
runtime | 45 minutes 37.65 seconds
 
perfect
 
name | Reputation.com
company type | privately held corporation
status | active
city | Redwood City, California, United States
website | www.reputation.com
 
why are you doing this?
please stop
 
Yeah let's take this to Sandbox
 
10:06 AM
@Secret How do i do that ?
 
10:24 AM
@Slereah A tubular nbhd does exist in the example you posted.
 
@BalarkaSen Dang it
 
If boundary of the square $[-1, 1]^2 \subset \Bbb R^2$ is your unit square, take the square annulus $N = (-(1+\epsilon), (1+\epsilon))^2 \setminus (-(1-\epsilon), (1-\epsilon))^2$. You can easily construct a retraction of $N$ to the boundary $\partial [-1, 1]^2$ with fibers being intervals open intervals.
 
Oh, it does
 
Yeah does.
However there are lots of wild $C^0$-submanifolds where a tubular neighborhood does not in fact exist.
 
@Tanuj have you add to bookmarks?
 
10:26 AM
@BalarkaSen does it work if they are piecewise smooth
 
yea , i can't @Secret
 
although I'm guessing that for a cube, the tubular neighbourhood can't be done by normal lines
 
@Tanuj Go here, math.ucla.edu/~robjohn/math/mathjax.html, use your mouse to drag the two links to your bookmark
 
@Secret I'm on chrome and i can't
 
then right click and save as bookmark
 
10:29 AM
@Slereah Yes, I believe so
 
@Secret Can't do that too
@Secret plus those links don't even open
 
If I used normal lines to the surface I'd just end up with this
 
Yes, don't use normal lines near the vertex points
 
right click and click "copy link", now use the chrome tabs to make a new bookmark and paste the link there, save the bookmark
 
Should I just do like...
Normal line at the middle of each edge
 
10:30 AM
At the vertex points the lines should be like $y = \pm x$.
 
and then gradually go to 45° at the center
 
Yes.
 
Alright
Now to show that gluing along such stupid boundaries is a decent manifold
IF IT IS ONE
 
@Secret Now what ?
$\cdot$
 
Oh man, if it's not normal decomposing the metric tensor there is gonna be awful
 
10:34 AM
It's not clear to me what metric even means at corner points
 
@Tanuj you are in the chat room, right? Click render mathjax (or whatever you bookmark those links in)
 
@BalarkaSen yeah that is another issue
 
then click "start chatjax"
 
I think I need to get Colombeau algebras involved
Since it's a classic for that kind of bullshit in GR
the induced metric is gonna be weird if it's defined
 
Oh !! GOT IT @Secret Thanks so much man ! :)
 
10:43 AM
Can someone be sexually non-orientable
6
 
Asexuality is the lack of sexual attraction to others, or low or absent interest in or desire for sexual activity. It may be considered the lack of a sexual orientation, or one of the variations thereof, alongside heterosexuality, homosexuality and bisexuality. It may also be an umbrella term used to categorize a broader spectrum of various asexual sub-identities. Asexuality is distinct from abstention from sexual activity and from celibacy, which are behavioral and generally motivated by factors such as an individual's personal or religious beliefs. Sexual orientation, unlike sexual behavior,...
Not so much as a sexual moebius strip, though
 
11:13 AM
I'm trying to draw an nfa for (00)*11
here's what I tried imgur.com/a/EK2pz
am I on the right track?
 
11:35 AM
I have no idea what I am looking at, probably because I have no idea what an nfa is
 
looks fine
 

« first day (2764 days earlier)      last day (2262 days later) »