« first day (2448 days earlier)      last day (2869 days later) » 

00:00
sure
Evaluate the following integral: $\displaystyle\int_0^{2\pi}e^{\cos(x)}\cos(x-\sin(x))\ \mathrm dx$
0
you aren't even trying
@WillNjundong $\displaystyle \int_4^{13} x^3 \ \mathrm dx$
@DHMO Sorry, had a typo
00:02
tf is P and those bars surrounding it
@SimplyBeautifulArt alright
probably a norm
P for partition
the length of each partition goes to 0
@DHMO could you explain what happens to the P ?
@WillNjundong The P is just $\Delta x_k$
@SimplyBeautifulArt I'm not seeing any method
00:04
ahh thank you
@SimplyBeautifulArt do you have any hints?
00:18
@DHMO Circles
heh
I'm still not seeing anything
Well...
$$\cos(x)=\Re(e^{ix})$$
nope
$$I=\Re\int_0^{2\pi}e^{\cos(x)}e^{i(x-\sin(x))}\ \mathrm dx$$
$$=\Re\int_0^{2\pi}e^{ix+e^{-ix}}\ \mathrm dx$$
What the hell
00:23
$$=\Re\int_0^{2\pi}e^{ix}e^{1/e^{ix}}\mathrm dx$$
Perfect scenario for a $u=e^{ix}$, which results in an integral of radius one, counter-clockwise about $u=0$.
nope
$$=\Re\int_{|u|=1}\frac1ie^{1/u}\mathrm du$$
Yup
This reduces down to $2\pi$ by Cauchy's Residue theorem
Oh, oh — @Balarka is unsleeping again
@TedShifrin Did you see my message?
Probably not.
00:25
1 hour ago, by DHMO
@TedShifrin Are you saying that if $S$ is a commutative sub-ring of $R$, then polynomials in $S[x]$ satisfies my criterion?
Hi @Ted
@SimplyBeautifulArt, enjoying contour integration ?
I think so, @DHMO.
Hi Zach.
@AlessandroCodenotti I don't think I thought much about it afterwards.
@ZaidAlyafeai :D Just once in a while
00:25
Hi @Ted. I just woke up.
@SimplyBeautifulArt Nope. Can't be done.
@DHMO Why not?
you're cheating
nothing
$y=y' \ln y'$
@ZaidAlyafeai Also enjoying fooling with people
@ZaidAlyafeai Can you solve the following integral? $\displaystyle\int_0^\infty\frac{\ln(1+x)}{x^2}\ \mathrm dx$.
@Alessandro Here's a link after googling around.
April Fools was more than two weeks ago.
Please don't spoil @DHMO
00:28
It's a cruel month, @Ted.
The integral can be generalized to

$$\int^{2\pi}_0e^{\cos \theta}\cos(n\theta -\sin \theta)\,d \theta=\frac{2\pi}{n!}$$
I could just disappear, @Balarka.
@ZaidAlyafeai Well that's trivial once you see how it's done
@TedShifrin Disappear? Why?
To avoid the cruel stuff.
00:29
Ah.
I'll be gone for a month soon enough.
@BalarkaSen, hey friend.
@TedShifrin :-(
Well that was an oblique reference to Eliot.
And the Orange Cheeto probably won't allow me back in the country ... so it might be forever.
00:29
Where are you going?
Why are all the awesome people leaving!?!?!
Hi @Zaid.
LOL, @BAlarka, quite oblique, but good for you :)
@TedShifrin any idea?
$y=y' \ln y'$
to Europe for a month, @Balarka.
00:30
@SimplyBeautifulArt I can't it diverges.
Any idea what, @DHMO?
@DHMO Expand $y'=\frac{dy}{dx}$ and use logarithm rules xD
@TedShifrin $y=y' \ln y'$
@ZaidAlyafeai Aw darn, you catch on fast
For vacation, I hope. Lots of fun.
00:31
@SimplyBeautifulArt very funny
My bet is that you're never solving that, @DHMO.
someone in the comment section mentioned Lambert-W function
@DHMO You mean after exponentiating both sides?
That's ugly af
Hi @Faust
00:33
Near 0 we have

