Может ли физический объект иметь иррациональную длину?

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

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

Связанный: physics.stackexchange.com/q/38184/2451 Противоположный вопрос: physics.stackexchange.com/q/2010/2451
Не займет ли измерение бесконечное количество времени? В конечном счете, квантовая механика обязательно должна подразумевать, что вы не можете проводить точные измерения?
Размотайте струну вокруг единичного цилиндра, и она гарантированно будет иметь иррациональную длину 2 π .

Ответы (13)

Множество иррациональных чисел плотно заполняет числовую строку. Даже если предположить, что квантовая механика не опровергает посылку вашего вопроса, вероятность того, что вы случайно выберете иррациональное число из множества всех чисел, примерно равна 1 1 1 .

Таким образом, вопрос должен звучать так: «Возможно ли иметь объект рациональной длины?

Это правильный вопрос.
Все, что вы сказали, имеет смысл, но не 1 1 / = 1, потому что 1 / = 0?
Но подождите, это на самом деле не имеет смысла. Существует также бесконечное множество рациональных чисел. Иррациональное число может быть «плотно» упаковано с любой точностью, которую вы выберете, но при бесконечной точности должно быть равномерное распределение как рациональных, так и иррациональных чисел.
@NickAnderegg: да, рациональных чисел бесконечное множество. Но есть еще большая бесконечность иррациональных чисел. А именно, количество рациональных чисел счетно бесконечно, а количество иррациональных чисел несчетно бесконечно.
Итак, иррациональных чисел бесконечно больше, чем рациональных. Такие конструкции, как множества Кантора, делают это очевидным.
Разве вы не имели в виду, что вероятность случайного выбора иррационального числа равна 1 ? @NickAnderegg Несмотря на то, что множество рациональных чисел плотно в р , его мера равна нулю . Это означает, что если мы возьмем любое множество и удалим из него все рациональные числа, мы не сможем обнаружить разницу, измерив его.
Да, но это математические аргументы, на самом деле у нас нет неделимых частиц, но у нас есть частицы с наблюдаемыми, основанными на «волнах вероятности», хммм, так что дискретное количество частиц, но измеряемые биты частиц — это распределения вероятностей... .
@Jerry Ну да, можно иметь объект рациональной длины. Вам нужно только настроить бесконечно точную шкалу, чтобы заданная длина стала точно рациональной. Однако, если вы сохраняете фиксированный масштаб, так что одна длина становится рациональной, всегда должна быть возможность (до такой степени, что это тривиально) найти длину, которая является иррациональной.
Длина каждого объекта рациональна, если вы используете его собственную длину в качестве единицы измерения. 8-)}
@kram1032: конечно, и с почти бесконечной точностью любой другой объект будет иметь нерациональную длину.
Этот ответ основан на неверном предположении, что вопрос о возможных результатах измерений может решаться теорией меры. Заманчиво думать, что это так, даже названия совпадают: измерение, мера. Однако это только согласие в именах; вещество очень разное. Речь идет о возможных результатах физических измерений, теория меры является частью математики. Это совсем разные вещи. Как говорит Кит Томпсон, математически одна и та же физическая длина может быть как рациональной, так и иррациональной; это зависит от используемого счетчика.
Однако большинство прямых измерений имеют конечную числовую точность, поэтому необработанные числа, полученные в процессе измерения, всегда являются рациональными числами.
@JánLalinský: конечно, но фактический результат будет суммой в квадратуре нескольких таких измерений, что все равно будет иррациональным числом.
Что вы подразумеваете под "суммой по квадратурам"? А "фактический результат"? Разве результат измерения не является фактическим результатом?
Но рациональность плотна в р со стандартной топологией.

Может ли физический объект иметь иррациональную длину?

Это немного философский вопрос, но можно сказать так:

Ради интереса предположим, что у вас есть идеальный прямоугольный треугольный кусок металла с углом в 45 градусов, основание и высота которого рациональны. Тогда его гипотенуза иррациональна, потому что ее длина равна основанию, умноженному на 2 .

Таким образом , возможно иметь физический объект иррациональной длины, ЕСЛИ вы можете иметь физический объект рациональной длины.

ДОБАВЛЕНО: Предположим, вы вырезаете прямоугольный треугольник с углом 45 градусов из материала, основанного на квадратной атомной решетке, так что основание и высота состоят из Н атомы, разделенные г . Тогда гипотенуза состоит из Н атомы, разделенные 2 × г , так что все равно не рационально.

Вместо этого предположим, что материал основан на гексагональной решетке. Тогда все межатомные расстояния будут г , но из него невозможно вырезать идеальный треугольник с углом 45 градусов. На самом деле единственный треугольник с рациональными сторонами, который можно было бы вырезать, был бы равносторонним.

