« first day (3530 days earlier)      last day (1492 days later) » 
02:00 - 18:0018:00 - 00:00

2:09 AM
Hi! I have a question in Elementary abstract algebra, I have a question that says: Let a and b be elements of group G, and let ord(a)=m and ord(b)=n, then: If a and b commute, then ord(ab) is divisor of lcm(m,n).
Now to prove it, let q be any nonnegative integer number, then (ab)^q = e, then since they commute, then a^q.b^q=e (the proof continues to show that a is not inverse of b, therefore a^q=e and b^q=e and it implies that they must have a common divisor which is lcm(n,m) ). Now, my question: it seems for me that if ab commute or not, then it is always true. I don't understand why commu
it is in the first question here: math.wisc.edu/~mstemper2/Math/Pinter/Chapter10E
 
@user777 "then since they commute, then a^q.b^q=e"
 
2:24 AM
what if I say: if they don't commute, then a^q.b^q=e
Note that the order of ab is the same as order of ba.
 
If they don’t commute, is $(ab)^2=a^2b^2$?
 
 
1 hour later…
3:47 AM
@TedShifrin I know it's super simple, but I feel like I've had an epiphany. I did this in like five minutes and it matched the answer given by the author. When I started something like this would take me a really long time to just wrap my head around. It's starting to all make sense ;-;
 
4:15 AM
@CaptainAmerica16 congratulations
 
4:25 AM
lol, I came to reply to skull but he deleted the comment.
@LeakyNun Tanks
 
I thought you left, pal
nvm
 
 
4 hours later…
8:12 AM
@LeakyNun You there?
If I got a limit something like this $$ \lim_{y\to 0} \frac{y}{\sqrt{\sin^2 y}}$$ can I remove the square root, and write $$ \lim_{y\to 0} \frac{y}{\sin y}$$ ?
 
 
3 hours later…
10:48 AM
@Knight I think so. I wouldn't see a reason why you couldn't
 
11:00 AM
A theorem starts with Assume $X_1,...,X_n$ are i.i.d. according to q.m.d. family $\{P_{\theta}, \theta \in \Omega\}$}. Now if I want to check if this theorem is applicable to the logistic regression model, do I need to check whether the family of likelihoods that you usually use in a logistic regression model is q.m.d. or do I need to check it for the joint density of $(X,Y)$?
 
@Knight No
 
11:27 AM
@feynhat Looks like he's right, @Knight. Here's the solution to the problem with steps: symbolab.com/solver/limit-calculator/…
 
$\sqrt{x^2} = |x|$ not $x$.
 
@feynhat Yeah you're right, thanks. By definition. I didn't think about the possibility that $sin y$ could be negative.
 
11:57 AM
I think it's quite strange though because I would rewrite $\sqrt{x^2}={x^2}^{\frac{1}{2}} = x^{2*\frac{1}{2}} = x^1 = x$. So that means that rewriting it like that is wrong even though usually you could always rewrite $\sqrt{x} = x^{\frac{1}{2}}$, right? Not doubting that $\sqrt{x^2} = |x|$, just wondering what it means for rewriting it like that in general
 
12:14 PM
it means that $(x^y)^z$ and $x^{yz}$ need not be the same in general
 
True. I wonder if this is only the case for $y=2$ and $z=\frac{1}{2}$ or if there are other exceptions and/or if there is a general rule for when it is the same and when it isn't necessarily.
 
the identity holds for real $y,z$ and real, positive $x$
it also always holds whenever $y,z$ are integers, of course
 
12:38 PM
Sounds like that could be right. Thanks.
Regarding my own question above about applying the theorem: I think that I probably need to check it for the family that "you usually use" because the statement of the theorem is about the likelihood ratio statistic which depends on the family and I want to check it for the likelihood ratio statistic with that "usual family"
 
12:57 PM
@Thorgott Did you mean something like this $$ \sqrt {(-x)^2} =( \sqrt{-x} )^2 $$ the RHS is not possible if $x$ is positive therefore, we should always write $\sqrt{ |x|^2} $ ?
@MathStudent Thanks for taking interest in my question :-)
 
