Introduction E9F5FC Understandable FFFFFF Questions FFFFC0 Notes EEEEEE Software 
See: Four Classical Algebras, Classical Lie groups, Cartan matrix My latest answer as to why there are four classical Lie groups and algebras. I asked this question at Stack Exchange
I will share the progress I have made in attempting to answer my question. So far this is mostly a collection of ideas. I need to learn more mathematics and connect the dots. I appreciate related thoughts. Models of physics inspire mathematics, give meaning to it, and make it intuitive. Models of cognition could likewise, and arguably, even more centrally, in the case of models of cognition of mathematics. Algebraic combinatorics is a relevant approach where it tries to interpret algebraic truths so as to make intuitive sense of them and thus learn more from them. The four classical Lie algebras and groups seem to express the symmetries of the possible mental interpretations of a product {$x_1 x_2 \dots x_n$}. I am investigating this idea in three related mathematical realms.
I) Choice Let us be careful to distinguish two very different kinds of choices, symmetric and asymmetric. In a symmetric choice, we are choosing between labels which can be switched around, as with "this" and "that". This is the case with an implicit choice, where you took one or the other possibility. In nature, you can observe that an electron moved {$\leftarrow$} "left" or "right" {$\rightarrow$}. In an asymmetric choice, we ourselves make a commitment to one of the opposites which makes it syntactically different from the other. This is the case with an explicit choice, where we intentionally set the choice up so that either we accept the option, and mean "yes", or we explicitly reject it, and mean "no". This is the case when a scientist explicitly conducts an experiment and externally, on the metalevel, concludes that "something happened" or "nothing happened". Mathematically, a series of three symmetric choices {$\leftarrow$} or {$\rightarrow$} yields the eight corners of a cube with dimensions 1, 2, 3: {$(\leftarrow,\leftarrow,\leftarrow), (\leftarrow,\leftarrow,\rightarrow), (\leftarrow,\rightarrow,\leftarrow), (\rightarrow,\leftarrow,\leftarrow), (\leftarrow,\rightarrow,\rightarrow), (\rightarrow,\rightarrow,\leftarrow),(\rightarrow,\leftarrow,\rightarrow),(\rightarrow,\rightarrow,\rightarrow)$}. Here {$\leftarrow$} and {$\rightarrow$} are simply semantic labels and in that sense the shape stays the same if we switch them all around. [Clarify.] But a series of three antisymmetric choices {$\leftrightarrow$} or {$\varnothing$} ("vertex" or "no vertex") yields the subsets of the vertices 1, 2, 3 of a triangle: {$(\leftrightarrow,\leftrightarrow,\leftrightarrow), (\leftrightarrow,\leftrightarrow,\varnothing), (\leftrightarrow,\varnothing,\leftrightarrow), (\varnothing,\leftrightarrow,\leftrightarrow), (\leftrightarrow,\varnothing,\varnothing), (\varnothing,\varnothing,\leftrightarrow),(\varnothing,\leftrightarrow,\varnothing), (\varnothing,\varnothing,\varnothing)$} In this case, we can't just switch all of our choices. In particular, the set of all vertices and the set of no vertices are two completely different shapes. Mathematically, it looks like we're just manipulating a pair of symbols, as before, and we are. The hitch is that in the previous case the opposites were syntactically similar, whereas here they are syntactically different. That's a mental distinction. Of course, we can lose that distinction by just thinking about the symbols in a different way. But the whole point in modeling cognition is to be careful not to do that. It's also a challenge to note these mental distinctions without having our own symbols affect our thinking. Again, the subsets of a triangle's vertices form a poset where the inclusion is oriented (yielding flags). It relates absolutely distinguished and thus dissimilar concepts: all and none. Whereas the analogous relationship in the cube's coordinate system is nonoriented. It relates relatively distinguished and thus similar concepts: leftmost and rightmost. In the case of the cube, we are enumerating sets of properties. Each set of properties establishes a vertex of the cube. If P is a property, then NotP is likewise a property. The set of properties is considered as informative as the complementary set of nonproperties. This is because each nonproperty directly yields a property. In the case of the triangle, we are enumerating sets of essences. If E is an essence, then NotE is NOT an essence. A set of essences  a set of vertices  establishes a substructure of the triangle. Note that nonessences (the fact that a vertex is NOT in a substructure) are not deemed meaningful. Knowing that a vertex is not in structure tells me nothing about which vertex is in a structure. The knowledge of nonessences is informative only if I know all of the nonessences as well as all of the possible essences. A set of essences (what something is made of) consists of informative units in a way that the complementary set of nonessences (what something is not made of) does not. Thus properties and essences, as concepts, are based on these two very different worldviews. [There are two other infinite families of polytopes. They can be interpreted as follows.] [These interpretations distinguish the center and the whole, thus inside and outside. The meaning of center keeps changing and yet, in isolation, we think of there being one shared center  one shared absolute coordinate system. Whereas there is not one shared whole.] [The syntactic distinction arises from the difference between no choices and all choices. There is a universally well defined set of no choices. Whereas there is no universally well defined set of all choices. Furtherhmore, we identify each set of nonchoices with that set of no choices. If a don't choose something X times, then it is considered the same as having never made a choice. This reveals a syntactic distinction between choosing this and not choosing this.] Again, this is the difference between choosing X or notX, as with the cube, and choosing X or notchoosing X, as with the triangle. [We pair two of three levels: not choosing, choosing, choosing this or that.] [Not choosing or choosing = Allowing for gaps. Choosing this or not this = Not allowing for gaps.] [Not choosings are not distinguishable and thus commutative. Not choosing does not get a label. It is a nondistinguishable.] [The symmetry in an expansion is related to the questions of commutativity and associativity and other concepts that arise from the CayleyDickson construction.] II) Counting. In counting, {$A_n$} does not distinguish between beginning and end, between forwards and backwards. Extension can take place in either end, in either direction. However, {$B_n$} and {$D_n$} relate one end, by noting the symmetry in counting in one direction and the other, so extension can only take place on the other end (extending both ends simultaneously, thus adding a pair of dimensions). So they reduce the further possibilities of extension. How? How does {$C_n$} reduce the possibilities of extension? [The whole is a pseudoscalar. Thus odd and even dimensions matter.] III) Geometry. Geometry can be variously conceived with the help of polytopes. Going around a triangle can be conceived as:
Such geometrical concepts can be understood as grounded in the generating process of an infinite family of polytopes.
Curiously, this does not match with the evidence from the Lie groups {$A_n$}, {$B_n$}, {$C_n$} and {$D_n$}. They consist of those linear transformations of vectors which keep invariant the following notions of length:
We can think of {$A_n$} and the complex numbers as keeping distinct the duality of counting forwards and backwards. Then we can think of {$B_n$} and {$D_n$} as breaking that duality by linking the counting forwards and the counting backwards. {$B_n$} links them through an external zero, (a long root?), (a point at infinity?) {$D_n$} links them through an internal zero, an element shared by both counting forward and backwards. {$C_n$} and the quaternions double the dimensions as if by folding the counting so that there is new symmetry without a zero. If we consider the root systems, {$A_n$}, {$B_n$}, {$C_n$}, {$D_n$}, then based on their symmetries, we have two extremes: {$A_n$} and {$D_n$}. We can imagine the extrasystemic worldview of {$A_n$} as going beyond itself into an intrasystemic worldview {$D_n$}. In between, there may be a metasystemic worldview {$B_n$} looking in, and a systemic worldview {$C_n$} looking out. Then the systemic worldview is the most sophisticated. If we consider the consequences (the fullness) of the polytopes, then we may find a connection with the geometries. The crosspolytopes describe surface area and are thus symplectic. The hypercubes describe how a vantage point at infinity manifests itself, and so they are projective. The coordinate systems apparently get by without a zero and are thus affine. The simplexes are thus conformal. But why? IV) Rotations The Lie groups can be thought of as those matrices which respect lengths, and thus the unit sphere. These are rotations. The entries in the matrices can be the real numbers, the complex numbers, or the quaternions. As the dimensions grow, the real number matrices need to be distinguished between the cases for the even numbered and odd numbered dimensional vector spaces. Thus the vector spaces need to grow by two real dimensions (An, Bn, Dn) or by four real dimensions (Cn). V) Inverse elements Symmetries between two inverse matrices. VI) Matrix symmetries Symmetries within a matrix.
VII) Bilinear forms Given a bilinear form {$B:V\times V\rightarrow F$}
VIII) Cartan subalgebras {$D$} is the space of diagonal matrices. {$\epsilon_i(A)=a_{ii}$} define a basis for {$D^*$} {$A_n$} {$\mathfrak{h}=\{a\in D(\epsilon_1+\dots+\epsilon_n)a=0\}$} {$\mathfrak{h}^*=D^*/(\epsilon_1+\dots+\epsilon_n)$} {$\{\epsilon_i\epsilon_{i+1}\;\;i=1,\dots,n1\}$} is a basis for {$\mathfrak{h}^*$}. IX) generalized Cartan matrices Overview The polytopes seem to match with the Lie groups as follows:
Note that Cn and Bn have the same Weyl groups. 
FourClassicalAlgebrasDraftNaujausi pakeitimai 
Puslapis paskutinį kartą pakeistas 2019 birželio 08 d., 19:41
