« first day (4445 days earlier)      last day (568 days later) » 

5:51 AM
$\lim_n\chi _{(n,n+1)}=0, \lim_n n\chi_{(0,\frac 1n)}$=0. As one sees by sketching the graphs, the trouble in these examples is that the area under the graph "escapes to infinity" as $n \to \infty$, so the area in the limit is less than one would expect.
I don't understand how/why the graphs tend to infinity as $n\to \infty$.
I think the area under the graph always remains 1 no matter what n you take.
So it is categorically wrong to say that the graph escapes to infinity.
$\chi$ is indicator function.
and we are considering Legesgue measure.
 
6:05 AM
What is $\chi$?
 
Indicator function.
$\chi_E(x) :=1$ if x is in E and 0 otherwise.
 
6:22 AM
If X is a real normed space and Y a closed subspace and we take $x\in X\setminus Y$ then we define $d(x,Y)=\inf\{||x-y||: y\in Y\}$. In the exercises they wrote that we need to show that for $t\in \Bbb{R}$ we have $d(tx,Y)=|t|d(x,Y)$. But now if I consider X to be the real line and $Y=[0,1]$ and x=2, t=3 then d(6,Y)=5 but and 3d(x,Y)=3? What am I doing wrong in my example
Ah I see Y needs to be a sub vectorspace, which it is not in my case?
 
6:50 AM
I presume by closed subspace they mean a closed linear subspace.
I don't know what you are talking about regarding the escaping bit.
good night! its after my bedtime :-)
 
Thanks I think I got it
Good night:)
 
7:45 AM
@copper.hat Good night :)
That escaping bit is from a paragraph following corollary 2.17 in Folland's book.
 
Is it possible to calculate ${1\over\pi}\int\int_{\Bbb D}|\psi'_\alpha|^2dxdy$ without a calculation? $\psi_\alpha(z) = (\alpha-z)/(1-\bar{\alpha}z)$ for $|\alpha|<1$.
 
 
1 hour later…
9:02 AM
@leslietownes I read it and it just confused me
@XanderHenderson Do you like complex made simple?
 
jay
9:17 AM
If I have two functions on $f,g:\mathbb{R}^d\to \mathbb{R}^d$ with $f(x)=g(x)$ and $g$ is invertible then $f$ is also inveritble $f^{-1}=g^{-1}$. What about if the two functions are such that $f(x)=g(x+T(x))$ and $g$ is invertible, then $g^{-1}\circ f (x)=x+T(x)$ but I cant say anything about $f^{-1}$ ?
 
9:28 AM
@jay did this come up in something linear?
 
jay
9:40 AM
no?
just got confused
when looking at notes
 
10:09 AM
It seems the statement of Runge's theorem in RCA is stronger than in Stein
 
TRAPPIST-1e, also designated as 2MASS J23062928-0502285 e, is a rocky, close-to-Earth-sized exoplanet orbiting within the habitable zone around the ultracool dwarf star TRAPPIST-1 approximately 40 light-years (12 parsecs; 380 trillion kilometers; 240 trillion miles) away from Earth in the constellation of Aquarius. Astronomers found the exoplanet by using the transit method, in which the dimming effect that a planet causes as it crosses in front of its star is measured. The exoplanet was one of seven new exoplanets discovered orbiting the star using observations from the Spitzer Space Telescope...
 
 
1 hour later…
11:14 AM
I feel like long questions are usually less likely to get answered because people don't want to read it all, so if you include all your failed attempts and progress which is encouraged, you could actually increase the time it will take for you to get an answer, so it might be best to just include all of the context and quickly include what you've tried so it stays short
Any thoughts on this?
 
i think it's a good idea to include some attempt, and a bad idea to include all attempts.
 
