« first day (2853 days earlier)      last day (2171 days later) » 

3:19 AM
TIL: The 3D equivalent of a degree is a square degree. The 3D equivalent of a radian is a steradian. The 3D equivalent of a turn is a spat.
 
what's the 3d equivalent of a dab
 
(A turn is 360 degrees, or $2\pi$ radians.)
There are approximately 41253 square degrees in the sphere.
(equaling one spat.)
 
im not sure if this is what you're looking for, but from $f-Y$ vanishing on the two lines $Y=\pm 1$ (they vanish on $x\ne 0$, but because the vanishing locus is closed it follows that they also vanish on $(0,1)$ and $(0,-1)$), you can deduce that $f = Y + c(1-Y^2)$ in $k[X,Y]/(X(1-Y^2))$ for some $c\in k[x,y]/(X(1-Y^2))$ and I guess you can argue that this must vanish, by e.g. putting $x=0$ in

not sure if this is what you want
 
The solid angle subtended by a face of a regular tetrahedron at the opposite vertex is apparently around 1/23 of a spat.
 
what about 4D?
including time, I guess
5D could include temperature
 
3:27 AM
This is geometry, it's all spatial dimensions
 
Has anyone noticed that there's a Dr. Lee D. Carlson who has reviewed almost every maths book on amazon?
8
 
I imagine you just get a cubic degree or a cubic radian
Hm. Inch, square inch, cubic inch, what's next?
@Symposium I have not
Interesting
 
@AkivaWeinberger His reviews are very detailed! There's over 1100+ of them (not just maths I assume, but I wouldn't be surprised!)
 
@Symposium is he a prof?
thanx for the info btw
 
I've no idea. But he sure reads a lot of maths!
There's one of his reviews!
 
3:36 AM
I'm gonna go over the proof later but if anyone finds a problem lmk tia
 
He has 'Two Shades of Seduction 2 Book Box Set' on his wish list.
 
if you like his reviews, get it for him! :D
 
the best summary I've read for all the XX commercials are
"I don't always make sense. But when I do, I don't."
 
Haha!
 
3:39 AM
A few readers have Emailed me asking how I manage the time to read. But it should be noted that the books I have reviewed I have read over the span of about 35 years. The reviews are posted at my leisure, and it should not be concluded that a book review that is posted 3 days after a prior one implies that the book was read in three days. Most of the books I have reviewed I read long before Amazon was even conceived. The books were therefore not read in the sequential order in which their reviews are posted.
 
You know, I'd be delighted to buy that for Dr. Carson, but he may freakout by a 'stalker' sending him items from his wishlist and stop writing the amazing reviews. xD
Woow, makes total sense!
 
He does seem well read
 
lol he has a twitter account which is tons of photos/paintings of pretty women in more-or-less pg-13 settings XD
 
... For he's the most interesting man in the world!
 
and memes
 
3:43 AM
He gave this five stars amazon.com/gp/aw/d/0465032710/…
I might get it
 
actually no I take it back, most of the stuff is pg, but it's safe to say he's a heterosexual
and enjoys art
and memes
 
What a legend!
 
lol
he's an applied mathematician it says
he retweeted this identity
 
Occupation: Mathematician/physicist. Education Level: PhD (Physics, 1989, University of Texas At Austin) Income Level: Live very comfortably Location: Belcamp (suburb of Baltimore) Race: White Ethnicity: Swedish/British hybrid Religion: Atheist Sexual Orientation: Heterosexual Research Projects: 'Quantization of Mathematics'(in progress). What would happen if mathematical structures were viewed from a strictly 'quantum' point of view?
 
His twitter is lit
 
3:47 AM
This research is thus an attempt to view mathematics from such a 'quantum strategy'. My statement on Amazon reviews: All the books I review I have read completely or if not have indicated as such in the review itself.
 
@GFauxPas I appreciate
Euler
 
lol I read that as "Sexual Orientation: Heterosexual Research"
 
Haha
 
I originally saw "Heterosexual Research Projects"
I think we can stop stalking the guy now though
 
"so what kind of research do you do" ;)
 
3:49 AM
Well, actually, Twitter's fair game, I guess
 
yup
FB too
 
So, here's a thing
 
GFauxPas has special skills! Found everything.
 
@skull Less so
 
We haven't even got to Linkedin lol.
 
