сила геометрии

[xarkonnen.livejournal.com]

луч, прямая, полуплоскость и плоскость бесконечны.
однако интуитивно ощущается, что прямая более бесконечна, чем луч, полуплоскость более бесконечна, чем прямая, а плоскость более бесконечна, чем полуплоскость.
есть ли у такого ощущения какое-то строго математическое обоснование, или это просто глюк человеческого восприятия абстрактных понятий?

Comments

[oal.livejournal.com]

Наоборот. :)

Целые числа (прямая) и натуральные числа (луч) равномощны. То есть их "количество" -- "одинаковая" бесконечность. Доказывается просто: их можно отобразить один к одному. 0 -> 0, 1 -> 1, -1 -> 2, 2->3, -2->4, ...

В геометрических терминах я бы оно не выражал.

[andrey-larin.livejournal.com]

луч полубесконечен.

[potan.livejournal.com]

Отношение больше/меньше можно определить как существование однозначного отображения меньшего в большее какого-то класса.
Например, если брать класс отображений, сохраняющих растояние между точками, то полуплоскость меньше плоскости в евклидовой геометрии. А если требовать только непрерывные - то они одинаковые.

[fergus-macdubh.livejournal.com]

Ну, если ни к чему не привязываться, то луч и прямая одинаково бесконечны. Однако, множество точек луча, является подмножеством точек прямой (ну, если луч лежит на прямой конечно). То есть из бесконечного числа точек прямой часть лучу все-таки не принадлежит.
Если привязать это к какой-нибуь задаче в которой возникнет вопрос где количество точек стремится к бесконечности быстрее - то ответом будет прямая :)

[050778.livejournal.com]

выше где-то было, имхо, верное рассуждение, которое примерн так развить/пересказать можно - раз "померить" бесконечности полностью и сравнить, какая больше, не представляется возможным, то надо учитывать фактор времени измерения, а тут у прямой преимущество - она же в 2 стороны одновременно увеличивается. Имхо, как-то так :-)

[nattengottin.livejournal.com]

наверное это субъективное + воображение + ассоциативность мышления. мне, например, кажется, что из всего перечисленного самая что ни на есть бесконечная- прямая.
луч где-то вдали затухает, а у полуплоскости с краю свалиться ничего не составляет.

[vladon.livejournal.com]

вообще это называется мощностью множества.

при этом, как верно заметили выше, множество натуральных равномощно множеству целых (полупрямая и прямая).

[nefes.livejournal.com]

Те, кто отписывал тут с использованием математических терминов, несколько заблуждаются.
Луч - не есть множество натуральных чисел, луч - это множество вещественных неотрицательных.
Так же как и прямая - не множество целых, а множество вещественных (действительных).

Для человеческого восприятия равномощности луча и плоскости, предлагаю представить следущее. Луч - это такая длинная-длинная проволока. нулевой толщины. с началом, но без конца.
Берём, закрепляем его в точке начала и начинаем накручивать на эту точку в виде спирали. получается всё более и более разрастающийся круг (ну, не совсем круг, если быть точным, но для восприятия сойдёт), который когда-то через бесконечное время покроет всю плоскость целиком.

[nameman.livejournal.com]

это не глюки, прямая в самом деле в 2 раза больше луча.
полуплоскость во много раз больше прямой.
а плоскость в 2 раза больше полуплоскости.

Просто понятие "бесконечность" лишено, да простят меня математики, всякой гибкости.

[mal4ik-pespisty.livejournal.com]

Во всех случаях это ощущение появляется не потомучто второе понятие математически "более бесконечно" чем первое а просто потомучто первое есть подмножество второго или может быть вложено без нарушения геометрической формы как подмножество второго.

про мощности кнешно можно вспомнить но сдается мне что автор поста больше имеет ввиду не бесконечность множества точек а именно то, что луп, прямая, плоскость "не имеют конца", не ограничены в пространстве, простираются " до бесконечности ". А это не то же самое что быть бесконечным множеством точек, которое может быть вполне себе ограниченным.

еще странно что никто не сказал что то что полуплоскость кажется " более бесконечной " математически можно выразить строго тем фактом что например топологическое измерение плоскости или полуплоскости - 2, а прямой или луча - 1.