1:18 PM
You there?
 
It appears as if you answered your own question
 
1:36 PM
@Thorgott Hey thanks so much for your reply on my post. I've looked into the Henstock-Kurzweil integral, but it seems slightly beyond me. So far, from your earlier help and some further research, I've gathered the following. (1) For Fubini's theorem to apply, the function must be Lebesgue integrable - that is, the integral of the absolute value of the function over the rectangle must be finite, and the function must be measurable.
@Thorgott (2) All Riemann integrable functions are Lebesgue integrable except for conditionally convergent improper Riemann integrals.
@Thorgott So if you had one of these improper integrals in your double integrals, how would you know? And when you did, would you be able to switch the order of integration or not?
@Thorgott And how does Fubini's theorem for improper integrals tie in with all this?
@Thorgott Sorry for the barrage of questions. I'm just trying to piece all the information I have together, and there's a lot!
 
2:37 PM
Anyone into inferential statistics here?
 
@Archer I am somewhat
Hi @BalarkaSen ! I am user403640 (changed my username), the one that had asked the question about the limsup that involved an MLE on Monday and you suggesting using the proof of asymptotic normality of the MLE, remember?
I am wondering if you had tried it out and/or seen my messages regarding it?
*suggested
 
0
Q: How are the random variables $Y_i$s identically distributed in this example?

ArcherI am reading Probability and Statistics (8th ed.) by Devore and cannot understand some aspects of example 6.5 from page 246: For point estimation we require that the random variables have identical distribution. I don't see how the random variables $Y_i$s are identically distributed here....

Please give this a look.
 
3:05 PM
@Archer I am not an expert but I think you don't need to require for the random variables to be identically distributed. Also, there is not just one 'point estimation method'.
E.g. maximum likelihood estimation is a method of point estimation and Wikipedia (en.wikipedia.org/wiki/Maximum_likelihood_estimation) says that you look at the joint probability distribution of the random variables { y 1 , y 2 , … } {\displaystyle \left\{y_{1},y_{2},\ldots \right\}} {\displaystyle \left\{y_{1},y_{2},\ldots \right\}}, not necessarily independent and identically distributed .
 
@MathStudent I saw your messages. I am unfortunately not getting the time to look at it in more detail but I can take a crack at it later today
I will let you know when I look into it
 
@BalarkaSen Okay, thank you!
 
@MathStudent I see. Thanks man!
 
@BalarkaSen can we construct tensor product of vector bundles "without" using a fibre-wise construction?
I know, "without" questions are vague and ill-defined, but I guess you know what I mean
 
@MathStudent Btw, what is the population in that example?
 
3:15 PM
Should be possible to do the universal property definition, @LeakyNun. Yeah, I know what you mean.
 
so you construct the dual first...?
 
@LeakyNun How to show that a subset is not compact ? should we exhibit an open cover that is not finite ? is this question case dependant ?
 
subset of what
 
ah sorry
lets say unit circle in R^2
 
@JackOhara Hi
 
3:16 PM
show that it is not closed or show that it is not bounded
compact <=> closed and bounded
 
@Knight Hello
Yeah I know , but am trying to show NOT compact
using a somewhat diffucult metric
to work with at least
 
Someone please help me in showing that $$k+1 \lt \sqrt{e^{k+1}}$$ Let’s do the expansion of RHS $$ k+1 \lt \sqrt { 1 + (k+1) + (k+1)^2/2 +...}$$
 
not difficult just tedious I would say
 
"A <=> B and C" is equivalent to "not A <=> not B or not C"
 
@Astyx please explain the quotation that is there in your profile
 
3:20 PM
Is it the one about the restaurant ?
 
@Astyx yes
 
@BalarkaSen what does it mean that vector bundles over $X \times [0,1]$ are the same as vector bundles over $X$?
is it the same as the flow thing we discussed before?
that the vector bundles at the two ends must be the same?
 
@Knight It's the end punchline of "The Hitchhiker's Guide to the Galaxy" : spoiler youtu.be/YhvEJPt7E7c?t=160
 
