« first day (2404 days earlier)      last day (2913 days later) » 

00:00
Of a function at point x
I've now abandoned the talk I was watching. Lasted until the last ten minutes.
If you take $\omega = f(x,y,z)dx\wedge dy\wedge dz$ in $\Bbb R^3$ and three vectors $v_1,v_2,v_3$, then $\omega(v_1,v_2,v_3) = f(x,y,z)\times\text{signed volume of the parallelepiped spanned by } v_1,v_2,v_3$.
hi chat.
@quallenjäger: Not in general. Differential forms needn't come from differentiating functions.
Rehi @Semiclassic
Is this part of the conference, @MikeM?
I watched a lot of practice 10-minute talks today, in prep for the annual March meeting of the APS.
00:02
That's next week. Bob E gave a beautiful talk that I got lost at the end of.
I think I gave 2 or 3 10-minute talks in my whole career. I hated talks that short.
Oh, OK, @MikeM.
I haven't seen him in a long while, either.
@TedShifrin thanjs
There was a neat one on certain states on a Penrose quasicrystal
Probably some nice math there.
00:03
@quallenjäger: You might want to watch some of my lectures on this stuff on YouTube if you're interested.
The link is in my profile.
@TedShifrin how can I find it
Oh ok thanks
There are 112 lectures altogether, but there are some explicitly on differential forms, integrating them, Stokes's Theorem, etc.
Sounds interesting
Are you teaching at university?
I retired recently. These were from classes a few years ago.
00:06
Do you think in terms of physics stuff at all, @quallenjäger?
yes I am doing theoretical physics as minor
Oh, so that'll be useful. I did a lot of physical interpretations in the lectures — work, flux, etc.
Hey, easy problem here
If I have P(x) and Q(x) polynomials
$P(x) = kx^3 + x^2 - k$
$Q(x) = x - 5$
I want to find a k such that P(x)/Q(x) has remainder 0
The equation should be $ \dfrac {P(x)}{Q(x)} = C(x) + 0$
Right ?
Trying find equivalent of maxwell
Via differential form
Oh, I didn't do that in the lectures, @quallenjäger, but there is a discussion of it in my book.
It's not hard.
@Maks, because $Q(x)$ is so simple, there's an easy way to do this.
If $P(x)=C(x)Q(x)$, what happens if you plug in $x=5$, @Maks?
00:09
Q(x) = 0
So what does that tell you about $P(x)$ when $x=5$?
Depends a bit if you mean the covariant formulation of it. Misner-Thornton-Wheeler's Gravitation is a standard physics reference for that.
0 ?
k can be every number
but what if x != 5 ?
00:10
That's a cool book. There's also discussion in Abraham/Marsden/Ratiu, and other "math for physicists" type books.
On the other hand when one is just doing vector electrodynamics then things are simple enough.
I don't care, @Maks.
Frankel's book (The Geometry of Physics?) is really cool, too, @Semiclassic.
Why not ? Shouldnt I find an answer that works for every x ?
@Maks: You skip ahead and get yourself lost.
But vector for electrodynamics I will need rot and div, which depends on coordinate
I need something which is coordinate independent
00:12
@TedShifrin :O what ? ...
But you can state all that stuff in terms of differential forms, invariantly, @quallenjäger.
That's in the lectures, too.
That's why I'm looking for it.
Cool!
You need to learn the math, but Frankel's book I mentioned above might be interesting to you.
@Maks: If you plug in $x=5$, you have to get $0$, so what must $k$ be?
Arnold's book on classical mechanics is another reference, but that's a hard one.
00:14
Maybe another thing you might know.
It's beautiful, but it's typical Arnold.
Is it possible to define stochastic differential equation as a bundle over a manifold?
Oh, I see it now, it does work for every $x$, I better shut up and get lost then hahaha
Oh Arnold
I don't know anything about stochastic differential equations, but differential equations can be defined in terms of sections of appropriate vector bundles, yes.
00:15
how would I choose the manifold as the chain rule doesn't hold for Ito formula.
When we were doing ODE I had started using it as a reference
That didn't last too long
Demonark: You do know about Hirsch/Smale's beautiful book on dynamical systems and ODE?
I think I may have seen that one.
Lol Arnold isn't it a Russian book?
Someone found a book by Perko after a while that ended up being aligned well enough with our treatment to be a good reference
00:17
Yes, Arnold is Russian.
Yep. But there are translations.
Russian book are always elegant, but hard
Check out Hirsch/Smale, @Daminark. It's fantastic.
Hirsch-Smale is what they use in the ODE class here
I've heard good things about it
Though I discovered it after we had already moved on
I wouldn't recommend it if it weren't worthy :D
00:18
That's true
Not that you trust me.
@TedShifrin if the chain rule doesn't hold, is there a way to fix it by modifying the manifold?
I don't really understand what that means, @quallenjäger.
Manifolds are just locally Euclidean space, and calculus is calculus.
There are structures, if you like, that are defined in differential geometry, that are not quite tensors, and so they do not transform according to the chain rule. But they're still geometrically meaningful. Connections (so-called Christoffel symbols you may have heard of) are an example of this.
I mean the chain rule between manifold
$F:M \to N$ and $G: N \to O$ two smooth map
You can't break the chain rule with manifolds. As I said, that's all local calculus, and calculus is calculus.
But I know nothing about stochastic stuff.
00:28
@TedShifrin I am watching your videos, nice stuff!
Thanks, @quallenjäger. Some will be slow for you — the class is mostly first- and second-year undergraduates (but very smart ones) in the US.
ok I will need learn the math first I think:D
I find the pace quite accurate as it is very insightful
Well, you know where to find me if you have questions.
I've always wondered about the whole European thing about specializing so early
I'm leaning that it's probably better here
On one hand, there's the fact that you can get so much farther in your own field, but somehow I think that there's a level of breadth that ought be present in education beyond that which is required in high school and such (required in the sense of, this is stuff that all citizens should know).
Also, it seems like this process starts in the last 2-3 years of high school, and in general asking people then what they want to go into, even loosely, is a bit much.
What do you think @Ted?
00:47
I'm back
reverse triangle inequality
Who has a cool geometric or algabraic intuition of thaT?
what's the reverse?
Someone familiar with stochastic process here?
Reverse triangle inequality says that $| \|x\| - \|y\| | \le \|x-y\|$
@KasmirKhaan it just states that any site is greater than the difference between other 2 sites
*side
00:52
@Daminark hi
How's it going?
im ok
umm, so i had a question
so space-time looks like this, right?
Would this be a manifold? Because at each point if you zoom in enough it looks like $\Bbb R^3$
@KasmirKhaan this is quite obvious, as for a straight line this must fulfill
Well, this is a representation of curved spacetime in 3 dimensions, but I think (and right now I'm really talking based on vague/speculative knowledge) it's an immersion of a 4-manifold in $\mathbb{R}^3$
@quallenjäger does it hold the same way in complex numbers?
00:55
I need to see a wrist doctor :(
So spacetime with what's the Minkowski metric (basically, there's some sense in which time is "negative") is, I believe, a 4-manifold. Mass deforms it, but I think not enough that it stops being a manifold unless you're dealing with a black hole
I'm not a physicist so whatever :P
@ZachHauk it is a curved 4d-manifold
that's what i thought
Now, representing it in $\mathbb{R}^3$ is definitely not an embedding, I've heard of something called an immersion so I think it has to do with that
In terms of the manifold structure it's actually the exact same as the pre-relativity Galilean stuff, what matters is the metric
00:58
@ZachHauk and it is far more complicated, as you cannot really move objects like in 3 dimensional space. These are collection of events
Basically, the distance squared between two points is now $x^2 + y^2 + z^2 - t^2$
So now you get Lorentz transformations and a lot of fancy stuff
so it's kind of like how
But now I should probably stop, I'm talking way out of my league with regard to differential geometry and physics. I think I haven't fed you any misinformation, but someone should definitely correct me if so.
if we took a surface in $\Bbb R^3$
and projected it onto the plane
Pretty much
01:01
we'd have like more condensed grid where the surface is more bumpy
01:12
So I started briefly down the wikipedia rabbit hole and it's cool stuff
Hmm
Was thinking of an alternate expression for standard deviation
If v_1, v_2, ..., v_n are the values:
stddev = sqrt((v_1^2 + v_2^2 + ... + v_n^2)/n - (v_1 + v_2 + ... + v_n)^2/n^2)
 
1 hour later…
02:43
can someone explain me why $x_1,x_2$ are real solution on the first example
$x_1=e^{-t}\left([0;2]^T\cos(2t)-i[1;-2]^T\sin(2t)\right)$ and $x_2=e^{-t}\left([1;-2]^T\cos(2t)-i[0;2]^T\sin(2t)\right)$
 
2 hours later…
04:25
Hey guys ,I have asked a qn on main site. ,,,,.
Link
0
Q: Another interesting question on Multinomial;

satyatech I don't know how to proceed with this problem... But as this question was given in chapter of binomial so maybe Binomial theorem comes into usuage.

This may be silly but try putting x = 0and see ?
many terms get 0
That's not really going to help get the desired sum...
ok...
My hint: Given a pair of generating functions $A(x)=\sum_{n=0}^\infty a_n x^n$, $B(x)=\sum_{n=0}^\infty b_n x^n$, consider what the coefficients of their product $A(x)B(x)$ would be (multiply the first few terms out explicitly if it's not obvious). @satyatech
Actually, scratch that. The construction they're asking for is a bit different.
(A variation on the above idea should work, but it's not immediately obvious to me how it's done.)
05:05
Yes the way you told me,I can't use that to implement here..
@Semiclassical
wow a big question i got screwed me out of my mind!!!!!!
What?
A brain buster --------------- A monkey is at topmost of ladder ... (that is at first step) .and his aim is to reach at ninth step which is the water level...he performs this- he jumps forward three steps and then jumps backward 2 steps .. in how many jumps he would reach the water level ???....
any 1 ???
i got around 30 steps ??
i am very much excited about this... any1 got answer @0celo7
@DHMO
05:22
I wasn't asking what the question is, I just think your wording was messed up.
ok
is there any confusion regarding the question ??
ok guys its not a brain buster its brain enhancer .. please help
Hmm. Seems I can't ping Huy.
meaning ?
He hasn't been in this room for 3+ days.
(something like that)
05:26
Well, I'm going to sleep. Good luck @BAYMAX
good luck @0celo7 !
bye!
A monkey is at topmost of ladder ... (that is at first step) .and his aim is to reach at ninth step which is the water level...he performs this- he jumps forward three steps and then jumps backward 2 steps .. in how many jumps he would reach the water level ???....
05:41
hello
@AlessandroCodenotti are you there ?
@DHMO hello
yes?
All he has to do is jump once. Then he falls down the ladder to water level. With any luck, he survives.
@BAYMAX 1 -> 4 -> 2 -> 5 -> 3 -> 6 -> 4 -> 7 -> 5 -> 8 -> 6 -> 9 (11 jumps)
@BAYMAX Gravity is still a thing right?
@DHMO $f_A:E\rightarrow \mathbb{R}$ définie par

$f_A=\begin{cases} 1, ~~, x\in A\\ 0,~~,x\notin A\end{cases}$
$A\subset E$ est ouvert et fermé , et je doi montrer que $f_A$ est continue
est ce que c'est juste de dire:
Si $x\in A$ comme $A$ est ouvert lors $A$ est un voisinage de $x$ , et $f_A(x)=1$, donc $\forall \varepsilon>0, \exists V=A\in\mathcal{V}_x, f_A(x)=1\in ]1-\varepsilon,1+\varepsilon[$

d’où l continuité de $f_A$ en chaque $x\in A$ et je refais la mème chose pour $x\notin A$
@DHMO
05:51
@Vrouvrou oui
vous pensez que c'est juste?
oui
What is the difference between Least square error and absolute error?
merci @DHMO
@LittleRookie well one uses the square and one uses the absolute value
05:53
Yea haha, i mean why is least square error more emphasized on?
@Vrouvrou alors, pourquoi $A$ doit-il etre ferme?
@LittleRookie because it's easier to manipulate?
when fitting data, we minimize the least square error than minimizing the absolute erorr
@DHMO pour que le complémentaire soit ouvert
et conc voisinage
@Vrouvrou d'accord
i see, absolute value are hard to work with since they are not differentiable at points.
05:57
yes
Oh yea, if i square the error formula, i can always take the square root of it in the end
06:17
Supposed i want to find model a set of data with a non-linear autonomous system of ODE, how should i proceed to find the best model?
I could invent an model and fit parameters to it, then modify the model, fit parameters and compare the 2 models.
And repeat the above step many times simply by trial and error.
07:10
nice @DHMO
What a comedy @CompulsiveMathurbator
07:32
@MikeMiller That's hard. I at least try to grab a few biscuits with my tea.
07:54
@BAYMAX I thought it was a trick question tbh.
08:49
there are many differences between the usual topologies on Q and on N. what are some fundametal differences?
09:14
Does someone knows any proofs of Legendre's three-square theorem, if its available online for free then please give a link. Thank You.
09:52
Please take a look at my soft-question on modelling data using ODE. Thanks!
http://math.stackexchange.com/questions/2171287/finding-the-best-model-for-an-autonomous-non-linear-system
10:11
ohh ok @CompulsiveMathurbator
11:07
@DHMO How do I name a compound with a -CONH2 group?
@BalarkaSen an amide?
@ParthKohli Ah, fair enough. So, eg, CH3CONH2 would be methanamide?
Sorry, ethanamide.
Thanks.
+1'd by the way.
Thanks. Do you have any ideas?
11:14
Not really, hence why I'd like to see an answer.
11:27
correct @BalarkaSen
11:45
So I was looking the other day at injective surjective and bijective functions; and I noticed that symbolic definitions were given for surjective and injective, but not bijective.
Bijective simply said: a function that is injective 'and' surjective
At first I was going to take the logical 'and' of the definitions for surjective and injective
however they both involve quantifiers; which care about the order they are used in.
Which begs the question; how does one write down a symbolic definition of a bijective function? Is it the definition of an injective one 'and' a surjective? Or is it a surjective 'and' an injective ?
Or is it both at once (using 3 and's), or perhpas either (putting an OR between the ands)?
hey, what's up?
why is
$$x_2(x_4+x_0)+\overline{x_2} = x_4 + x_0 + \overline {x_2}$$ ?
in boolean algebra
Out of curiocity, why is there no $x_3$ ?
@jublikon, I suggest you look up karnaugh maps if you want a quick way of solving these things. But for the moment, if you want to know why simply prove it by truth table.
As for the algebratic proof: you could use this:

$x_2 x_4+x_2 x_0+\bar{x_2}$

$x_2 x_4+x_2 x_0+\bar{x_2}+\bar{x_2} x_4 +\bar{x_2} x_0$

$\bar{x_2}+x_0(x_2+\bar{x_2})+x_4(x_2+\bar{x_2})$

$\bar{x_2}+x_0+x_4$ as required
12:15
okay, thank you!
one last question until I look up karnaugh maps: $\overline {x_1}x_2 + x_1 \overline {x_2}$ can I simplify that to 1?
12:48
@user400188 write down the definitions for surjective and injective functions
(separately)
13:41
I know that $\sum_{n=0}^\infty \frac {cos n \theta} {3^n}$ is convergent for $\theta \in \mathbb {R}$, because it's less than or equal to the sum of an infinite geometric series. How do I find its sum?
14:29
@HarryEvans Hint: think of Euler's formula.
@ParthKohli wow... I thought it would be impossible lol
@ParthKohli, does this mean I should express $cos n\theta = \frac {e^{in \theta} + e^{-in \theta}} {2}$?
@jublikon No, that's not true for $x_1 = x_2$
@HarryEvans Yes, and then you have two very nice geometric series
14:31
yes
hahahaha
thanks a lot!
I used the Weierstrass M Test to compare it with the geometric series $\sum_{n=0}^\infty \frac {1} {3^n}$. Never realized I could have gone a more forward route.
MMM
MMM
14:44
Hello Everyone!
Sorry to bother you.
I have proposed a SE site for maple, if you could please help out to make it a success?
It will help Mathematics SE to avoid questions related to maple.

Please, Please, Please follow it!

area51.stackexchange.com/proposals/107315/maple
15:10
Not a lot going on in chat today
@AlessandroCodenotti buongiorno
how would you describe the fundamental differences between the usual topologies on N and on Q making them so different?
one is discrete, the other isn't
I'm not sure what you mean, they have very little in common. The one on N is discrete, the on Q isn't (kinda the opposite, it has no isolated points)
Hi @Balarka
how would you describe Q?
obviously it's more than "not discrete"
[closed as primarily opinion-based]
15:12
the trivial topology (the un-finest) is also not discrete
Hi @Alessandro
@BalarkaSen come on, this is chat
I guess the trivial topology means the discrete topology?
it's still a vague question
no, trivial topology is indiscrete
I see
well then
what is the difference between Q and R?
one is countable, the other isn't :P
15:14
well, R only has trivial clopen sets, for instance
@BalarkaSen I mean the usual topologies on them
topologies are defined on sets. the sets are not in bijection here, so obviously the topologies have nothing to do with each other
upto homeomorphism that is
@BalarkaSen sets in bijection can have drastically different topologies
and sets that are not in bijection can have very similar topologies
How do I evaluate $lim_{z \rightarrow \infty} e^{iz}$?
@HarryEvans it does not converge
Sorry, wrong variable, @DHMO
15:16
define "similar". topologies on sets which are not in bijection cannot be homeomorphic
the first sentence is also irrelevant
@BalarkaSen intuitively similar.
so you're not asking an actual question. i'm gonna stop engaging
alright
@BalarkaSen are you familiar with ordinals?
@BalarkaSen at least with $\omega^2$?
I find that order topologies on ordinals can be very interesting
15:19
@DHMO, I thought so...I am asking this question because using Hadamard's formula, I am asked to compute the radius of convergence of $\sum_{n=0}^\infty (1-exp(in \pi/4))^n z^n$.
for example, $(x,0)$ is not isolated where $x>0$
i know little to nothing about ordinals, rigorously speaking.
@BalarkaSen just treat it as $\Bbb N \times \Bbb N$
OK. So what order do you put on it?
the lexicographic order
or do you call it the product order?
15:21
Using Hadamard's formula, $1/R = lim sup_{n \rightarrow \infty} |1 - exp (in \pi/4)|$
Alright. What's next?
1 min ago, by DHMO
for example, $(x,0)$ is not isolated where $x>0$
@HarryEvans I don't know or care about all those formulas
I only know that $z \mapsto e^{iz}$ generates points in the unit circle
assuming that $z$ is a real number
@BalarkaSen but all the other points are isolated
OK, @DHMO
@DHMO I do agree.
@BalarkaSen for once you agree with me
@BalarkaSen is it true that all increasing sequences converge to one limit?
2
15:26
Hm. I don't have a lot of intuition for order topologies on bad spaces, you should ask @Alessandro
"bad spaces" is a terrible name
@BalarkaSen I'm told that every increasing sequence converge to one value in the long line
whatever's not a subspace of R I mean
so I'm thinking that the same would hold true in $\omega^2$
@BalarkaSen does that property hold in any subspace of R?
@DHMO Just out of curiosity, $\{n\}$ is an increasing sequence, does this mean it converges to $\infty$? Sorry, I still haven't taken any topology and this is just based on what I know from real analysis
@HarryEvans yes, but the message that you replied isn't talking about the integers
15:30
@DHMO Bounded, monotonic sequences converge in R.
@BalarkaSen the property didn't include bounded
Then it's obviously false. 1, 2, 3, ... does not converge in R.
Hmm, I'm not sure, with "order topology on $\omega^2$" do you mean $[0,\omega^2)$ or $[0,\omega^2]$?
@AlessandroCodenotti obviously $\omega^2$ doesn't include $\omega^2$ (epsilon is well-founded)
@BalarkaSen this is one form of the Monotone Convergence Theorem, right?
15:31
@BalarkaSen And I'm talking about subspaces of R
@DHMO I have no idea what you mean. R is a subspace of R, and I gave an example of a sequence that doesn't converge in R
@BalarkaSen I'm asking, is there any subspace of R for which any increasing sequences converge to one limit
doesn't any bounded subspace work?
@AlessandroCodenotti it can't be open though
15:37
It should be obvious that it can't be open. If there's a boundary point not in the subspace you can pick a sequence converging to it (by definition). Order it from smallest to largest.
@DHMO I'm not sure how's that relevant, I was asking about notation, but I solved my doubt, $[0,\lambda)$ is $\lambda$ with the order topology, $[0,\lambda]$ is $\lambda+1$
@AlessandroCodenotti $\omega^2$ doesn't include $\omega^2$ so any topology on $\omega^2$ cannot include $\omega^2$, but the latter includes $\omega^2$
so it must be the former
Ok, gotta go
@BalarkaSen bidaya
15:42
@DHMO ok, so those are not isolated because they correspond to limit ordinals
@AlessandroCodenotti indeed
@AlessandroCodenotti can we come up with an increasing sequence that doesn't converge to one limit?
I don't think $\omega n$ with $n\in\Bbb N$ converges in this space
because its limit would be $\omega^2$
@AlessandroCodenotti you're right
I think you need ordinal spaces $[0,\lambda)$ with $\text{cof}(\lambda)>\omega$ to say that all increasing sequences are converging. That's true for $\omega_1$, not sure in general
what is cof?
@AlessandroCodenotti I don't think you need $\omega_1$.
Just $\omega+1$ is enough
15:50
oh, right, I was thinking only about limit ordinals
what is cof?
that's cofinality. For an ordinal $\kappa$ $\text{cof}(\kappa)$ is the order type of the smallest cofinal subset of $\kappa$. Where a subset $Y$ of an ordered set $X$ is called cofinal if for every $x\in X$ there is an $y\in Y$ with $y>x$
could you give me an example?
the cofinality of any successor ordinal $\alpha+1$ is $1$ since $\{\alpha\}\subset \alpha+1$ is cofinal
(that's true for every ordered set with a maximum)
oh, thanks
15:55
The cofinality of $\omega^2$ is $\omega$ since the subset $\{\omega n:n\in\Bbb N\}$ is cofinal in $\omega^2$ and has order type $\omega$
@AlessandroCodenotti do you have other properties of the topology on $\omega^2$?
not sure, I've only worked a little with $\omega_1$ as ordinal space since it's a common source of counterexamples
@AlessandroCodenotti I'm interested.
What counterexamples?
it is sequentially compact but not compact for example

« first day (2404 days earlier)      last day (2913 days later) »