« first day (3352 days earlier)      last day (1964 days later) » 
00:00 - 20:0020:00 - 23:00

20:21
How would you prove or disprove that $\langle a,b\vert abab^{-1}a^{-1}ba^{-1}b^{-1}=e\rangle$ is finite?
(Note: That huge word is just a way of expressing $a(bab^{-1})=(bab^{-1})a$)
In general, such questions are very hard or impossible. But what are you voting? Any ideas?
Well, honestly, I wouldn't know where to start. I suppose I'd explore the problem by looking at powers of $a$ and $b$ and try to determine whether or not they're in the kernel of this homomorphism.
In the answer given to this question (math.stackexchange.com/a/1023152), why does the Cauchy Schwarz inequality yield the $n^6$ term? Shouldn’t it be $n^3$ if CS is applied to each sum with a vector of entries with only $1$s? Also, are $h_l, h_k, h_m$ the components of $\textbf{h}$? If so, how is the equality that follows justified - that is, the product of the sums of the individual components squared equals the norm of $\textbf{h}$ to the power of 6.
Can you think of any concrete groups you know where such a relation holds?
@schn: Are you looking at every Cauchy-Schwarz question?
note that "concrete" may or may not mean "nontrivial"
20:30
Yeah, I found a subgroup of $S_8$ with that property.
coming up with trivial examples is pretty easy tho
(it's generated by two permutations. I can share them when I get home)
I'm thinking of something far more general ... of arbitrary size ...
It looks to me like the statement can be rearranged to this: $(bab^{-1}a^{-1})a^{-1} = a^{-1}(bab^{-1}a^{-1})$
I liked it the way Rithaniel had it.
20:33
Ah, the integers?
Lots of groups (e.g., semidirect products) have conjugates with rules
yeah, I'm not liking my way much
i was trying to get it in terms of commutators
Well, something you can do with integers is the ultimate goal, I think @Rithaniel. But my hint is dihedral.
But commutators would be $[g,h]=g^{-1}h^{-1}gh$ which isn't quite this (though the difference is trivial)
There is no difference, @Semiclassic.
20:34
Ah, and $a(bab^{-1})=(bab^{-1})a=e$
@TedShifrin I’m looking for an intuitive explanation for why the error term in a multivariable Taylor polynomial of degree $n$ is big O of the norm of $\textbf{h}$ raised to the power of $n+1$, where $\textbf{h}$ is the point of evaluation.
The last term will be a polynomial in the components of $\textbf{h}$, but can’t see how to derive the norm from the polynomial.
So you're starting with a formula for the error term?
That estimate is precisely what I told you this morning. All you need is $|h_i| \le \|h\|$ for each $i$.
Nothing fancy.
So any polynomial of degree $k$ is bounded by $N\|h\|^k$, where $N$ is the sum of the absolute values of the coefficients.
The best way to understand the Taylor error, I think, is in terms of the single-variable Taylor polynomial and something using the compactness of the unit sphere (more or less the set of directions in $\Bbb R^n$).
But when $\textbf{h}$ approaches $0$, does $|h_i| \le \|h\|$ still hold?
It holds for every vector $\mathbf h$.
Tell me why.
20:48
Right, because $|h_i| = \sqrt{h_i^2}$
No.
But I think you meant to type the right thing.
@Rithaniel, any ideas?
Well, in the two dimensional case $ |h_i| \le \|h\| \iff \sqrt{h_i^2} \le \sqrt{h_i^2+h_j^2}$, correct?
I would not write it that way, but OK. So what?
What do you know about squares of real numbers?
$x^2 \geq 0$
So why is this relevant?
20:53
You mean to explain $|h_i| \le \|h\|$?
Hint...?
Why is $|h_i|^2 \le \|h\|^2$?
You really shouldn't need hints for this.
what is ||.|| here
Euclidean norm
21:01
Why $\textit{is} \ |h_i|^2 \le \|h\|^2$ if not for $|h_i| = \sqrt{h_i^2}$?
Hi Ted!
How was your day? @TedShifrin
Hi @topologicalmagician.
@schn Why is $|h_i|^2 \le \sum\limits_{j=1}^n h_j^2$?
How does one define a Variable syntactically?
@TedShifrin, may you please look at the following proofs, please? math.stackexchange.com/questions/3384520/…
0
Q: Subspace Topology and open and closed sets.

topologicalmagicianTheorem: Let $(X,\tau)$ be a topological space and $A\subseteq X$. Let $\tau_{A}$ be the induced topology on $A$. Then (1) $U$ is open in $A$ $\iff$ $\exists U'$(open in X) : $ U= U' \cap A$ (2)$F$ is closed $in$ $A$ $\iff$ $\exists F'$(closed in X) $:$ $F= F' \cap A$ My Proof: (1) Follows f...

@topologicalmagician: You can ask everyone, not just me.
21:06
@TedShifrin after watching your lectures, you've become my idol.. haha
LOL, I appreciate that, but still I don't always have the time or desire to help everyone on everything! :)
@TedShifrin Got it, thanks! Putting it that way is clearer too.
OK, @Schn. Good!
@topologicalmagician looks good to me
@ShineOnYouCrazyDiamond both?
21:07
Yep
I didn't check 1 though, but I trust that you read the def
:D
Defs usually say A is a ____ if ____, but IMHO should be iff
No, @topologicalmagician. Why "Hence $U^c$ is closed"? What are you trying to show here?
@TedShifrin closed in the parent topo
and so $F = A \cap C$ for some closed $C$
Be careful. What are we assuming and what are we trying to prove?
We're assuming that $A \subset X$ is given the induced subspace topo
which is the intersection either of all closed or of all open sets with $A$ to make up respectively the closed or open sets
You didn't make clear what direction you were proving, which makes it difficult, @topologicalmagician.
21:10
Yeah that would be helpful
@ShineOnYouCrazyDiamond: Hush. This is topologicalmagician's question.
everytime I typed something, @ShineOnYouCrazyDiamond beat me to it haha
Well, I should have left and you two could sort it out. But now that I answered, you need to fix what I'm complaining about.
By the way, you should NOT write every proof with "Hence" starting every sentence. Try to use only one or two "hence" in a proof!! :P
That's a good idea too, makes the proof more elegant
21:13
Alright, with regards to everything prior to "For the converse.." I was trying to show that if $F$ is closed in the subspace $A$ , which is the set with the induced topology then there exists a closed subset of , F, of $X$ ( the parent space) such that the intersection with A is F
@TedShifrin haha, yeah, ill try to stop using it, idk why I love to use that word
$U^c$ is closed, because $U$ is open
OK. So you're supposing $F$ is closed in $A$. You should make that clear to start. So $A-F$ is open in $A$. Then what ...
Right. That's the correct statement.
Then $A-F$ $=$ $A \cap U$ for some open subset $U$ of X
And therefore $F = A\cap U^c$ is the intersection of $A$ with a closed subspace of $X$. Done.
Right.
I don't know how much detail to omit while writing a proof
I try to put as much as I can
OK. I'm satisfied. This was about right (once things were cleared up) for learning the basics in a topology/analysis course at the beginning. Later on, you might make things less detailed.
Bye for now.
21:17
Take care @TedShifrin
@ShineOnYouCrazyDiamond if its not too much to ask, may you look at the following
0
Q: Directional Derivatives and Proof

topologicalmagicianProposition 2: Let $\textbf{f} : U \subseteq \mathbb{R}^n \rightarrow \mathbb{R}^m$ be defined on an open set U. $\lim_{\textbf{x} \rightarrow \textbf{a}} \textbf{f(x)} = \textbf{L}$ if and only if $\lim_{\textbf{x} \rightarrow \textbf{a}} f_j(x) = L_{j}$ for each $j =1,2,3,…,m$. What I want ...

$\frac{8-i}{3-2i}.$ If the expression is rewritten in the form $a+bi$ where $a$ and $b$ are real numbers, what is the value of $a$?
@ShineOnYouCrazyDiamond I feel like something is missing, but I don't know what
If $f(x)=-2x+5$ what is $f(-3x)$ equal to ?
What did the tropical geometer say when he visited the amazon rainforest?
21:36
He said:
@Ultradark complex conjugate
He said:
22:16
@TedShifrin No ideas, probably, for the rest of the night. I need to study for my probability exam tomorrow. Though, I will continue thinking about it
22:32
OK, @Rithaniel: I won't give any more hint(s) than I already did.
Alright, I'll ping you again when I have an idea
00:00 - 20:0020:00 - 23:00

« first day (3352 days earlier)      last day (1964 days later) »