Notes:Delta complex/Formal attempt

Formal attempt

We try and keep everything combinatorial, so keep an abstract simplicial complex in the back of your mind, and a simplex as being like $\{a,b,c\}$ for a triangle and such.

Notations:

• Let $\#(n):\eq\{1,\ldots,n\}\subset\mathbb{N}$ - I did want to use $C(n)$ for "count" or "consecutive" but given the context that'd be a poor choice!
  • Consider $\#(n)$ as a poset in its own right (in fact a total order is in play) with the "usual" ordering on $\mathbb{N}$ it inherits. This is a standard substructure construction.
• Let $K$ be our Delta complex, let us sidestep defining exactly what this is now, as a tuple of sets.
• Let $S_n(K)$ be the set of $n$-simplices of $K$
• Let $I(m,n)$ be defined to be equal the collection of all injective monotonic functions of the form $f:\#(m+1)\rightarrow\#(n+1)$
  • The $+1$ comes from the definition: $\text{Dim}(\sigma):\eq\vert\sigma\vert - 1\in\mathbb{N}$ - we take care with the case $\sigma\eq\emptyset$ as I'm developing a framework including this and come up with 2 "null objects" that do not alter the theory, for now $\text{Dim}(\emptyset)\eq -1$ will do. It wont matter.
• $\Delta^m$ be the standard $m$-simplex in $\mathbb{R}^{m+1}$
• $G(n,m)$ - this is our goal, it's a collection of a bunch of maps of the form $G:S_n(K)\rightarrow S_m(K)$ {{Caveat|Notice the flip of $n$ and $m$) with certain properties.
  • Our goal is to find a bijection, say $F:I(m,n)\rightarrow G(n,m)$

First stab

• Let $m,n\in\mathbb{N}$ be given such that $m\le n$.
  • Let $f\in I(m,n)$ be given, so $f:\#(m+1)\rightarrow\#(n+1)$ is an injection and is monotonic - as per the definition of $I(m,n)$.
    • We associate $f$ with $L_f:\mathbb{R}^{m+1}\rightarrow\mathbb{R}^{n+1}$ which is a linear map defined by its action on a basis as $L_f(e_i):\eq e_{f(i)}$ where $e_i\in\mathbb{R}^\text{whatever}$ is a tuple that has $0$ in every entry except the $i^\text{th}$ which has $1$; as usual.
      • It is fairly easy to see that $\text{Ker}(M_f)\eq\{0\}$, then by "a linear map is injective if and only if its kernel is trivial" and "the image of a linear map is a vector subspace of the codomain" wee see that:
        • $L_f:\mathbb{R}^{m+1}\rightarrow L_f(\mathbb{R}^{m+1})$ is a linear isomorphism
      • As $\mathbb{R}^{m+1}$ is finite dimensional we see that $L_f$ is a continuous map