$$\int^{\epsilon}_0 \frac{\log(1+x)}{x^2} \sim \int^{\epsilon}_0 \frac{1}{x}$$
@ZaidAlyafeai I asked that integral earlier, and they were all actually trying to solve it.
Is it reasonably fair to say that if you try to break a statement using the Cantor set and fail, it's probably worth it to switch gears and prove its truth?
I get that vibe :P
Awfully vague, Demonark.
@SimplyBeautifulArt , try this ?
$$\int^1_0\frac{\mathrm{Li}_p(x)\mathrm{Li}_q(x)}{x}\,dx$$
True
00:38
I am working on this one

$$\int^1_0\frac{\mathrm{Li}_p(x^n)\mathrm{Li}_q(x^m)}{x}\,dx$$
I guess like, if any "nice" proposition (well-defined notion is well-defined) is false, it's probably false on the Cantor set somehow
you're getting worse, Demonark.
I mean this isn't formalizable in any way
Just in a loose sense, like if you try to disprove something using the Cantor set as a counterexample and it doesn't work, you might be better off trying to prove that it's true
As a Cantorexample... hehe
I understood that ... but "something" needs a lot more narrowing down.
Say, most of the statements that you're likely to come across in your first year of analysis
00:45
All closed sets are connected?
I mean, measure theory problems
All nowhere dense sets have measure 0?
Fat Cantor set provides the counterexample, no?
oh, so now you throw in "fat" ... sigh.
I mean all Cantor sets are homeomorphic so... shrug
00:47
Prove that if a polynomial $f:\Bbb R^2 \to \Bbb R$ has finitely many zeroes, then $f'=0$ at those zeroes.
I am sure your metaprinciple is wrong, but I don't have the energy or interest to worry about it.
That's fair
Surely you jest, @DHMO.
@TedShifrin how?
Oh, I see ...
00:48
Those are critical points
otherwise you get 1-manifolds as zero locus, etc etc
It's one of the main reasons that $\Bbb R$ sucks and everyone should use $\Bbb C$.
Why are those critical points?
there are finitely many zeroes
Ah
Got it
@DHMO In particular, that holds for any smooth function $f$, not just polynomials.
00:51
@BalarkaSen thanks
is there a theorem "smooth iff analytic" for $f:\Bbb C\to\Bbb C$?
hell no
$f(z)=\bar z$
what about everywhere differentiable iff infinitely differentiable?
that's even worse
@ZaidAlyafeai Ugh, products
00:53
Nope.
lol
I wonder what $\dfrac{\mathrm d}{\mathrm dz}\bar{z}$ looks like
Like 0.
Although I'm not sure what you mean by $d/dz$.
what?
@TedShifrin differentiation?
wrt what variable
@DHMO You probably want to use $\frac\partial{\partial z}$
00:54
@SimplyBeautifulArt why?
He doesn't know about $\partial/\partial z$ and $\partial/\partial \bar z$.
Wait I thought all holomorphic functions were analytic on the domain in general...
@BalarkaSen Darn, beat me to it
retracts to corner before smack
00:55
what, we can't differentiate w.r.t. z?
heh
calls from corner but really I'm confused now
muzzles Demonark in corner
$\mathbb{HALP}$
00:59
$\Bbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
@Daminark I SEE SOMEONE IN NEED
$(P^2+Q^2)(P-Q) = \textbf{0}$ @TedShifrin this much better
$\it0123456789$
No but really isn't it true that complex differentiable functions are analytic in the right domain? I was pretty sure that it was but now my life is being torn to bits in front of me
Demonark: Was that a smooth retraction to the corner? Or merely a retreat?
I don't like $\bf 0$, since I use that for vectors, @DHMO.
01:00
how do you write the zero matrix?
Smooth retract, luckily the room isn't the unit ball so it's all fine
Just retracting to the corner is no weirdness, Demonark. Unless your corner is the entire boundary.
It kind of is...
@Daminark Yes it is.
No need to sweat over that :P
But... then how is DHMO's statement false?
01:04
He said iff
complex analytic and real analytic are of course quite different
And yeah, that.
complex analytic = holomorphic :D
@TedShifrin how do you write the zero matrix?
01:04
Doesn't analytic imply smooth by default? You have to be infinitely differentiable if you want it to be analytic
I use capital O, as I did earlier, @DHMO.
@Daminark I said iff
@TedShifrin that's weird
@Daminark But smooth does not mean analytic.
No I mean, smooth -> differentiable -> analytic -> smooth is the chain I imagined
Not in the real analytic world.
Real smooth does not mean real analyic
01:05
Oh I thought we were speaking complex analytic
Complex differentiable, hence complex smooth, does mean complex analytic
Analytic always means smooth, real or complex
OK so my reality (complexity) has been restored
go work on a division ring or something man
Division RING
hi everyone
If you liked it then you should have put a module on that ring
(Yes, I know that was terrible)
01:10
Lol for now I'll work with manifolds and measures
I think complex differentiable is a poor name since it hides the rigidity of the notion. Differentiability is inherently a real concept, and complex differentiable is a very strict enhancement of real differentiable (equivalent to satisfying the CR equations at a point).
Next year is when I'll dedicate my soul to algebra & co
I think the "adverb" complex suffices to distinguish.
I agree with what Mike said. I really think of it as a PDE requirement, rather than differentiability.
that might be because you spend too much time talking to me
01:12
Hell, it's existence of the (complex) limit. Enough already.
Hey
Hi Nate
Hey Zach
How are you?
01:12
I wish I never remembered that game I mentioned
Because I've been playing it non stop
@TedShifrin Yeah, but the same notion doesn't work for quaternionic. What gives?
Addictions are bad when you need to be a serious student, Nate.
Now I have to do so much homework tomorrow
I don't even usually play games that's the worst part
@MikeM: Non-commutative is a different world. Non-associative is beyond that.
OK. I'm just complaining because the good notion I know for quaternions is just the CR eqn's.
Ignore me.
01:14
Any new movie mathematics based? these movies motivate me! any idea?
Yeah Ted I might have to stay up late tonight and do homework all night... I really fucked up
@Daminark Algebra/geometry is awesomeness forget about epsilon crap
You don't forget epsilon crap for geometry, sir.
haha
yeah you got me there :P
@Nate want to hear about my latest (crazy) project?
01:16
“It's a curious thing about human psychology that if you don't have the right mental framework, you sometimes can't see what's right in front of your face."
2
True dat^
Steven Strogatz .
it's also a curious thing about human psychology that it's all a mess
and always will be a mess :-)
@Adeek Algebraic number theory
01:24
yeah may be in future it may be decoded.
Hmm
I got bored and started trying to implement ZFC sets in Coq
It's impossible to "decode" psychology.
But it keeps complaining about "non strictly positive occurrences"
Thinking maybe something based on the Axiom of Foundation might work
hey @BalarkaSen I am trying to understand the following
01:31
59 mins ago, by Ted Shifrin
My bet is that you're never solving that, @DHMO.
0
A: Non- linear ODE's with no independent variable