@Astyx Okay
@Astyx Let us promise one thing to each other, whenever we will meet in real life you will buy us a drink, Okay?
:)
 
@LeakyNun I thought about it a little bit and I can't give you a clean definition. Here's a way to translate the fiberwise garbage into a coordinate-free thing, if you want: Isomorphism classes of vector bundles of rank $n$ over $X$ are in 1-1 correspondence with homotopy classes of maps $X \to \text{Grass}(n, \infty)$.
The tensor product comes from dualizing the map $\text{Grass}(n, \infty) \times \text{Grass}(m, \infty) \to \text{Grass}(mn, \infty)$ which sends a pair $(V, W)$ of rank $n$ and $m$ subspaces $V, W \subset \Bbb R^\infty$ to $V \otimes W \subset \Bbb R^{\infty} \otimes \Bbb R^\infty = \Bbb R^{\infty \cdot \infty} = \Bbb R^\infty$.
 
3:26 PM
wow
 
@LeakyNun Yeah. There's no flow here though
$X$ is just a topological space
 
what to do
 
Try to come up with a simultaneous trivialization explicitly, is as far as I recall, the idea
 
what's the correspondence?
 
You need this result about $X \times I$ to see the correspondence, so let's get done with this one first
 
3:29 PM
wow, the two questions somehow become related lol
ok
 
Let's say $E$ is a bundle on $X \times I$ and it's already trivial restricted to $X \times \{0\}$. We want to trivialize on $X \times \{1\}$.
 
@Archer I don't really know sorry. What is n? Was the data measured n times? Then I would think that the population is all of the time. Think it could help to think about how it would be analgous to if you were doing a survey in a city asking a "Yes or No" question and you ask n people, then you have n random variables with n being lower than the number of total people in the city which is the population
 
@Astyx You there? Sorry if my joke was hurtful
 
@LeakyNun one question , is the unit circle, compact using the french railway metric ? never used this metric before and I don't know what are the common names for it
 
@MathStudent Please see my recent query
 
3:31 PM
@Archer Could you maybe also help me with my question that I had asked above? Do you know about logistic regression?
 
x^2 + y^2 < = 1
 
what is the metric
 
lol "french railway metric"
 
french railway metric it is called like that
I got this question from some relative and am supposed to help him lol
But never even heard of such thing
 
what. is. the. metric.
 
3:32 PM
lmao
 
Explain me $\Bbb H^n$ @Balarka :P
 
@AlessandroCodenotti what?
 
@AlessandroCodenotti It's up
I just talk about $\Bbb H^2$ but story generalizes to $\Bbb H^n$
 
oh I thought H for Hamiltonian (quaternion)
 
3:34 PM
I guess the name is legit
 
oh on a metric space you have compact <=> sequentially compact
I guess you might use that
 
there is also Manhattan norm lol
who comes up with these names?
 
@JackOhara Isn't the unit circle discrete in the topology inherited from the French railway metric?
 
looks like the distance between every pair of points is always 2
 
Of course Alessandro knows what the French railway metric is
 
3:36 PM
I done this a while back ,but I remember somewhat these terms
 
As an Italian I'm required by law to know everything which makes fun of France
10
 
@AlessandroCodenotti i guess you are right , open nbhd are the same in this case
@AlessandroCodenotti where in Italy are you located? and how it there right now?
 
@LeakyNun OK, choose some open cover of $X \times I$ of the form $U_\alpha \times I$ such that $E$ trivializes over $U_\alpha \times I$.
 
heard things are bad but worst in US for the moment
 
@Alessandro that's not restricted to Italians lol
 
3:38 PM
In Lombardy, which is the worst hit region by the virus, we're on a lockdown (just like the rest of the country though)
 
@BalarkaSen ok
 
@EdwardEvans So are you guys going to declare war on France just like in the good ol' times as soon as you leave the EU or what?
 
Okay I hope things gets better soon , not that it is getting hotter
 
sei in lombardia? @AlessandroCodenotti
 
