Ciro Santilli @cirosantilli 37

Take the element and apply it to itself. Then again. And so on.

In the case of a finite group, you have to eventually reach the identity element again sooner or later, giving you the order of an element of a group.

The continuous analogue for the cycle of a group are the one parameter subgroups. In the continuous case, you sometimes reach identity again and to around infinitely many times (which always happens in the finite case), but sometimes you don't.

One of the first formal proof systems. This is actually understandable!

This is Ciro Santilli-2020 definition of the foundation of mathematics (and the only one he had any patience to study at all).

TODO what are its limitations? Why were other systems created?

God, Ciro Santilli respects this guy.

Watching www.youtube.com/watch?v=-SbZZPX-y9g in 2022, who was one of his inspirations, made Ciro miss his guitar so much... one day, maybe, one day.

The dual space of a vector space $V$, sometimes denoted $V^{\ast }$, is the vector space of all linear forms over $V$ with the obvious addition and scalar multiplication operations defined.

Since a linear form is completely determined by how it acts on a basis, and since for each basis element it is specified by a scalar, at least in finite dimension, the dimension of the dual space is the same as the $V$, and so they are isomorphic because all vector spaces of the same dimension on a given field are isomorphic, and so the dual is quite a boring concept in the context of finite dimension.

Infinite dimension seems more interesting however, see: en.wikipedia.org/w/index.php?title=Dual_space&oldid=1046421278#Infinite-dimensional_case

One place where duals are different from the non-duals however is when dealing with tensors, because they transform differently than vectors from the base space $V$.

Elements of a Lie algebra can (should!) be seen a continuous analogue to the generating set of a group in finite groups.

For continuous groups however, we can't have a finite generating set in the strict sense, as a finite set won't ever cover every possible point.

But the generator of a Lie algebra can be finite.

And just like in finite groups, where you can specify the full group by specifying only the relationships between generating elements, in the Lie algebra you can almost specify the full group by specifying the relationships between the elements of a generator of the Lie algebra.

This "specification of a relation" is done by defining the Lie bracket.

The reason why the algebra works out well for continuous stuff is that by definition an algebra over a field is a vector space with some extra structure, and we know very well how to make infinitesimal elements in a vector space: just multiply its vectors by a constant $c$ that cana be arbitrarily small.

In "practice" it is likely "useless", because the functions that it can integrate that Riemann can't are just too funky to appear in practice :-)

Its value is much more indirect and subtle, as in "it serves as a solid basis of quantum mechanics" due to the definition of Hilbert spaces.

Bibliography:

Sample usages:

Good ones: