Operación media

En topología algebraica , una media o una operación de media en un espacio topológico X es una operación binaria continua , conmutativa e idempotente sobre X. Si la operación es además asociativa , define un semirretículo . Un problema clásico es determinar qué espacios admiten una media. Por ejemplo, los espacios euclidianos admiten una media —el promedio habitual de dos vectores—, pero las esferas de dimensión positiva no la admiten, incluido el círculo .

• Aumann, G. (1943), "Über Räume mit Mittelbildungen". , Mathematische Annalen , 119 (2): 210–215 , doi : 10.1007/bf01563741.
• Sobolewski, Mirosław (2008), "Medias en continuos encadenables", Actas de la Sociedad Matemática Americana , 136 (10): 3701– 3707, doi : 10.1090/s0002-9939-08-09414-8.
• T. Banakh, W. Kubis, R. Bonnet (2014), "Medias en compactos dispersos" , Álgebra topológica y sus aplicaciones , 2 (1), arXiv : 1309.2401 , doi : 10.2478/taa-2014-0002{{citation}}: CS1 maint: nombres múltiples: lista de autores ( enlace ) .
• Charatonik, Janusz J. (2003), "Problemas seleccionados en teoría del continuo" (PDF) , Actas de la Conferencia de Topología y Sistemas Dinámicos de Primavera, Topology Proceedings , 27 (1): 51– 78, MR 2048922 .