@Alessandro there was some talk of the Royal Navy being deployed to the fishing waters in the south west of the UK because of the French continuing to fish rofl
 
3:40 PM
@BalarkaSen wait how do I choose one lol
 
Tube lemma, I believe
 
@LeakyNun Can you help ?
or we can play chess for it
 
@Edward I was doing the online application for a PhD at a british university and they had this "do you require a VISA to study in the UK?" question. How am I supposed to know when they can't sort out the brexit negotiations?
 
the winner decides the others faith :D
 
I already told you, compact <=> sequentially compact
fate, not faith
 
3:42 PM
oh did not notice
fate* sorry yeah haha
 
@Alessandro yeah STILL nobody knows
Which uni out of interest?
 
University of East Anglia (in Norwich)
 
Oh nice
I think I know a guy there
 
@AlessandroCodenotti what did you answer then
 
from a summer school lol
 
3:43 PM
I wrote that I do not need a VISA to travel or study in the UK before January 1st 2021, being a European citizen, but that I might need one later
 
yeah there's a guy called Robert Gray there in combinatorial group theory lol
that makes sense
stupid decision all round
 
Choose a whatever open cover of $X \times I$ on which $E$ trivializes, and look at the sets in the cover along the line $\{x\} \times I$, and take union of them: $E$ trivializes on the union as well. Choose a subset of the form $U_x \times I$ contained in that open set and containing $\{x\} \times I$ on which $E$ trivializes
 
forgive my dumbass country
 
These are your boys
 
@AlessandroCodenotti Visa is not an acronym (< Latin charta visa "paper that has been seen")
 
3:44 PM
I just really like to shout VISA
 
It vents frustration
 
att visa is a Swedish verb meaning "see" or "show"
 
@Knight Maybe you can use the Cauchy Schwarz inequality or the triangle inequality somehow but I don't really know how sorry
 
actually not see
just show
rofl
 
@EdwardEvans I'm listening to too much buckethead
I feel like ordering KFC, finishing a full bucket and putting it on my head
 
3:46 PM
loool
nice
I'm listening to Shining rofl
 
@BalarkaSen so I first need to know about vector bundles on $I$? I guess the fact that $I$ is contractible makes me happy?
 
I'm still stuck having Cult of Luna's Mariner on repeat
 
wait, the fact that vector bundle respects homotopy requires this lemma lol
 
DSBM intensifies
@LeakyNun On $I$ you can do this by hand.
 
hmm...
like really using intervals?
 
3:49 PM
I was about to shout K-theory, and then I realized that I don't know how to prove that K-theory is homotopy invariant
 
[0,b1) (a2,b2) (a3,b3) ... (an,1]
 
Which I guess is done after showing this $X\times I$ business
 
Yeah, take finitely many intervals, trivialize over each, and then glue these trivializations to a global trivialization
 
cool
also looks like you have a new member in the audience
what to do now after we have those $U_\alpha \times I$
11 mins ago, by Balarka Sen
@LeakyNun OK, choose some open cover of $X \times I$ of the form $U_\alpha \times I$ such that $E$ trivializes over $U_\alpha \times I$.
 
Member? Audience?
 
3:51 PM
as in Alessandro is also tuning in to your proof
 
Ah
Yeah @Alessandro is K-theory boy
But he does K-theory on C^* algebras so fuck him
 
lol
I don't do operator algebras anymore
 
@TedShifrin Thank you Ted, now it is clear, I found example with matrix that shows that this doesn't give you the same. Thank you again.
 
I'm a coarse geometer now
 
Hello people.
 
3:53 PM
@VJ123 Well, whether a function is integrable or not is something that you have to determine on a case-by-case basis, more or less. The thing is that if your integral is not absolutely convergent, then it doesn't really make sense to talk about that integral in the context of Lebesgue theory at all. So it's natural to go to Henstock-Kurzweil theory instead and then consult the version of Fubini's theorem there:
If the function is integrable (now in the Henstock-Kurzweil sense), then its integral can be computed by iterating the lower-dimensional integrals. For the record, this connection be
 