Yeah, there are lots of questions which include no attempt and just a statement and still are very well received (despite https://math.meta.stackexchange.com/questions/9201/proposal-discourage-questions-that-are-nothing-besides-a-problem-statement)
So trying to give all the context and one failed attempt is probably best
 
jay
If I have a differentiable function $f$ and some other function $g$ and I know that $\frac{d}{dx}\big((f+g)(x)\big)$ exists (for all $x$), then can I claim that $g$ is differentiable.
 
jay
just translate it to a question about limits?
 
11:21 AM
how you phrase it is up to you, the key fact is that a difference of differentiable functions is differentiable
which does indeed boil down to a fact about limits
 
jay
coolio :) cheers
 
11:59 AM
$83 million for a chess playing app? 😳
 
i do wonder about that. someone is laundering money.
 
yeah, wall street money
I guess they have to get rid of all that money buffet made breaking the NYSE reader board during the pandemic
 
(2cos²2x - 1) = 0 gives cos²2x = 1/2 which gives, x = npi/2 ± pi/6 but on simplifying it we get cos4x = 0 which x = (2n+1)pi/4, how are they equal?? (n belongs to the set of integers)
*in the second case, x = (2n+1)pi/8
 
jay
12:33 PM
very loosely speaking, what does it mean for a subset of $\mathbb{R}^d$, in particular surface of dimension $(d-1)$ to be $C^2$ ?
 
12:59 PM
@ThunderGlove $\cos^2(2x)=\frac12$ means $\cos(2x)=\pm\frac1{\sqrt2}$, which means $2x=n\frac\pi2+\frac\pi4$ and $x=n\frac\pi4+\frac\pi8$, which is the solution to $\cos(4x)=0$
 
1:46 PM
After a few hours of reading RCA, I spotted that Rudin denotes $U$ as an open disk.
 
@onepotatotwopotato Doesn't everybody?
:P
 
2:02 PM
You mean open disc?
@User1865345 yep, have been following the chess porn closely
 
jay
2:14 PM
how do I differentiate something like this $F\circ f(t) \circ g(t) $ with respect to $t$ where $F:\mathbb{R}^n\to \mathbb{R}$ and $f(t),g(t) :\mathbb{R}^n\to \mathbb{R}^d$
 
2:31 PM
I asked dumb question about intersection of (0,1) and irrational number maxima is 1 I want to kill myself
 
2:55 PM
Suppose that f is a non negative measurable function defined on measure space (X, $,F ,\mu$). Let $\mu (E):=\int_E f \, d\mu$.
Suppose that $E=\cup_i E_i$, a disjoint union where $E_i$'s are in F, the sigma algebra. Suppose that $\mu (E)=\infty$, then how do I show that $\int_{E_i}f\, d\mu=\infty$ for some $i$?
if mu E is finite, then I have shown that $\mu (E)=\sum_i \int_{E_i} f\, d\mu$.
never mind.
 
3:12 PM
@copper.hat disck.
 
3:26 PM
@jay This makes absolutely no sense.
 
yeah
 
@Koro is that really a question?
 
no, I was trying to prove that mu is a measure so that doubt kicked in.But I realized that it's not required.
 
maybe think a little first :-)
 
Also I'm sad as I solved some exercises wherein I used Fatou's lemma with sup inequality. It turns out that sup inequality requires some additional hypothesis.
So I have to redo them now :-).
 
3:36 PM
@Koro $\mu$ is always a measure.
If it isn't a measure, it isn't $\mu$. Use some other letter. :P
 
haha
measure theory is like group theory.
 
In Greece, $\mu$ is pronounced mee, not mu
 
one follows what's going on but it's difficult to retain the material.
 
@copper.hat Yeah, but that's modern Greece,
and I pronounce my letters in English.
 
moo
 
3:46 PM
AMERICAN English, at that, where $\pi$ rhymes with "pie", and not "free".
 
huh, you mean $\tau$?
 
On the other hand, I also say "ksee" for $\xi$ and "sie" for $\psi$.
@copper.hat No, $\tau/2$.
 
i'm going back to proto-Greek.
 
@copper.hat What about ur-Greek?
 
oh, my Greek is ok
 
3:58 PM
@copper.hat myoo
 
