ext_639935: с вебкамеры (Default)
[identity profile] xarkonnen.livejournal.com posting in [community profile] useless_faq
луч, прямая, полуплоскость и плоскость бесконечны.
однако интуитивно ощущается, что прямая более бесконечна, чем луч, полуплоскость более бесконечна, чем прямая, а плоскость более бесконечна, чем полуплоскость.
есть ли у такого ощущения какое-то строго математическое обоснование, или это просто глюк человеческого восприятия абстрактных понятий?

Date: 2008-11-01 08:59 am (UTC)
From: [identity profile] oal.livejournal.com
Наоборот. :)

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

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

Date: 2008-11-01 11:18 am (UTC)
From: [identity profile] lazylonelion.livejournal.com
Плоскость и полуплоскость так же.
Более того, плоскость и прямая одинаково бесконечны в смысле мощности множества.

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

Вот например множество натуральных (или рациональных) чисел и множество действительных имеют разную мощность, ЕМНИП.
(deleted comment)

Date: 2008-11-01 09:28 am (UTC)
From: [identity profile] lexxair.livejournal.com
да, например множество иррациональных и натуральных чисел

(no subject)

From: [identity profile] bert-msk.livejournal.com - Date: 2008-11-01 11:38 am (UTC) - Expand
(deleted comment)

(no subject)

From: [identity profile] trueblacker.livejournal.com - Date: 2008-11-01 05:05 pm (UTC) - Expand
(deleted comment)

(no subject)

From: [identity profile] trueblacker.livejournal.com - Date: 2008-11-01 05:44 pm (UTC) - Expand
(deleted comment)

(no subject)

From: [identity profile] trueblacker.livejournal.com - Date: 2008-11-01 05:55 pm (UTC) - Expand

занудничает

From: [identity profile] mal4ik-pespisty.livejournal.com - Date: 2008-11-03 06:09 am (UTC) - Expand

(no subject)

From: [identity profile] mal4ik-pespisty.livejournal.com - Date: 2008-11-03 06:08 am (UTC) - Expand
(deleted comment)

(no subject)

From: [identity profile] mal4ik-pespisty.livejournal.com - Date: 2008-11-04 02:59 pm (UTC) - Expand
(deleted comment)

(no subject)

From: [identity profile] chlord.livejournal.com - Date: 2008-11-05 06:11 pm (UTC) - Expand

Date: 2008-11-01 09:04 am (UTC)
From: [identity profile] andrey-larin.livejournal.com
луч полубесконечен.

(no subject)

From: [identity profile] andrey-larin.livejournal.com - Date: 2008-11-01 09:09 am (UTC) - Expand

(no subject)

From: [identity profile] ortosifon.livejournal.com - Date: 2008-11-01 09:27 am (UTC) - Expand

Date: 2008-11-01 09:08 am (UTC)
From: [identity profile] potan.livejournal.com
Отношение больше/меньше можно определить как существование однозначного отображения меньшего в большее какого-то класса.
Например, если брать класс отображений, сохраняющих растояние между точками, то полуплоскость меньше плоскости в евклидовой геометрии. А если требовать только непрерывные - то они одинаковые.

(no subject)

From: [identity profile] 050778.livejournal.com - Date: 2008-11-01 11:28 am (UTC) - Expand

(no subject)

From: [identity profile] dereferencing.livejournal.com - Date: 2008-11-01 12:01 pm (UTC) - Expand

(no subject)

From: [identity profile] 050778.livejournal.com - Date: 2008-11-01 12:17 pm (UTC) - Expand

(no subject)

From: [identity profile] yalexey.livejournal.com - Date: 2008-11-01 02:01 pm (UTC) - Expand

(no subject)

From: [identity profile] 050778.livejournal.com - Date: 2008-11-01 02:08 pm (UTC) - Expand

(no subject)

From: [identity profile] yalexey.livejournal.com - Date: 2008-11-01 02:26 pm (UTC) - Expand

Date: 2008-11-01 09:10 am (UTC)
From: [identity profile] fergus-macdubh.livejournal.com
Ну, если ни к чему не привязываться, то луч и прямая одинаково бесконечны. Однако, множество точек луча, является подмножеством точек прямой (ну, если луч лежит на прямой конечно). То есть из бесконечного числа точек прямой часть лучу все-таки не принадлежит.
Если привязать это к какой-нибуь задаче в которой возникнет вопрос где количество точек стремится к бесконечности быстрее - то ответом будет прямая :)

Date: 2008-11-01 09:46 am (UTC)
From: [identity profile] besuhoff.livejournal.com
кстати, продолжая тему: часть точек прямой, лучу не принадлежащая - это половина или нет?))

(no subject)

From: [identity profile] dio77.livejournal.com - Date: 2008-11-01 10:00 am (UTC) - Expand

(no subject)

From: [identity profile] dio77.livejournal.com - Date: 2008-11-01 10:02 am (UTC) - Expand

(no subject)