Higson boundary interacts with operator algebras though, right? Like, the boundaries should essentially come from subalgebras of the full algebra of bounded functions, which somehow corresponds to the worst compactification possible: $\beta X$
 
24 hours ago, by feynhat
Is $[v_0, \dots, v_n]$ homologous to $(-1)^{\text{sgn}\sigma}[v_{\sigma(0)}, \dots, v_{\sigma(n)}]$
 
Yes, but this is general topology, there's a 1-1 correnspondence between subalgebras of $C_b(X)$ and compactifications of $X$
Where I skipped some adjectives on both $X$ and subalgebras
 
@feynhat What does chains being homologous mean? Being homologous is an equivalence relation on cycles, no?
@Alessandro Right OK.
 
I guess I want tychonoff noncompact $X$ and something like algebras that separate points and contain the constant functions
 
3:55 PM
They all come from embedding $X$ in the subalgebra of $C_b(X)$, and then taking closure, yeah?
Right those adjectives are needed to embed
 
It's the Gelfand transform of the subalgebra
 
@BalarkaSen ugh... I meant difference being boundary. (I mean in some topological pair, that simplex will be a cycle right?)
 
@AlessandroCodenotti If you say so, chief
@feynhat Ah OK
 
Its spectrum actually
 
Gotchu
 
3:57 PM
There's another way to describe compactifications which you might prefer
We look at $C_b(X)$ still, but now this is the ring of real valued bounded continuous functions
 
@feynhat I get it, the difference is a cycle, and you want to say it's a boundary. This seems to be most definitely true, let's see what the easiest argument should be.
 
And now the correspondence is with closed (in the sup norm) subrings that generate the topology of $X$
And given a subring $R$ the compactification is taken by taking, for every $f\in R$, the smallest interval $I_f$ containing the image of $f$, then embedding $X$ into $\prod_{f\in R} I_f$ by $x\mapsto (f(x))_{f\in R}$ and then taking the closure
 
Aha.
 
(The compactification associated to the subring $R$ is then characterized by the property that a continuous $f:X\to \Bbb R$ extends to the compactification iff $f\in R$).
 
@BalarkaSen click here to learn how to introduce people to new music
 
4:03 PM
There's also a way to get the compactification associated to $R$ by looking at $\mathrm{spec}(R)$ and identifying $x$ with $\{f\in R\mid f(x)=0\}$
 
@BalarkaSen I mean I can see this for 1-simplex (you can define a 2-simplex which takes the value of the said 1-simplex on one of its edges, and the reverse 1-simplex on another, and we can extend this continuously in the interior). Then we take the boundary of this 2-simplex.
 
@feynhat OK. $S_n$ is generated by transpositions, so it suffices to prove it for transpositions that $\sigma$ breaks up into, and then composing those various homologies togather. Let $\Delta = [v_0, v_1, \cdots, v_n]$, $f : \Delta \to X$ be the singular simplex. Consider the map $\pi : \Delta \to \Delta$ obtained by switching $v_0$ and $v_1$ and let $f \circ \pi$ be your new simplex.
$f$ and $- f \circ \pi$ are homologous because define $\overline{\Delta} = [v_0, v_1, w, \cdots, v_n]$ and $F : \overline{\Delta} \to X$ by $F(w) = F(v_0)$ and $F|_{[v_0, \cdots, v_n]} = f$ and $F|_{[v_1, w, \cdots, v_n]} = f \circ \pi$. This naturally extends to $F$ by taking convex hull.
$\partial F = f - f \circ \pi$ is an easy check I believe
@feynhat Yeah I just extended your idea to higher dimension for a transposition I think
Hi @Ted!
 
4:20 PM
@EdwardEvans "forgive us our dumbass leaders, as we forgive your dumbass leaders"
@BalarkaSen on that note, i heard about this recently: youtube.com/watch?v=Fzi8PEZVtBE
aka Buckethead wrote a soundtrack for a Doom mod (albeit one made by John Romero)
 
@LeakyNun Yeah I have heard the Oboe Concerto
 
lmao
 