@copper.hat Gosh, that's good to hear. Did you take him for a walk this morning?
 
:-)
 
@XanderHenderson Did he take them for a walk...
 
@robjohn There's more than one? or did I misgender @copper.hat's Greek?
 
it was gender non specific
 
4:01 PM
@copper.hat I saw the big, bushy beard, and just made an assumption. Are Greeks like dwarves? even their women are beardy?
 
i just look at the equivalence classes
 
@copper.hat Good on ya.
Anywho, I should go teach now.
 
@copper.hat very inclusive
 
everyone's a winner
 
4:31 PM
hi guys
Is anyone on?
 
4:49 PM
All asleep!
 
5:03 PM
zzz
 
Munchkin drugged you?
 
5:20 PM
@TedShifrin If I was asleep, it was in the shower.
I should see if I slipped and fell.
 
@robjohn I hope it isn't too late.
 
as far as I can tell, I am okay
no blood in the shower
 
I hear the Psycho music playing.
 
@TedShifrin I wonder if Universal Studios has the "Shower Experience" as part of the Bates Motel
 
5:35 PM
si-LV is having fun.
@robjohn I've never been. That's in your neck of the woods.
 
The Eagles should do a sequel Motel California for the post pandemic world.
 
@copper I corrected a small typo in your "tedious" solution. The solution isn't tedious, but it's also not correct. You mean the projection onto the orthogonal complement, and I don't see how the inner product conditions work out.
 
Is Pinters algebra book good?
 
@Shin Never heard of it.
 
A book of abstract algebra by Charles C. Pinter
@TedShifrin
 
5:45 PM
@leslietownes do you know how to prove surjective bounded operator between Banach spaces is w-open? I tried it myself but I'm a little stuck
@Koro I don't think so. Group theory (in the beginning, no offence to group theorists) isn't that difficult.
 
@Shin That is equally uninformative.
 
It’s quite a dense and nice book.
 
6:01 PM
w-open? this sounds like something paul chernoff would have a two-line proof for.
 
@Shinrin-Yoku Sure. If you like algebra. Otherwise, it's a snore.
@Shinrin-Yoku Also, in what topology?
 
@TedShifrin Thanks, I tried deleting the answer but it was already accepted. I have asked the OP to 'unaccept'.
 
@copper I was encouraged to see the idea, but it's not quite there yet.
 
@XanderHenderson lol
 
@Shin This review suggests that the exercises are too easy with no challenge.
 
6:05 PM
@copper.hat I can delete it for you... what answer?
@TedShifrin What do you expect from a $10 Dover edition?
 
Thanks @XanderHenderson, it is math.stackexchange.com/a/4545544/27978
 
:P
@copper.hat Done.
 
@copper I'm sorry to be a trouble-maker.
 
Much appreciated!
@TedShifrin No need, it is good.
 
@Xander Au contraire. Some Dover editions are fabulous books!
 
6:06 PM
I loved Dover books.
 
shilov's linear algebra. sz.nagy's functional analysis.
 
@TedShifrin Indeed. Some of my favorite books are Dover. I was attempting humour.
 
@leslietownes who's that?
 
jakobian a cranky old prof that some of us had.
 
I mean, Dover publishes Heath's translation of the Elements.
And Katznelson's book on harmonic analysis is a Dover text, I think.
 
6:07 PM
Oh. I never get your humor, Xander.
 
yes, katznelson's harmonic analysis.
 
@TedShifrin That is a very polite way of saying "Xander, you aren't very funny."
 
C.H. Edwards's Advanced Calculus was also republished in Dover, at my encouragement.
 