From: [identity profile] besuhoff.livejournal.com - Date: 2008-11-01 10:33 am (UTC) - Expand

Date: 2008-11-01 11:31 am (UTC)
From: [identity profile] 050778.livejournal.com
выше где-то было, имхо, верное рассуждение, которое примерн так развить/пересказать можно - раз "померить" бесконечности полностью и сравнить, какая больше, не представляется возможным, то надо учитывать фактор времени измерения, а тут у прямой преимущество - она же в 2 стороны одновременно увеличивается. Имхо, как-то так :-)

Date: 2008-11-01 10:17 pm (UTC)
From: [identity profile] travolta-ru.livejournal.com
не стоит пересказывать то, что вы сами не поняли либо, если поняли, то не можете пересказать

(no subject)

From: [identity profile] 050778.livejournal.com - Date: 2008-11-01 10:20 pm (UTC) - Expand

Date: 2008-11-01 12:19 pm (UTC)
From: [identity profile] nattengottin.livejournal.com
наверное это субъективное + воображение + ассоциативность мышления. мне, например, кажется, что из всего перечисленного самая что ни на есть бесконечная- прямая.
луч где-то вдали затухает, а у полуплоскости с краю свалиться ничего не составляет.

Date: 2008-11-01 12:24 pm (UTC)
From: [identity profile] vladon.livejournal.com
вообще это называется мощностью множества.

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

Date: 2008-11-01 12:42 pm (UTC)
From: [identity profile] oal.livejournal.com
Ну вот. А я не хотел путать человека умными словасами.

(no subject)

From: [identity profile] vladon.livejournal.com - Date: 2008-11-01 12:44 pm (UTC) - Expand

Date: 2008-11-01 02:48 pm (UTC)
From: [identity profile] led-mist.livejournal.com
почему прямая это целые числа??? а 2.5 куда девать?

(no subject)

From: [identity profile] vladon.livejournal.com - Date: 2008-11-03 06:54 am (UTC) - Expand

Date: 2008-11-01 01:44 pm (UTC)
From: [identity profile] nefes.livejournal.com
Те, кто отписывал тут с использованием математических терминов, несколько заблуждаются.
Луч - не есть множество натуральных чисел, луч - это множество вещественных неотрицательных.
Так же как и прямая - не множество целых, а множество вещественных (действительных).

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

Date: 2008-11-01 02:05 pm (UTC)
From: [identity profile] yalexey.livejournal.com
при нулевой толщине - ни когда не покроет.

(no subject)

From: [identity profile] yalexey.livejournal.com - Date: 2008-11-01 02:21 pm (UTC) - Expand

Date: 2008-11-01 02:13 pm (UTC)
From: [identity profile] yalexey.livejournal.com
Множеству всех действительных чисел равномощны: множество всех подмножеств счётного множества, множество всех комплексных чисел и, следовательно, множество всех точек плоскости, а также множество всех точек трёх- и вообще n-мерного пространства при любом n. Кантор высказал гипотезу (т. н. континуум-гипотезу): всякое множество, состоящее из действительных чисел, либо конечно, либо счётно, либо равномощно множеству всех действительных чисел.

(no subject)

From: [identity profile] yalexey.livejournal.com - Date: 2008-11-01 02:25 pm (UTC) - Expand

(no subject)

From: [identity profile] yashunsky.livejournal.com - Date: 2008-11-01 03:43 pm (UTC) - Expand

(no subject)

From: [identity profile] yashunsky.livejournal.com - Date: 2008-11-01 03:45 pm (UTC) - Expand

(no subject)

From: [identity profile] yashunsky.livejournal.com - Date: 2008-11-01 04:06 pm (UTC) - Expand

(no subject)

From: [identity profile] mal4ik-pespisty.livejournal.com - Date: 2008-11-03 06:05 am (UTC) - Expand

(no subject)

From: [identity profile] mal4ik-pespisty.livejournal.com - Date: 2008-11-03 06:03 am (UTC) - Expand

(no subject)

From: [identity profile] 57dimok.livejournal.com - Date: 2008-11-01 04:40 pm (UTC) - Expand

(no subject)

From: [identity profile] yashunsky.livejournal.com - Date: 2008-11-01 04:44 pm (UTC) - Expand

Date: 2008-11-01 07:10 pm (UTC)
From: [identity profile] nameman.livejournal.com
это не глюки, прямая в самом деле в 2 раза больше луча.
полуплоскость во много раз больше прямой.
а плоскость в 2 раза больше полуплоскости.

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

Date: 2008-11-01 11:23 pm (UTC)
From: [identity profile] nefes.livejournal.com
для таких утверждений неплохо бы формулировать, что такое "больше" ;)

Date: 2008-11-03 06:00 am (UTC)
From: [identity profile] mal4ik-pespisty.livejournal.com
Во всех случаях это ощущение появляется не потомучто второе понятие математически "более бесконечно" чем первое а просто потомучто первое есть подмножество второго или может быть вложено без нарушения геометрической формы как подмножество второго.

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

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