@Semiclassical Huh nice
@LeakyNun Violin Concerto in g minor is where it's at
absolute banger
 
@BalarkaSen Maybe I am doing something dumb but your definition of $F$ doesn't seem consistent on the boundaries. Lets consider the 3-simplex $[v_0, v_1, w, v_2]$, what is $F(v_1)$?
 
bwv1056? @BalarkaSen
 
4:28 PM
Don't think I have heard that one
BWV639 is my favorite
 
oh ok i'll listen to it
are you sure you got the number right?
 
Ya
@feynhat Let me check
 
Is it $f(v_0)$ or $f(v_1)$?
 
@robjohn Do you know if there is a simple modification of your javascript bookmark that would allow MathJax to render LaTeX in a Discord chat?
 
sorry my network is really slow.
 
4:31 PM
@BalarkaSen but that's not a violin concerto in g minor
or are you referring to another composer
RV 317?
 
$f(v_0)$, @feynhat. I squish $[v_0, v_1, w, v_2]$ to $[v_0, v_1, v_2]$ by projecting $w$ to $v_0$
Then compose with $f$
@LeakyNun Oh no I was just giving you my favorite Bach
I don't remember the numbers for violin concerto
 
is it by vivaldi?
 
@BalarkaSen You defined $F|_{[v_0, \dots, v_n]}$ as f.
 
@feynhat Can you help me in seeing where my latex code went wrong ?
 
@feynhat Look, here's a simple way to describe the map $F$. I project $[v_0, v_1, w, v_2, \cdots, v_n]$ to $[v_0, v_1, v_2, \cdots, v_n]$ by squishing the face $[v_1, w, v_2, \cdots, v_n]$ to the face $[v_0, v_1, \cdots, v_n]$ by projecting the along directions parallel to $w \to v_0$. Then compose this with $f : [v_0, \cdots, v_n] \to X$
I can't write formulas, but this is what I mean.
$F$ restricted to $[v_0, \cdots, v_n]$ is $f$, and $F$ restricted to $[v_1, w, v_2, \cdots, v_n]$ is $-f \circ \pi$, essentially
 
4:45 PM
In this squishing $v_1$ doesn't move right?
 
Right, it doesn't
 
Ahh.... okay. So, its not right to say that $F|_{[v_1, w, \dots, v_n]}$ = $f \circ \pi$. We relabel $[v_1, w, \dots, v_n]$ as $[v_0, \dots, v_n]$, then this simplex is $f \circ \pi$.
 
That's right, yes, sorry for being sloppy.
 
@BalarkaSen Thanks a lot, man.
@Knight What.
 
5:03 PM
@BalarkaSen BTW, did we implicitly assume this when proved smooth orientability => topological orientability. Suppose we take a frame at $p$ and choose a simplex which contains p in its interior. We then apply the exponential map to get a singular simplex in the manifold, which will give the generator of local homology (like you described the other day). Now, we would like to show that this choice of generators satisfies the local consistency condition.
If we choose a chart U around p, then for any q in U, the simplex we construct at q will vary from the simplex at p, by an even permutation (because oriented frame). This is where we use the result, that you just prove to conclude that the choice of generators is consistent.
am I making sense?
 
@feynhat Yes, that's absolutely correct.
 
Hi! if I have a continuous embedding $f\colon X\to Y$ (with dense image), is the preimage of a nbhd base $U_i$ around $f(x)$ a nbhd base around $x$?

I'm kind of stuck because I cannot assume $f$ is open, but this feels like it shouldn't be hard. Also, $X$ is a space in which compact sets are closed, hence T1. If needed, X can be assumed to be compact.
 
@LukasJuhrich $X=[0,1]$, $Y=\ast$
@loch lmfao
 
@LeakyNun what is \ast?
 
pay attention in class dude
 
5:10 PM
@LukasJuhrich one single point
 
yeah, that's not an embedding
 
is leaky bunking online class
 
oh sorry
hmm
@BalarkaSen what do you think
 
i dont want to think about this
 
if it's not obvious I can make a proper question instead of spamming here ofc :->
 
