Current browse context:
math
Change to browse by:
References & Citations
Mathematics > Functional Analysis
Title: Independence, infinite dimension, and operators
(Submitted on 25 Jul 2021 (v1), last revised 19 Jun 2023 (this version, v5))
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_{\phi(i)}$ for all $i \in I$ where $I$ is countable as a replacement of the previous one, the conclusion will only stay true if $\phi : 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_{\phi(i)}$ for all $i \in I$ where $\phi$ is conjugate to the successor function with a more sophisticated one, and to which we have not managed to find a new application yet.
Submission history
From: Nizar El Idrissi [view email][v1] Sun, 25 Jul 2021 15:55:19 GMT (11kb)
[v2] Fri, 30 Jul 2021 12:32:25 GMT (11kb)
[v3] Sat, 29 Jan 2022 19:28:29 GMT (11kb)
[v4] Mon, 7 Nov 2022 20:45:23 GMT (11kb)
[v5] Mon, 19 Jun 2023 19:53:20 GMT (11kb)
Link back to: arXiv, form interface, contact.