Independence, infinite dimension, and operators

Abstract

In [Appl. Comput. Harmon. Anal., 46(3):664-673, 2019], O. Christensen and M. Hasannasab observed that assuming the existence of an operator $T$ sending $e_n$ to $e_{n+1}$ for all $n\in \mathbb{N}$ (where $(e_n{)}_{n\in \mathbb{N}}$ is a sequence of vectors) guarantees that $(e_n{)}_{n\in \mathbb{N}}$ is linearly independent if and only if $\dim (\text{span}\{e_n{\}}_{n\in \mathbb{N}})=\infty$. In this article, we recover this result as a particular case of a general order-theory-based model-theoretic result. We then return to the context of vector spaces to show that, if we want to use a condition like $T(e_i)=e_{\varphi (i)}$ for all $i\in I$ where $I$ is countable as a replacement of the previous one, the conclusion will only stay true if $\varphi :I\to I$ is conjugate to the successor function $succ:n\mapsto n+1$ defined on $\mathbb{N}$. We finally prove a tentative generalization of the result, where we replace the condition $T(e_i)=e_{\varphi (i)}$ for all $i\in I$ where $\varphi$ is conjugate to the successor function with a more sophisticated one, and to which we have not managed to find a new application yet.

12 pages