Кажется, здесь вся моя предпосылка разваливается, и я не могу ясно изложить свои мысли. По сути, я спрашиваю, возможно ли существование этой гипотенузы. Возможно, основание и высота не могут быть равны, потому что тогда гипотенуза была бы иррациональной. Но в остальном в этом есть смысл.
вы также должны быть в состоянии предположить, что у вас может быть объект, который имеет идеальный прямой угол.
@RoundTower: вам нужно точно настроить, чтобы получился треугольник со всеми тремя рациональными сторонами. Почти у каждого треугольника есть хотя бы одна иррациональная сторона.
@JerrySchirmer: Ваше последнее предложение подытоживает и мой опыт общения со слабым полом.
@RoundTower, в качестве альтернативы, вы могли бы признать, что идеальный прямой угол возможен, но вместо этого утверждать, что вы не можете получить идеально треугольный кусок металла.
@Mike Dunlavey Что, если бы у меня был муравей. И если бы я любезно попросил муравья пройти через гипотенузу, то, прежде чем завершить свой путь, куда бы она сделала свой последний шаг.
@Mike Dunlavey, извините меня за то, что я натыкаюсь на старый ответ, но разве этот мысленный эксперимент уже не предполагает вывод? с 45 градусами, равными пи / 4 радиана, и все ..

Предположим, ваш бесконечно точный штангенциркуль дает ответ 2.00000000000000 Откуда ты знаешь, что это 2 точно, или если где-то после триллионного десятичного знака оно начинает отклоняться от 2 ? Как бы вы прочли свой бесконечно точный штангенциркуль?

Ну, это просто обман вопроса. Это явно не какие-то штангенциркули. Я изменил вопрос, чтобы учесть этот ответ.
Вы по-прежнему безосновательно предполагаете, что существует такая вещь, как «точная длина» физического объекта.
Но материя квантуется: атомы/кварки/...струны? Даже струны квантуются. Если все квантуется, у нас нет бесконечной точности или бесконечных десятичных разрядов.
Комментарий Raindrops закрывается и дает ответ на вопрос. Каждая возможная длина является целым числом, кратным qanta.

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

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

Можно привести аргумент, основанный на теории меры и тому подобном, но нельзя забывать, что физика занимается измерением . Вопрос о том, может ли длина быть рациональной или иррациональной, потребовал бы бесконечно точного измерения, что невозможно (измерения несут ошибку). Следовательно, на этот вопрос нельзя ответить с точки зрения физики. Любой ответ будет просто предположением.

Точно мои мысли.

Если мы предположим, что Вселенная непрерывна, и, скажем, зафиксируем все в определенных временных рамках. Тогда все имеет иррациональную длину, независимо от того, насколько хорошо мы можем ее измерить. Просто потому, что мы можем определить единицу измерения, результат которой будет иррациональным.

Например, измерьте мою ногу. Теперь определите единицу измерения 1   К а р ф быть квадратным корнем из удвоенной длины. Тогда моя нога была бы точно 1 2   К а р ф длинный. Как мы знаем 1 2 иррационально.

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

Я думаю, что придумывать такую ​​шкалу - это не то, о чем просит вопрос: возьмем в качестве примера правильный равнобедренный треугольник. Предполагается, что вы измеряете длины сторон с длиной 1, и, следовательно, гипотенуза должна быть / с д р т 2 . По сути, вопрос заключается в следующем: если вы используете бесконечно точную шкалу, в которой одна из сторон оказывается рациональной, будут ли на физическом уровне все стороны рациональными (две из них имеют незначительно разную длину) или могут ли две из них быть точно такими же? то же самое, делая третью сторону иррациональной? (или третья сторона может быть рациональной, а две другие иррациональными.)

Возьмем наименьший возможный случай такого треугольника. Он будет состоять из трех атомов одинакового размера, соединенных вместе в форме буквы L с углом между ними 90°.

три гипотетических атома

Если у вас есть такое расположение, и что-то подобное может быть химически возможно, центры масс двух более удаленных атомов будут разнесены [точно] [1] 2 × расстояние между непосредственно соприкасающимися.

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

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

[1]: по модулю Гейзенберга, но я также не использовал правильные орбитали. Давайте, ради аргумента, определим расстояние на квантовом уровне расстояниями ожидаемых значений соответствующих облаков вероятностей.

Хорошая картинка, как она сделана?
ха, спасибо, это был простой рендер в Blender Cycles. (Посмотрите, если не знаете. Это аккуратно.) Три преломляющие голубоватые сферы, один источник света посередине над ними в том же месте, что и камера, если я правильно помню. Хотя это было давно. - Не совсем относится к вопросу, но мне захотелось немного пофантазировать :)

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

Итак, давайте придерживаться классической механики, тогда ваш штангенциркуль может возвращать иррациональные числа.

