Traducción al alemán de "locale" (de pointless topology)

Question

¿Existe una traducción al alemán de "locale"? El término aparece casi siempre sin traducir como "Locale"; una sola vez he visto "Lokal". Donde yo me encuentro, decimos "Örtlichkeit" u "Ort".

Citando al nLab: A localidad es, intuitivamente, como un espacio topológico que puede o no tener suficientes puntos (o incluso ningún punto). Contiene lo que llamamos subespacios abiertos, pero puede haber o no suficientes puntos para distinguir entre subespacios abiertos. Se puede considerar que un subespacio abierto en una localidad transmite una cantidad limitada de información sobre los puntos (hipotéticos) que contiene.

Nota para los futuros lectores: Aunque he aceptado una respuesta, seguiría agradeciendo que alguien propusiera una traducción adecuada al alemán.

Answer 1

Wikipedia utiliza "Locale", con mayúsculas como sustantivo alemán, pero sin otros cambios. Parece que se ajusta a la forma en que la palabra fue introducida originalmente por John Isbell :

"una elección inspirada, que transmite todos los matices correctos sobre el espacial de estos objetos sin que se notara su base algebraica, y que al mismo tiempo algebraica, y que al mismo tiempo era capaz de realizar todas las inflexiones necesarias". todas las inflexiones necesarias".

[Handbook of the History of General Topology, Volume 3]

Debo añadir que "locale" también es una palabra inglesa: el Diccionario Oxford da su origen a "finales del siglo XVIII: del francés local (sustantivo), reformulado para indicar el acento en la sílaba final".

Algunos lugares de uso: locales --- Lokale

Answer 2

En alemán es: Punktlose Räume - Lokale . Se trata de una generalización de un espacio topológico ("Ein Lokal"). El siguiente artículo lo utiliza, por ejemplo ici .