We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.FA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Functional Analysis

Title: Independence, infinite dimension, and operators

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.
Comments: 11 pages
Subjects: Functional Analysis (math.FA); Logic (math.LO)
MSC classes: 15A03, 15A04, 06A12, 03C07
Cite as: arXiv:2107.11834 [math.FA]
  (or arXiv:2107.11834v3 [math.FA] for this version)

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.