Но математический отрезок даже не обязательно должен иметь рациональную или иррациональную длину, он может иметь и более «тонкий» масштаб, так называемое нестандартное число.

С точки зрения теории меры вероятность измерения рациональной длины фактически равна нулю.

Рассмотрим без ограничения общности интервал [ 0 , 1 ] . Используя стандартную меру Лебега, мера этого множества (его длина) равна 1. Если мы рассмотрим подмножество, состоящее из всех рациональных чисел из этого множества, его мера на самом деле равна 0. Это становится понятным, если учесть, насколько крошечным размер рациональных чисел сравнивается со всеми другими действительными числами. Фактически оказывается, что единственные подмножества нашего интервала с ненулевой мерой являются непрерывными (например, [ а , б ] , куда а < б и мера б а ) и те, которые содержат так называемые нормальные числа. Говорят, что только нормальные числа «занимают любое место» в строке действительных чисел. То есть практически все действительные числа на самом деле являются нормальными числами (которые никогда не могут быть записаны на бумаге), поэтому вероятность измерения чего-либо, что не является нормальным числом, равна 0.

http://en.wikipedia.org/wiki/Обычный_номер

Осторожно, теория меры не имеет ничего общего с физическими измерениями.

Я думаю, что, поскольку у вас есть измерения, которые являются действительными числами, не изоморфными натуральным числам или счетно бесконечными, вы сначала предположили, что Вселенная бесконечно плотна. Следовательно, любое измерение, упомянутое в некоторых других ответах, справедливо должно иметь бесконечное количество десятичных знаков.

Это видно из того, что множество действительных чисел можно рассматривать как множество бесконечных последовательностей целых чисел. Поскольку измерения положительны, любое измерение можно представить в виде р знак равно я знак равно 0 а я 10 я такой, что а 0 е Н и для я > 0 ; а я 9 . Затем р определяется как предел, как я к .

Короче говоря, вы можете видеть, что иррациональные измерения просто соответствуют определенным типам последовательностей выше, где они не повторяются.

Вместо того, чтобы идти дальше в определении целочисленных последовательностей, я хотел бы рассмотреть и другие понятия. Возможные измерения не поддаются исчислению!

Имейте в виду, что хотя традиционно математика, используемая в физике, определяется над действительными или комплексными числами, они обычно соответствуют множествам, изоморфным целым числам или которые являются счетными в реальных вычислениях.

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

Считать, что вселенная каким-то образом непрерывна, даже тогда есть парадокс, как если бы этого не могло быть. Принимая во внимание неисчислимые множества, как гипотетическая вселенная могла бы «узнать», что делать?

Гипотенуза прямоугольного треугольника с катетом 1 иррациональна.


В качестве альтернативы рассмотрим пирамиду. Когда вы измеряете «длину основания» по направлению к вершине, вы получаете непрерывные наборы значений. Один из них должен быть иррациональным.

Конечно, вы можете затем начать спор о том, что такое «физический» объект, и является ли длина действительно непрерывной, или она должна быть дискретной, поскольку состоит из атомов.

Хорошо, но тогда вам нужно найти прямоугольный треугольник, и вы должны иметь равные катеты. 1 что-то рациональное...
Теоретический треугольник не является физическим объектом.
@NickAnderegg Как насчет твоего квадрата?
Вопрос больше в точности. Это больше похоже на «Могу ли я иметь физический треугольник с гипотенузой 2 . Возможно, было бы невозможно построить треугольник с катетами, равными ровно 1 единице. Возможно, один из катетов настолько короче, что позволяет гипотенузе приблизиться к 2 .

Во-первых, не имеет смысла присваивать абсолютные числа таким физическим величинам, как длина и объем. Число может быть разным по отношению к разным «единицам» измерения.

Но можно еще усомниться в соотношении двух длин, в данном случае:

В соответствии с пределом энтропии Бекенштейна (информация), я думаю, должен быть какой-то максимальный уровень точности.

Если стержень имеет иррациональное отношение длины, то он требует бесконечного количества информации (запишите длину в двоичном формате, подобно этой последовательности 11010100001000....).

Поскольку иррациональные числа не имеют никакого шаблона (повторение конечной последовательности), я думаю, что невозможно сохранить всю эту информацию в мире квантовой механики.

Более того, можно быть еще более критичным и принять существование отношений длин только с конечным кодом (а не с конечным повторяющимся шаблоном)! так что можно отрицать даже стержень с нецелым отношением длин рациональных чисел.

Это похоже на появление целых чисел (квантов) в квантовой механике!

Я расцениваю голосование против без объяснения причин как зависть из-за недостатка знаний.

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

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

Оказывается, континуальная структура физической геометрии куда интереснее, чем реальная линия...