### 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), last revised 29 Jan 2022 (this version, v3))

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. Returning to vector spaces, we then 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)

Link back to: arXiv, form interface, contact.