Thomas Klimpel
Reputation
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
1 10 40
Impact
~87k people reached

 Mar 29 comment Geometric intuition behind the Lie bracket of vector fields @sifsa See drive.google.com/folderview?id=0B6x6GQ82vuH_YnE2STNKZXU1cUk page 19 at the bottom. The proof exploits a definition of the Lie bracket by its effect on a test function $\varphi$ via $L_v(L_w \varphi) - L_w(L_v \varphi) = L_{[v,w]}\varphi$. Then it is sufficient to know that $L_v \varphi$ transforms canonically... Mar 23 comment Are there any objects which aren't sets? The point of sets in set theory is that we can quantify (impredicatively) over sets, because they are assumed to exist as a completed whole. Even so you can explicitly name some classes (even using predicative quantification over other classes), they don't exist as a completed whole. So you cannot meaningfully quantify (impredicatively) over them. I explained the way they fail to exist here, but it is probably hard to understand despite the simple examples. Feb 8 comment How Graph Isomorphism is used to determine Graph Automorphism? It is good that you care about graph automorphisms. Any permutation is a product of transpositions, but it can happen that you have two transpositions which are not automorphisms of the graph, but their product might still be an automorphism of the graph. But it is fine for me, if you say that the transposition was just an example, and that the idea also works for permutations which are not transpositions. On an unrelated note: Did you notice that the text said: "continue till an isomorphism is found"? So it only computes a single representative. Can you work out why a single rep. is enough? Feb 8 comment How Graph Isomorphism is used to determine Graph Automorphism? "Now consider a transposition $\pi$ that moves $(i+1)$ th vertex to $j'$ th position where \$i