3:50 AM
So angle of a triangle at its vertex is 1/6 of a circle
The solid angle of a tetrahedron at its vertex is approximately 1/23 of a sphere (it's irrational)
I think it's irrational as you continue to go to higher dimensions
and I would bet that it goes to zero
 
it's so weird that the volume of an $n$-ball becomes arbitrarily small for $n$ sufficiently large
it's weird to me at least
tangential point but
ya
 
In other words, if you choose $n$ numbers from $[-1,1]$ independently at random, the odds that the sum of their squares is 1 is much less than the odds that they're all positive.
 
that's an interesting way to look at it
is less than one you man
mean
 
Hello, Is there a concise, not concise, even asymptotic way to find a sum $ \sum_i x^{k^i} $ ?
 
3:54 AM
Much less than 1/2^n
Note the the smallest cube containing the sphere has volume $2^n$
 
abr you need to say $x^{k^i}$ or ${x^k}^i$ depending on what you mean (probably the former)
 
@Abr001am x^{k^i}
 
worked!
 
is $k$ rational
 
I think the answer is no, but one of the Jacobi theta functions is defined similarly to that IIRC
 
3:56 AM
integer.
 
A special case of this is with $k=2$, giving the sum as $x+x^2+x^4+x^8+\cdots$
and I asked about that on MO here:
11
Q: Distribution of zeroes of lacunary functions

SemiclassicalIn a recent Math Stack Exchange question I asked about the function $$f(z)=\sum_{n=0}^\infty z^{2^n},$$ and was informed of its status is a canonical example of a lacunary series with natural boundary at $|z|=1$. A phenomenon observed by the accepted answer was that this function has a multitude ...

 
If you plug in 1/2, it's transcendental, I think
 
I thhought of posting a question in this subject in main for every general term $k$
but then i suspected it existed under different form.
 
so you want to post countably infinitely many questions
?
 
More generally, such sums are examples of lacunary series since you've got larger and larger gaps between subsequent powers (i.e. most of the coefficients are zero)
 
3:57 AM
@Semiclassical To count zeroes, don't you just need to compute a complex integral?
 
Numerically, yes.
 
The log, or something
 
Argument principle, yeah
That's the best way to count how many zeros lie within a circle of radius $r<1$.
 
@GFauxPas dude lol no, just for each variank $k$, because for the special case $k=2$, the question exists.
 
WUZ JOKE
 
3:58 AM
Problem is, the function doesn't converge at $|z|=1$
 
how can it have infinitely many zeroes inside the unit desk, then $0$ would be a limit point and it would be $0$ everywhere in the disk?
 
And apparently figuring out the asymptotics of the zeros in the unit circle is hard
 
oh it doesnt converge at $|z|=1$
well that will ruin it
 
Yeah
anyways, pertinent portion from the answer to that question:
 
@Abr001am I suspect there is no formula (closed form) for it. But finding it numerically (i.e., finding the first few digits of it for specific values of $x$ and $k$) should be pretty easy
 
4:01 AM
"In addition to the unique real zero at z=−0.658626…, Mahler in a 1982 paper
determined, to within eight decimal places, eight complex conjugate pairs of zeros of f(z). This gives a total of 17 fairly precisely located zeros. At the end of that paper he conjectures that there are infinitely many; in fact, in an earlier paper...he says that he expects every point on the unit circle to be a limit point of zeros of f. I do not know if his conjecture has since been proved or disproved."
 
'cause the terms should go to zero pretty fast if it converges
 
@AkivaWeinberger yeah, but near the boundary is tougher
 
Mm. True.
Well, still.
 
that's a weird idea
 
How near are we talking?
 
4:02 AM
good question
 
the zeros being dense on a circle , analytic on the inside
would be cool if it were true
 
0.999^1000 is actually much larger than I thought it would be
 
@AkivaWeinberger that says x<=1, because if it's strictly positive, the sum flies to infinity
 
Oh, duh, it's about 1/e
@Abr001am Nah, if it's between 0 and 1 it should be good, too
Right? 'Cause you can bound it by a geometric series
 
oh well <=1 yes
 
4:04 AM
yeah
 
I think it converges if and only if it's between -1 and 1
 
for real x, sure
but you can do complex x just fine
 
Right, yeah
 
Anyways, the bottom line is that there's no known closed form that series and I wouldn't expect for a moment for their to be one.
Most you can hope for are asymptotics, and even this seems tough near the boundary
 
i tried expandin terms, without any good aim, i think the best way is to go around this by theta theorem
 
4:06 AM
10 mins ago, by Semiclassical
A special case of this is with $k=2$, giving the sum as $x+x^2+x^4+x^8+\cdots$
Oh, I was gonna say something about generating functions and binary, but I think I'm wrong
What I was thinking would work for $(1+x)(1+x^2)(1+x^4)\dotsb$, I think
Would that be $1/(1-x)$?
@Semiclassical
 
hmm
I don't think so
oh, yes
 
Oh, you can compute the partial products explicitly
 
since multiplying your product by $1-x$ gives $(1-x^2)(1+x^2)(1+x^4)\cdots = (1-x^4)(1+x^4)(1+x^8)\cdots = $
 
user131753
Does anyone know how to answer the following question?
 
user131753
5
Q: Characteristic Polynomial of Restriction to Invariant Subspace Divides Characteristic Polynomial

Ben BrayI am interested in finding a proof of the following property that does not make reference to bases, and ideally doesn't use facts about determinants that depend on the block structure of a matrix. Let $T \in L(V,V)$ be a linear operator on a finite-dimensional space $V$. Suppose $W \preccurl...

 
4:12 AM
Ah, that works too
I was thinking of uniqueness of binary representation
 
makes sense
anyways, the bottom line is that lacunary series are weird
 
I think yeah.
Ooops
I remember I knew a nice to get that special case.
We have $\displaystyle \prod_{0 \le k \le n}\left(1-x^{2^{k}}\right) = \frac{\left(1-x\right)}{\left(1-x^{2^{n+1}}\right)}\prod_{1 \le k \le n+1}\left(1-x^{2^{k}}\right) = \frac{\left(1-x\right) }{\left(1-x^{2^{n+1}}\right)}\prod_{0 \le k \le n}\left(1-x^{2^{k+1}}\right). $

But $\displaystyle \left(1-x^{2^{k+1}}\right) = \left(1-x^{2^{k}}\right)\left(1+x^{2^{k}}\right)$, thus $\displaystyle \prod_{0 \le k \le n}\left(1-x^{2^{k+1}}\right) =\prod_{0 \le k \le n}\left(1-x^{2^{k}}\right)\prod_{0 \le k \le n}\left(1+x^{2^{k}}\right). $
Taking the limit $n \to \infty$ gives the result.
 
4:28 AM
@user170039 Answered
 
Three months and a few days xD
 
Oh lol
But yeah the point is that, if a restriction of a matrix has zero determinant, then the matrix has zero determinant
(You can only define the determinant of the restriction if it's to an invariant subspace, so that it's a square matrix)
 
Very nice. Matrix-free ways are simpler/more elegant when reading, but harder to come up with.
True or false: If two definite integrals $I$ and $J$ are equal there's a transformation/substitution that turns $I$ into $J$.
 
Oh, this doesn't quite work if there are repeated roots… — Akiva Weinberger 12 secs ago
:(
@Symposium If you make that precise, I think it's an open question
Not sure where I heard it from
I think it's also an open question whether there's a "nice" definite integral equaling $\frac1\pi$
(I forget what the exact conditions were)
 
4:43 AM
That's interesting.
I remember reading a book that once referred to this result as 'proven', and referred to a paper. I forgot the paper.
It may have been a narrow version or something.
I'm gonna check again.
 
5:04 AM
The claim seems to be remarkably absent from the book I remembered it from. O_o
 
5:16 AM
Lebesgue integral: bounded function -> nonnegative unbounded function -> any function
(function = measureable function)
 
i guess technically you should start from simple functions - which is when things are easy!
 
@loch my book doesn't start defining it from simple functions though
 
oh
interesting
so how did they define lebesgue integral for a bounded function ?
 
for $f:[a,b] \to [-M,M]$
 
Hey there
 
5:24 AM
a measurable partition is a finite collection $P = \{S_1, S_2, \cdots, S_n\}$ of subsets of $[a,b]$
such that $\cup S_i = [a,b]$ and $i \ne j \to m(S_i \cap S_j) = 0$
 
It's like farther Vs further
 
Then the lower sum $L(f,P)$ is defined as $\sum m(S_i) \inf \left( f\upharpoonright_{S_i} \right)$
then $U(f,P)$ is defined similarly
then the lower integral is just $\sup L(f,P)$ across all partitions $P$
and then the upper integral is $\inf L(f,P)$ across all partitions $P$
when they are equal, $f$ is Lebesgue integrable
@loch ^
 
oh
sure
 
how do you define it?
 
i guess it's just saying it without using the word 'simple function'
 
5:26 AM
I don't see how they fit in
they have us later to prove that the integral of a simple function is what we think it is
 
Can anyone proof X c f laws?
I tried but got confusion in the middle
 
i think you assume that f takes values in positive real numbers first, and assume its bounded

then take sup of the integral of all the simple functions bounded by f

i haven't looked at these stuff for quite a while though so i could be wrong..
 
@loch oh right
i recall reading that definition in wiki
I suppose they're the same
 
i think this is done e.g. in folland's real analysis iirc
 
I like my book though
it's very user friendly
 
5:29 AM
then for not necessarily positive functions you can decompose them to $f^+$ and $f^-$ and do the same thing
 
@LeakyNun user friendly book? XD
 
well yes iirc it has the word friendly in the title!
 
@loch right
and it lives up to the title
 
XD now there will be a user friendly mathematics
@LeakyNun you are a PhD graduate?
 
nah
@loch I feel like Lebesgue is much more powerful than Riemann
Riemann only partitions by intervals
Lebesgue can partition by any measurable sets
 
5:36 AM
isn't that the whole point :p
 
sure
 
but yes you also have things like monotone convergence theorem and dominated convergence theorem
and i think this is the reason why $L^p$ spaces are complete (hence are banach spaces) - which is pretty important in analysis..
 
6:40 AM
Is there an easier way to see that derivative of $\sin ^{-1}\left(\sqrt{\frac{x-1}{x+1}}\right)+\sec ^{-1}\left(\sqrt{\frac{x+1}{x-1}}\right)$ is $0$?
Or, computing is only option?
@LeakyNun?
 
6:57 AM
in CSIR-TIFR-ISI-NBHM, 16 hours ago, by Maneesh Narayanan
Let $A = \{1,2,3,4,5,6,7,8\}$. How many functions$ f : A → A$ can be defined such that $ f(1) < f(2) < f(3)$?
 
 
2 hours later…
8:33 AM
14
A: The four basic combinatoric formulas?

gimusiWe have the following cases for the number of subsets of size $k$ chosen from a set of $n$ distinct elements: replacement and ordered, "permutation with repetition" $$n^k$$ no replacement and ordered, "k-permutations of n" $$\frac{n!}{(n-k)!}$$ no replacement and unordered, "combinations" $$\b...

 
Zee
9:18 AM
Hello
 
Zee Dee zee
 
 
1 hour later…
10:39 AM
Hi @Mathei
 
@AlessandroCodenotti hi
 
Hi @Leaky
 
did you do measure theory? I vaguely recall
 
We focused mostly on the Lebesgue and Hausdorff measures in the analysis course, but we also did a bit of general measure theory
 
do you remember the proof that measurable functions are closed under addition?
 
10:43 AM
Nope
 
ok
 
But I think it can be done directly by showing that $(f+g)^{-1}((-\infty,t))$ is measurable for all $t$
 
right
I'm trying to visualize the proof
 
It's enough to show that $+:\Bbb R^2 \to \Bbb R, (a,b) \mapsto a+b$ is measurable
Hi @AlessandroCodenotti
 
@MatheinBoulomenos i like the algebraic approach
 
10:48 AM
I had to go yesterday but I'm now reading your messages regarding the infinitely many variables @Mathei
 
@MatheinBoulomenos but I thought measurable functions to $\Bbb R$ are defined differently than morphisms in the category of spaces with measure
 
and the measurability of $+:\Bbb R^2 \to \Bbb R$ follows from continuity
@LeakyNun I don't understand the question
composition of measurable functions is measurable
 
you define $X \to \Bbb R$ to be measurable differently than $X_1 \to X_2$ to be measurable
 
I don't think so
 
in the former, only the preimage of rays have to be measurable
 
10:51 AM
but the rays generate the Borel $\sigma$-algebra on $\Bbb R$
so it's the same thing
 
but not the Lebesgue $\sigma$-algebra
 
yeah, but it's still a special case of the usual definition
you just put the Borel $\sigma$-algebra on $\Bbb R$ in the codomain
 
@MatheinBoulomenos I don't think that's correct, $g\circ f$ with $g$ continuous and $f$ Lebesgue measurable is Lebesgue measurable, but that can fail if $g$ is Lebesgue measurable rather than continuous
 
why are we talking about Lebesgue measurable here?
 
anyway, the proof goes like $(f+g)^{-1}((-\infty,t)) = \{ x \mid f(x) + g(x) < t \} = \{ x \mid f(x) < t - g(x) \} \\ = \displaystyle \bigcup_{q \in \Bbb Q} \{ x \mid f(x) < q < t - g(x) \} = \bigcup_{q \in \Bbb Q} f^{-1}((-\infty,q)) \cap g^{-1}((-\infty,t-q))$
@MatheinBoulomenos because I'm doing Lebesgue integration
 
10:55 AM
yes, but Lebesgue measurable means that the preimage of each Borel set is Lebesgue measurable
 
Ah, I see what you mean now
 
hmm
 
I'm claiming that $+:\Bbb R^2 \to \Bbb R$ is Borel-measurable where we put the Borel-$\sigma$-algebra on $\Bbb R$ and on $\Bbb R^2$
 
$f:(X_1,\Sigma_1,\mu_1)\to(X_2,\Sigma_2,\mu_2)$ measurable and $g:(X_2,\Sigma_2,\mu_2)\to(X_3,\Sigma_3,\mu_3)$ implies $g\circ f$ measurable
 
this is a statement about general measurable spaces, the Lebesgue $\sigma$-algebra is not relevant
 
10:57 AM
Doesn't work with two Lebesgue measurable functions because we change $\Sigma_2$ depending on whether we're using $\Bbb R$ as domain or codomain
 
So measurable functions in the context of integration is a morphism $(X, \Sigma) \to (\Bbb R, B)$?
 
ah, I see why it works then
 
even if $X=\Bbb R$ and $\Sigma$ is the Lebesgue $\sigma$-algebra
 
11:00 AM
anyway, let's go back to our primitive proof
5 mins ago, by Leaky Nun
anyway, the proof goes like $(f+g)^{-1}((-\infty,t)) = \{ x \mid f(x) + g(x) < t \} = \{ x \mid f(x) < t - g(x) \} \\ = \displaystyle \bigcup_{q \in \Bbb Q} \{ x \mid f(x) < q < t - g(x) \} = \bigcup_{q \in \Bbb Q} f^{-1}((-\infty,q)) \cap g^{-1}((-\infty,t-q))$
can anyone help me visualize this?
 
what is there to visualize? You're replacing "ands" with intersections and use the density of $\Bbb Q$ (in the order-theoretic sense)
 
well I can visualize $f^{-1}((-\infty,r))$ on a graph via projection
I want to visualize that intersection on a graph
 
11:46 AM
Hello
 
hi
 
hi
 
12:14 PM
@LeakyNun,
6 hours ago, by Silent
Is there an easier way to see that derivative of $\sin ^{-1}\left(\sqrt{\frac{x-1}{x+1}}\right)+\sec ^{-1}\left(\sqrt{\frac{x+1}{x-1}}\right)$ is $0$?
 
@Silent sure
show that it is $\pi/2$
 
Please give some hint!
 
Hello!!

Having $x_2>\frac{1}{x_1}$, $y_2>\frac{1}{y_1}$, and $x_1, y_1>0$ can we bound $[(1-c)x_2+cy_2]^2+[(1-c)x_1+cy_1]^2$ below from $2$ ?
 
12:29 PM
@LeakyNun thank u
 
@Silent you figured it out?
 
yes :)
 
nice
 
12:58 PM
hello
I am looking for a good upper bound for the number of paths in the graph $\mathbb Z^2$ that start from $0$ and whose lenght is $n$.
better than $3*4^{n-1}$
 
1:22 PM
Let $M$ be a smooth manifold. Consider $\Lambda ^k(M)=\bigcup_{p\in M}\Lambda ^k(T_{p}M)$ with the natural smooth structure. With this structure I showed that the $\pi :\Lambda ^k(M)\rightarrow M$ projection is smooth.

Show that a $k$-form $\omega$ is smooth iff it is smooth as a section $\omega : M\rightarrow \Lambda ^k(M)$ of $\pi$.

It is not clear to me the condition: "smooth as a section $\omega :M\rightarrow \Lambda ^k(M)$ of $\pi$".
 
1:33 PM
it's asking for that to be a smooth map of manifolds
 
1:54 PM
How do i find the min value of (x+1)(x+2)(x+3)(x+4)?
 
Hello chat
 
@philmcole Your username reminded me of chemistry -en.wikipedia.org/wiki/Pinacol_rearrangement
 
@tatan Lol, I didn't have this in mind when I created it.
For a bounded real-valued function $f(x,y)$ (not necessarily continuous!) Fubini's theorem says that one can compute the double integral as iterated integral first over $y$ and then over $x$ for almost all $x$. Not necessarily for all $x$ since the inner integral over $y$ must not exist for every $x$. This means the problematic points $x$ are a Lebesgue null-set.

I was wondering if this poses any problem in real life when computing iterated integrals. Is it true, that we can just ignore the problematic points since the integral over a null set is zero anyways?
 
2:17 PM
@tatan Do you know about derivatives? Zeros of the first derivative are candidates for min/max/saddle points.
 
@philmcole that is unnecessary, I believe
@tatan (x+1)(x+2)(x+3)(x+4) = (x+2)(x+3)(x+1)(x+4) = (x^2+5x+6)(x^2+5x+4) = (x^2+5x+5)^2 - 1 = ((x+2.5)^2 - 1.25)^2 - 1
the minimum is -1, achieved when (x+2.5)^2 - 1.25 = 0, i.e. x = -2.5 +- sqrt(1.25)
 
Yeah this is nicer. How did you find this?
 
hello
 
@philmcole eh... how do I answer that
 
I mean how did you figure it out
 
2:25 PM
how do I know how I figured it out
 
Lol ok
 
@Nûr $4 \times 3^{n-1}$?
 
Hi
I would like a better one
Ok I see, there is a slip in my post
I meant $4 \times 3^{n-1}$
 
True or false: If $f:\Bbb R\to\Bbb R$ be integrable, then $f(\sqrt{|x|})$ is integrable.
I tried thinking about Dirichlet function
 
@Silent $f(x) = \begin{cases} 1/x^2 & x > 1 \\ 0 & x \le 1 \end{cases}$
 
2:31 PM
@LeakyNun Thanks
@philmcole I think derivative would be messy
 
I have it as an exercise to prove that the axiom of replacement implies the axiom of specification. So the latter of these states, if $A$ is a set and $Q(x)$ is a statement pertaining to $x\in A$, that $z\in\{ y\mid\exists x\in A \ \text{s.t.} \ Q(x)\}\iff \exists x\in A \ \text{s.t.} Q(x)$. From here, how can get that $z\in \{x\in A\mid Q(x)\} \iff z\in A \land Q(z)$.
 
@LeakyNun Do you think it is complicated to get an asymptotically better bound? It seems to me it is
 
Thanks
 
majormaki, the axiom of extent?
 
2:35 PM
Hence OEIS
 
Nice, ty
 
actually nevermind not sure that helps or if you need it
 
I found this question and left a comment on the answer: math.stackexchange.com/questions/2107214/…
 
@LeakyNun I can't see how it is not integrable
 
@Silent well what is its integral?
 
2:41 PM
@GFauxPas Could you answer my comment?
 
No because I'm not sure what the answer is
 
f(x)f(y)=f(x+y) and f(0) is not equal to 0. then is f(x) odd, even or none?
 
Oh, okay. Thank you.
 
@LeakyNun I am looking at this graph, am it seems like it should be integrable.
 
@Silent so what is its integral?
you see, all this problem is caused by the fact that you haven't defined integrable
this is an improper integral
it diverges to infinity
but $\displaystyle \int_1^\infty \frac1{x^2} \ \mathrm dx = 1$
 
2:52 PM
Oh!
So, if $\infty$ is considered 'good' integral, there is no way to find out a function where $f(\sqrt{|x|})$ not integrable?
 
Conclusion: integrability cannot always be deduced graphically
@Silent “$\infty$ is a good integral”?
 
58 mins ago, by philmcole
For a bounded real-valued function $f(x,y)$ (not necessarily continuous!) Fubini's theorem says that one can compute the double integral as iterated integral first over $y$ and then over $x$ for almost all $x$. Not necessarily for all $x$ since the inner integral over $y$ must not exist for every $x$. This means the problematic points $x$ are a Lebesgue null-set.

I was wondering if this poses any problem in real life when computing iterated integrals. Is it true, that we can just ignore the problematic points since the integral over a null set is zero anyways?
 
@tatan Set $y=0$. Conclusion?
 
@Semiclassical well i can't find better words, do you understand what i mean? Oh, 'acceptable' integral?
 
2:59 PM
Hi. Can somebody explain to me the convergence of $\int_0^\infty t^{2k}e^{-xt^2}dt $ being uniform on $[\delta,\infty)$ for $\delta\gt 0$ ?
 

« first day (2853 days earlier)      last day (2171 days later) »