Реализуемость гиперграфов и неотъемлемая зацепленность

Мы приводим простые доказательства теоремы Конвея–Гордона–Закса о неотъемлемой зацепленности в трёхмерном пространстве, а также теорем ван Кампена–Флореса и Уммеля о неотъемлемых пересечениях. Последние связаны с нереализуемостью некоторых гиперграфов в четырёхмерном пространстве. Доказательства используют сведение к меньшим размерностям, которое позволяет показать связь между этими результатами. Используя элементарный язык, мы преподносим основные идеи без технических подробностей. Поэтому изложение доступно неспециалистам в данной области, включая студентов и школьников, знающих основы стереометрии и готовых изучить простые четырёхмерные обобщения.