The Dedekind completion of an Archimedean ordered vector space as a reflector
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914471406993408 |
|---|---|
| author | Avilés, Antonio Bilokopytov, Eugene |
| author_facet | Avilés, Antonio Bilokopytov, Eugene |
| contents | We consider the category $\mathbf{AOVS}$ of Archimedean ordered vector spaces with linear maps which preserve all existing suprema, and its full subcategories $\mathbf{DAOVS}$, $\mathbf{DVL}$ and $\mathbf{UVL}$, consisting of directed spaces, Dedekind complete vector lattices and universally complete vector lattices, respectively. We deduce from some results in the literature that $\mathbf{DVL}$ and $\mathbf{UVL}$ are reflective subcategories of $\mathbf{DAOVS}$, with the usual Dedekind completion being the reflector in $\mathbf{DVL}$. In contrast to these facts, we show that a non-directed Archimedean ordered vector space of dimension greater than $1$ has no reflector in either $\mathbf{DVL}$ or $\mathbf{UVL}$. In particular, there are no free Dedekind complete vector lattices over a set with more than one element. We also use the occasion to show that a free vector lattice with $α$ generators embeds into a free vector lattice with $β$ generators if and only if $α\leβ$, and explore the concept of the free completion of an Archimedean vector lattice with a strong unit. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_12675 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The Dedekind completion of an Archimedean ordered vector space as a reflector Avilés, Antonio Bilokopytov, Eugene Functional Analysis 46A40, 46E05 We consider the category $\mathbf{AOVS}$ of Archimedean ordered vector spaces with linear maps which preserve all existing suprema, and its full subcategories $\mathbf{DAOVS}$, $\mathbf{DVL}$ and $\mathbf{UVL}$, consisting of directed spaces, Dedekind complete vector lattices and universally complete vector lattices, respectively. We deduce from some results in the literature that $\mathbf{DVL}$ and $\mathbf{UVL}$ are reflective subcategories of $\mathbf{DAOVS}$, with the usual Dedekind completion being the reflector in $\mathbf{DVL}$. In contrast to these facts, we show that a non-directed Archimedean ordered vector space of dimension greater than $1$ has no reflector in either $\mathbf{DVL}$ or $\mathbf{UVL}$. In particular, there are no free Dedekind complete vector lattices over a set with more than one element. We also use the occasion to show that a free vector lattice with $α$ generators embeds into a free vector lattice with $β$ generators if and only if $α\leβ$, and explore the concept of the free completion of an Archimedean vector lattice with a strong unit. |
| title | The Dedekind completion of an Archimedean ordered vector space as a reflector |
| topic | Functional Analysis 46A40, 46E05 |
| url | https://arxiv.org/abs/2604.12675 |