5:11 PM
@BalarkaSen Are you guys having online classes?
 
okay, thanks anyway for your response @LeakyNun
 
oh I thought you would know it @BalarkaSen
 
What do you mean by embedding? @Lukas
 
just injective
 
@feynhat Only one in my semester so far
Our semester will continue in late June
they announced that
@LeakyNun i didnt even read the question
 
5:13 PM
Will they delay the next semester then?
 
Sounds very false to me
 
doubtful, we just wont get summer
or rather, THIS is summer
 
@AlessandroCodenotti yeah but compactness is
problematic
 
Like the identity on $\Bbb R$ with the trivial topology as codomain
 
but he wants $X$ compact
oh ok then maybe $[0,1]$ works
@LukasJuhrich ?
 
5:16 PM
If $X$ is compact and $Y$ is Hausdorff the claim is true, otherwise the identity from $[0,1]$ to itself with trivial topology on the codomain
 
ja das ist, was ich habe gemeint
@LukasJuhrich redest du sachslisch?
 
hm, trivial topology on the codomain should work, didn't think about that
 
(more generally it's true as long as $f$ is an homeo on its image)
 
that makes sense, thanks
Also: Nein, ich rede nicht wirklich Sächsisch ;)
 
reden deine Eltern Sachsisch?
 
5:19 PM
@AlessandroCodenotti I don't know if this is an iff but I'd guess not
 
@LeakyNun I'm just studying in Dresden, I didn't grow up there. But my grandparents speak saxon.
 
I see
 
Anyway, gotta go, thanks again folks, and stay healthy
 
Maybe I should use this quarantine to also learn point set topology properly
 
@BalarkaSen I came across this proof of equivalence of smooth and topological orientability. It somehow manages to bypass exponential map.
But I think it is actually invoking the exponential map implicitly.
> The next observation is that if we have a diffeomorphism from an open subset V in Rn to another open subset V′ in Rn, then its differential preserves the standard orientation of Rn if and only if it preserves the corresponding local homological orientations
 
5:28 PM
Oh sure exponential maps are just a convenient way to go there. You can choose the frames on the charts, use it to make a simplex on the chart, and map it back to the manifold
Frames on the chart $\Bbb R^n$ are literally a bunch of vectors in $\Bbb R^n$ so you can make the simplex in $\Bbb R^n$ by hand
No problem
 
@AlessandroCodenotti you out of all people?
 
There's plenty of point set stuff I don't know and I'd like to learn, starting with the exercises in Engelking's book, dimension theory, and set theoretic topology
 
Ugh get this shit out of my sight
You disgust me
 
Pffff
It's beautiful stuff
 
5:33 PM
Hey @Akiva
 
mah boi akiva
 
Whattup
 
I stumbled on an old question of yours a couple of days ago when answering a similar one
 
Oh god
 
Yeah I think I was trying to wrap my head around the idea that there's no "standard model" of ZF like there is of PA
 
5:37 PM
There is a standard model of PA because we had a model we wanted to axiomatize before writing down the axioms I guess
 
That's a meta-reason, for sure
 
@BalarkaSen I see.
 
One could argue about $L$ being the standard model for ZF(C) maybe? It's a very canonical model for sure
 
Can someone verify my understanding of this: an image is defined for specific coordinate pairs. A direct image is defined over entire sets. Let me know if you need me to clarify what I'm trying to say.
 
@BalarkaSen Btw, what can be a representative for the generator of $H_n(M, M-x)$? Can we take any singular simplex which has $x$ in the interior of its image?
 
5:46 PM
Ya
Essentially that's it
 
Hi, a Balarka and DogAteMy.
 
@AkivaWeinberger we have a standard model of PA because we assume ZFC
this is completely arbitrary
I object
 
Hi, @Captain. What are you asking?
And hi, Leaky.
 
hi
 
Here's a funny identity: $[a, bc] = [a, b][b, [a, c]][a, c]$
 
02:00 - 18:0018:00 - 00:00

« first day (3530 days earlier)      last day (1492 days later) »