Хомеоморфизъм в математиката е непрекъсната биективна функция между две топологични пространства, чиято обратна функция също е непрекъсната. Две топологични пространства са хомеоморфни (или топологически изоморфни), ако можем да намерим такава функция между тях. От гледна точка на топологията такива две пространства са еднакви. Хомеоморфизмът осъществява непрекъсната деформация (разтягане и огъване, без разрязване) на едно топологично пространство в друго. Така например, чрез разтягане и огъване (формално конструираме хомеоморфизъм) можем да деформираме триъгълник до квадрат, след това квадрата до окръжност, т.е. тези така добре познати от геометрията фигури са един и същи обект в топологията.

Продължителна деформация от чаша за кафе към поничка (тор), илюстрираща техния хомеоморфизъм. Разпространена математическа шега е, че тополозите не могат да различат чаша за кафе от поничка.[1]

Терминът е въведен от Анри Поанкаре през 1895 г.[2][3]

Източници редактиране

  1. Hubbard, John H., West, Beverly H. Differential Equations: A Dynamical Systems Approach. Part II: Higher-Dimensional Systems. Т. 18. Springer, 1995. ISBN 978-0-387-94377-0. с. 204.
  2. Analysis Situs selon Poincaré (1895) // Архивиран от оригинала на 11 юни 2016. Посетен на 29 април 2018.
  3. Gamelin, T. W., Greene, R. E. Introduction to Topology. Courier, 1999. с. 67.