Current browse context:
math.FA
Change to browse by:
References & Citations
Mathematics > Functional Analysis
Title: Independence, infinite dimension, and operators
(Submitted on 25 Jul 2021 (v1), revised 30 Jul 2021 (this version, v2), latest version 19 Jun 2023 (v5))
Abstract: An interesting operatorial condition ensuring the equivalence between infinite dimension and linear independence of a sequence $(e_n)_{n \in \mathbb{N}}$ of vectors recently appeared in a paper made by O. Christensen and M. Hasannasab (proposition 2.3 of the paper "Frame properties of systems arising via iterative actions of operators"). It relies on the existence of an operator $T$ sending $e_n$ to $e_{n+1}$ for all $n \in \mathbb{N}$. In this article, we recover this result as a particular case of a general order-theory-based model-theoretic result. We then show that, in the restricted context of vector spaces, the result can at most be generalized to families $(e_i)_{i \in I}$ indexed by a countable set $I$ and maps $\phi : I \to I$ that are conjugate to the successor function $s : n \mapsto n+1$ defined on $\mathbb{N}$, at least if we want to preserve a condition like $T(e_i)=e_{\phi(i)}$ for all $i \in I$. 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$ 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.