I get it enough from my students to believe that it might be true. :(
 
@XanderHenderson It wouldn't be polite for me to argue.
 
6:08 PM
Heh.
 
rose's group theory book is also good.
 
Oh, there are also the "Counterexamples in..." books. Those are Dover, right?
 
When I owned them they were not Dover. But I no longer have any version of them.
 
Both my "Counterexamples in Analysis" and "Counterexamples in Topology" are Dover editions.
The latter text got me through undergraduate topology. I love that little book so very much.
 
Some of Steen/Seebach (the topology one) is available on-line, last I looked.
Actually, as a searchable website.
 
6:17 PM
@TedShifrin Neato!
 
@Jakobian let me know if you figure this out, sounds interesting
 
I think one just have to figure out how to make the terms not in an annihilator small enough. But for every linear functional at once. By adding some constant
Like, if x*_i are linear functionals not zero on Y, and x is in X, then exists y in Y with <x+y, x*_i> all small
That'd do it
 
6:43 PM
And Dover know how to make books that last. I have a 50 year old Dover book on geometric dissections that's still in excellent condition.
 
7:02 PM
@Koro On a related note, I remember I read E. Hopf once said "Ergodic theory is statistics and statistics is measure theory. "
 
That isn't correct.
Ergodic theory is statistics. Statistics is probability. Probability is measure theory.
And, of course, measure theory is really just the theory of linear functionals. :P
 
I don't know what mood Hopf was in. I remember it was in the back cover of Kolmogorov's probability book.
> Dover paperbacks had sewn pages, unlike most paperbacks which were held together with glue and subject to page drop-out.
We can all be thankful to Dover. Every maths student has to have at least one Dover in their possession.
I recently noticed though they are not printing any new copies of The Joy of Cats.
 
Good. The world doesn't need more category theory. :P
 
Lol.
On a serious note, I saw the authors already made them available online. But a Dover paperback is more valuable, I guess.
 
paper > digital
 
7:16 PM
Even Goldblatt's introductory treatise on topoi is now being printed in few numbers. What's going in the headquarters of Dover, I wonder.
I guess since the original creators of Dover are no more, and the business has changed hands, maybe they have changed mind... Who knows.
 
@XanderHenderson Except for searchability! And most indexes are very crummy.
 
@TedShifrin INDICES!
(Also, yes, searchability is the advantage of digital.)
 
One of the underrated and cheapest Dovers is Grenander's Probability on Algebraic Structures. Fortunately, they are still printing it.
@TedShifrin can we send recommendations to Dover?! That would be awesome.
 
7:44 PM
Given a measure space (X, F, mu), $f_n$'s are given to be non negative measurable. $f_n$ decreases pointwise to $f$ and $f_1$ is given to be integrable. Then $\int f=\int f_n$
Proof: Let $g_n:=f_1-f_n$. Then $g_n$'s are non negative and increasing pointwise to $f_1-f$. So by monotone convergence theorem, $\int f_1-f_n\uparrow \int f_1-f$
$\int f_1-f_n=\int f_1-f+\int f-f_n$, whence $\int f-f_n\uparrow 0$.
 
@User1865345 I did so as a university faculty member. I have no idea if they cared.
 
$\int f=\int f- f_n +\int f_n$, whence $\lim_n \int f_n=\int f$. $\square$
 
I know that if we have two sets A,B then the cl(A)+cl(B)\neq cl(A+B) where cl denotes the closure. But can one speak about equality if we assume something more? So is there such a statement or not?
 
@User1865345 @TedShifrin can send recommendations to Dover. People listen to @TedShifrin.
 
8:03 PM
There is Dover Illuminati. I knew it!
 
8:24 PM
@XanderHenderson Have you proof?
@Overtherainbow How are you adding sets?
 
pointwise @TedShifrin
 
@TedShifrin Yes, but this comment box is too small for it.
 
@Overtherainbow are these subsets of a vector space?
 
@TedShifrin yes of l^2
 
 
2 hours later…
10:43 PM
I can't remember where to find a thing I saw before: a toy/game where you build a visual propositional logic proof by connecting arrows with proposition values as the inputs and outputs to blocks representing inference axioms. It supported a number of different axiom systems.
Aha. The Incredible Proof Machine, incredible.pm
 

« first day (4445 days earlier)      last day (568 days later) »