En matemáticas, específicamente en teoría del orden, una relación binaria sobre un espacio vectorial sobre los números reales o los números complejos se llama arquimediana (o también de Arquímedes) si para todos los siempre que exista algún tal que para todos los números enteros positivos entonces necesariamente
Un espacio vectorial (pre)ordenado de Arquímedes es un espacio vectorial (pre)ordenado cuyo orden es de Arquímedes.[1]
Un espacio vectorial preordenado se llama casi de Arquímedes si para todos los siempre que exista un tal que para todos los números enteros positivos entonces[2]
Caracterizaciones
editar
Un espacio vectorial preordenado con una unidad de orden está preordenado arquimedianamente si y solo si para todos los números enteros no negativos implica que [3]
Supóngase que es un espacio vectorial ordenado sobre los números reales con una unidad de orden cuyo orden es de Arquímedes, y sea
Entonces, el funcional de Minkowski de (definido por ) es una norma llamada norma de unidad de orden, que satisface que y que la bola unitaria cerrada determinada por es igual a (es decir, [3]
Ejemplo
editar
El espacio de aplicaciones acotadas de valores reales en un conjunto con orden puntual está ordenado arquimedianamente con una unidad de orden (es decir, la función que es idénticamente en ). La norma de unidad de orden en es idéntica a la norma del supremo habitual: [3]
Ejemplos
editar
Cada espacio de Riesz con orden completo está ordenado por arquimedianamente.[5]
Una red vectorial de dimensión finita de dimensión tiene el orden de Arquímedes si y solo si es isomorfa a con su orden canónico.[5]
Sin embargo, un orden vectorial totalmente ordenado de dimensión no puede ser un orden de Arquímedes.[5]
También existen espacios vectoriales ordenados que son casi de Arquímedes pero no de Arquímedes.
Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN978-1584888666. OCLC 144216834.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN978-1-4612-7155-0. OCLC 840278135.