DHMOThe first one: $$\begin{array}{rcl} y &=& y' \ln y' \\ W(y) &=& \ln y' \\ y' &=& e^{W(y)} \\ \dfrac{\mathrm dy}{\mathrm dx} &=& e^{W(y)} \\ \dfrac{\mathrm dx}{\mathrm dy} &=& e^{-W(y)} \\ x &=& \displaystyle \int e^{-W(y)} \ \mathrm dy \\ &=& \displaystyle \int e^{-u} \ \mathrm d(ue^u) \\ &=& \di...

And I solved three. @TedShifrin
Given the space $\bar{X}$ normal cover of space X. i.e, we have for every point pair $\bar{x}_1$ and $\bar{x}_2$ we have a deck transformation taking $\bar{x}_1$ to $\bar{x}_2$.
then if we take $\bar{X}/G(\bar{X})$ why do we get X again ?
Sure @MeowMix
isn't everything identified to a single-point ?
I wish stackexchange has a Vietnamese page :((
Last night while in bed I was thinking about finding the length of a bisection which cuts a triangle with a horizontal base at a determined height
And it ended up being really trivial
01:34
@Adeek $\tilde{x}_i$ lie over the same fiber. Your definition is wrong
But sort of fun to think about
Normal means deck transformation group permutes each fiber transitively
okay yeah for every pair of fibre points
@skullpetrol not at all
not every Asian language is the same
oh yeah
rightt
I see it now
01:35
Chinese is an interesting language
right I couldn't see it because I was thinking in terms of the wrong thing @BalarkaSen
I see ok
thanks @BalarkaSen
No offence @DHMO :-)
Do you think Vietnamese is a hard language?
@VanessaBrown who are you asking?
@DHMO everyobdy in this rooM!
01:38
@VanessaBrown I know that "good day" is a swear word :p
:P
"Hard" in what way? @VanessaBrown
Challenge: Given $3 \times 3$ matrices $P$ and $Q$ such that $P\ne Q$, $P^3=Q^3$, and $P^2Q=Q^2P$. Find $\det(P^2+Q^2)$.
@BalarkaSen what are you studying now btw ?
what stuff :P
01:42
:P
Stuffing?
Confused as to whether some functional analysis stuff my Analysis I lecturer put into the tutorials is indicative of how hard this course is meant to be >_>
one minute cauchy sequences
next, Baire's category theorem
@Excalibur42 you have an interesting icon
sierpinski carpet :D
02:09
@DHMO why "good day" is a swear word?
@VanessaBrown cut (d)i
@Excalibur42 So I recently did some amount of functional analysis
And both of those things are relevant
Banach spaces are defined out of completeness, meaning you want all Cauchy sequences to converge to something
Yep I figured it's somewhat useful to have a preview of what's to come
Baire Category Theorem is useful for proving the principle of uniform boundedness
I'm still just not terribly comfortable with set theory things so some the proof is still a bit of a struggle to wrap my head around
like why is it the case that if $U$ is dense in $X$, then any non-empty subset of $X$ has a nontrivial intersection with $U$?
02:19
PUB (as it's called) states that if you have a family of bounded linear operators functions which are pointwise bounded, then they are uniformly bounded
Not every non-empty subset of $X$
Every non-empty open subset of $X$
oh yep missed that right
I looked it up and it's an iff condition for being dense, but it's just dropped in the proof like assumed knowledge
Yeah, I mean it's not too hard to prove
sure >_>
So I imagine your running definition of "dense" is that its closure is the whole space?
02:23
So let's say a set's closure is the whole space. Then every point is either in the set or a limit point of that set
Anonymous
Does contour integration help to simplify all definite integrals or something? I'm planning to learn it. Can someone tell me from where to start?
@Daminark yep
Anonymous
Is there any good video lecture course available on it?
oh wait
okay so then take any $x \in A \subset X$, since $U$ is dense in $X$, then $x \in U$ or $x \in \partial U$
So now, given any open set, choose a point. Either it's in our dense set and we're done, or it's not, in which case it's a limit point, so any ball around it (and one must exist because the set is open) will intersect the dense set
02:26
if $x \in U$ then we're done, otherwise since $A$ is open, take an open ball around $x$ and... yep
:36752682
okay yeah no that definitely makes sense awesome
thanks @Daminark !
No problem!
Zach tell me what you're working on
Anonymous
@BalarkaSen @DHMO Any of you there? Need some advice regarding contour integration...
02:27
@blue "just ask; don't ask to ask"
If you're doing BCT you'll probably learn about nowhere dense sets and first category sets, it'll do you good to really internalize all the various characterizations
Anonymous
@DHMO Already asked ^
of course not all definite integrals
it isn't a panacea
Anonymous
I wanted to know how contour integration helps over normal integration
surely it helps
02:28
It does give a general technique for doing definite integrals.
some problems can be done rather quickly by contour integration
I can recommend books but I don't know of lectures
just find online lectures
@Daminark yep the bit before this part of the tutorial sheet was introducing dense and nowhere dense sets, showing that a closed set is nowhere dense iff its complement is dense, and showing the Cantor set is nowhere dense in [0,1]
Anonymous
I mean I find that normal integration uses too many tricks that are hard to remember at times. Does contour integration give a straightforward approach to all definite integral problems?
02:29
Only just learnt about the cantor set yesterday and quickly blew my mind thanks to youtube haha
Anonymous
@BalarkaSen Yeah, go on
Anonymous
Which book?
The Cantor set (plus its variants like the fat Cantor set) seems to be a kind of canonical counterexample to everything you wish was true
@DHMO wow! So I think you know a little bit about Vietnamese :-)
There's a Schuam series book, titled "Complex Variables".
02:31
@VanessaBrown nah, that's all I know
I also know that Vietnamese shares some vocabularies with Chinese due to borrowings
Yeah it's funny I chose sierpinski's carpet as my icon way back in high school and this is just coming up now haha
Anonymous
Anonymous
Thanks
If Schaum is a bit terse @blue, I recommend trying a book by Narasimhan called "Complex Analysis in One Variable"
(I kid, that book is harsh)
@Excalibur42 Have you done measure theory and Lebesgue integration yet?
02:35
nope, this is my first analysis course. 2nd year though, and following on from two semesters of introductory real analysis last year
we did a tiny bit of measure theory in one extension lecture
Doing functional analysis before measure theory is merp
I mean wait are you going deep into the functional at all?
55 mins ago, by DHMO
Challenge: Given $3 \times 3$ matrices $P$ and $Q$ such that $P\ne Q$, $P^3=Q^3$, and $P^2Q=Q^2P$. Find $\det(P^2+Q^2)$.
ahaha yeah my uni throttles mathematics in comparison to others in Australia
Like Baire Category by itself is a statement of topology, we did that early in analysis anyway
uh yeah so I looked at the other tutorial sheets and it looks like my lecturer is just doing some extra functional analysis kind of stuff for us in parallel with the actual course content, but it's not assessable
02:37
But if you're actually getting into the stuff like we did, it's kinda bad because you can't talk about $L^p$ spaces
I don't know what functional analysis actually is so idk if we go "deep" into it
He went on a tangent in one lecture and introduced us to what a topology is which was great
(we were meant to be doing continuity)
And we started off toying with series and $\ell^p$ spaces, which I found to be a waste of time (better do measure theory first and cut out that stuff, then get to more operator theory or smth)
Ah, I see
idk though every time a sup metric or $C[a,b]$ metric space comes up it feels like everything just flies out the window and I've no idea what's going on
sequences of functions hurt to think about
It's tricky to start with but you'll want to learn them well, that stuff is important
Yeah definitely
02:41
Did you do Arzela-Ascoli?
that's next chapter we're covering in our notes I think
Just finishing up lecture break now and when we get back we'll be doing uniform convergence of functions
then ODEs after that
then open cover definition of compactness
Arzela-Ascoli and Stone-Weierstrass are the two titan theorems that you learn early on in analysis, they're pretty important so make sure to keep that in mind
Did you originally do compactness with sequences?
yep
and yeah in the notes it's like "this is an example of a non-trivial theorem"
oh wait no my bad, that's in reference to showing sequential compact iff compact
but hey that's like 2 weeks away so I'm not losing sleep just yet
except, maybe, from pathological set theory constructions
Yeah you have to go through a bunch of Lindelof stuff to get there
man I really prefer algebra tbh
02:53
@DHMO and do you know what does "cut di" mean?
@VanessaBrown I forgot what it means
Like, prove that if a space is sequentially compact, that it's separable. Then it's second countable because metric spaces. Then that's Lindelof, and you can show that any countable cover has a finite subcover because otherwise you could find a sequence with no convergent subsequence by just choosing something that's in one element of the cover and not the previous ones
Lol algebra's fun, and it feels more like the subject where the results are true because they just should be
@DHMO its mean go away :v
@VanessaBrown I see
Yeah there's no equivalent "oh wow that's crazy awesome" moment in Analysis that I'm aware of like proving compass and straightedge constructions with field theory
02:55
Its mean go away :v slang way to say it
I find it peculiar that you do algebra before analysis
1
Q: Subspace and open set on $E^1$

Roeny Let $A=\{0 \} \cup \{\frac {1}{n}|n=1,2,3, . . . \}$ be a subspace of $E^1$ My question : (a) is the singleton set $\{\frac {1}{n}\}$ open in $A$ ? For all $n \in N$, the singleton $\{\frac {1}{n}\}$ is a closed subset of $E^1$. Let $X=\cup \{\frac {1}{n}\} $. Then, since the sequence $\{...

Does anyone know what $E^1$ means?
Does it mean the same as $\Bbb R$?
@DHMO I know Fleming uses $E^n$ to mean $\mathbb{R}^n$
Euclidean space
I did Algebra I last year whilst I was doing a real analysis course, so I'm like a semester ahead in the algebra stream now
Oh, thanks @Daminark
02:57
in comparison to analysis
Ah, I see
Here they make the honors classes for algebra and analysis simultaneous so no one does both simultaneously
To be fair, even if you could it'd be suicide
Dang
How many honors classes can you reasonably take?
Basically 45-50 hours a week at minimum on problem sets, which is a bit much
Eh, depends on which ones
yeah that sounds similar to taking Analysis and Galois theory atm
@BalarkaSen still around
?
02:59
spend one day on analysis, the next on galois, and bang you're behind on both

« first day (2448 days earlier)      last day (2869 days later) »