Измерение

Из Википедии, бесплатной энциклопедии
Слева направо: квадрат , куб и тессеракт . Квадрат двумерен (2D) и ограничен одномерными отрезками ; куб трехмерен (3D) и ограничен двумерными квадратами; тессеракт четырехмерен (4D) и ограничен трехмерными кубами.
Первые четыре пространственных измерения представлены в двухмерной картинке.
  1. Две точки можно соединить, чтобы создать сегмент линии .
  2. Два параллельных отрезка линии можно соединить, образуя квадрат .
  3. Два параллельных квадрата можно соединить в куб .
  4. Два параллельных куба можно соединить в тессеракт .

В физике и математике размерность необходимых математического пространства (или объекта ) неформально определяется как минимальное количество координат, для указания любой точки внутри него. [1] [2] Таким образом, линия имеет размерность единица (1D), поскольку для указания точки на ней необходима только одна координата — например, точка 5 на числовой прямой. Поверхность (2D) , , такая как граница цилиндра . или сферы , имеет размерность два поскольку для указания точки на ней необходимы две координаты — например, как широта , так и долгота для определения местоположения точки на поверхности необходимы сферы. Двумерное евклидово пространство — это двумерное пространство на плоскости . Внутренняя часть куба , цилиндра или сферы трехмерна (3D), поскольку для определения местоположения точки в этих пространствах необходимы три координаты.

В классической механике пространство и время представляют собой разные категории и относятся к абсолютному пространству и времени . Эта концепция мира представляет собой четырехмерное пространство , но не то, которое было признано необходимым для описания электромагнетизма . Четыре измерения (4D) пространства-времени состоят из событий , которые не абсолютно определены в пространстве и времени, а скорее известны относительно движения наблюдателя . Пространство Минковского сначала приближается к Вселенной без гравитации ; псевдоримановы многообразия общей теории относительности описывают пространство-время с материей и гравитацией. 10 измерений используются для описания теории суперструн (6D-гиперпространство + 4D), 11 измерений могут описывать супергравитацию и М-теорию (7D-гиперпространство + 4D), а пространство состояний квантовой механики представляет собой бесконечномерное функциональное пространство .

Понятие измерения не ограничивается физическими объектами. Многомерные пространства часто встречаются в математике и естественных науках . Это могут быть евклидовы пространства или более общие пространства параметров или конфигурационные пространства , такие как лагранжева или гамильтонова механика ; это абстрактные пространства , независимые от физического пространства .

По математике [ править ]

В математике размерность объекта — это, грубо говоря, количество степеней свободы точки, которая движется по этому объекту. Другими словами, размерность — это количество независимых параметров или координат , которые необходимы для определения положения точки, которая должна находиться на объекте. Например, размерность точки равна нулю; размерность линии равна единице, так как точка может двигаться по линии только в одном направлении (или противоположном ему); размерность плоскости равна двум и т. д.

Размерность — это внутреннее свойство объекта в том смысле, что оно не зависит от размерности пространства, в котором объект находится или может быть встроен. Например, кривая , такая как окружность , имеет размерность один, поскольку положение точки на кривой определяется ее знаковым расстоянием вдоль кривой до фиксированной точки на кривой. Это не зависит от того факта, что кривая не может быть вложена в евклидово пространство размерности меньше двух, если только она не является линией.

Размерность евклидова n -пространства E н это н . При попытке обобщить другие типы пространств возникает вопрос: «Что делает E н n -мерный?" Один из ответов состоит в том, что для покрытия фиксированного шара в E н маленькими шариками радиуса ε нужно порядка ε п такие маленькие шарики. Это наблюдение приводит к определению измерения Минковского и его более сложного варианта, измерения Хаусдорфа , но есть и другие ответы на этот вопрос. Например, граница шара в E н локально выглядит как E п -1 и это приводит к понятию индуктивной размерности . Хотя эти понятия согласуются с E н , они оказываются разными, если взглянуть на более общие пространства.

Тессеракт это пример четырехмерного объекта. В то время как за пределами математики термин «размерность» используется следующим образом: «Тессеракт имеет четыре измерения », математики обычно выражают это так: «Тессеракт имеет измерение 4 », или: «Размерность тессеракта равна 4» или: 4Д.

Хотя понятие высших измерений восходит к Рене Декарту , существенное развитие многомерной геометрии началось только в 19 веке благодаря работам Артура Кэли , Уильяма Роуэна Гамильтона , Людвига Шлефли и Бернхарда Римана . Римана 1854 года Habilitationsschrift Шлефли 1852 года , Theorie der vielfachen Continuität , а также открытие Гамильтоном кватернионов и открытие Т. Грейвсом Джоном октонионов в 1843 году положили начало многомерной геометрии.

В оставшейся части этого раздела рассматриваются некоторые наиболее важные математические определения размерности.

Векторные пространства [ править ]

Размерность векторного пространства — это количество векторов в любом базисе пространства, т.е. количество координат, необходимых для задания любого вектора. Это понятие размерности ( мощности базиса) часто называют размерностью Гамеля или алгебраической размерностью , чтобы отличить его от других понятий размерности.

Для несвободного случая это обобщается до понятия длины модуля .

Коллекторы [ править ]

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

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

В геометрической топологии теория многообразий характеризуется тем, что измерения 1 и 2 являются относительно элементарными, многомерные случаи n > 4 упрощаются за счет наличия дополнительного пространства для «работы»; а случаи n = 3 и 4 в некотором смысле являются наиболее трудными. Такое положение дел было ярко выражено в различных случаях гипотезы Пуанкаре , в которых применяются четыре различных метода доказательства.

Комплексное измерение [ править ]

Размерность многообразия зависит от основного поля, относительно которого определяется евклидово пространство. Хотя анализ обычно предполагает, что многообразие основано на действительных числах , иногда при изучении комплексных многообразий и алгебраических многообразий полезно вместо этого работать с комплексными числами . Комплексное число ( x + iy ) имеет действительную часть x и мнимую часть y , в которой x и y являются действительными числами; следовательно, комплексное измерение вдвое меньше реального.

И наоборот, в алгебраически неограниченном контексте одна комплексная система координат может быть применена к объекту, имеющему два действительных измерения. Например, обычная двумерная сферическая поверхность , если ей задана комплексная метрика, становится сферой Римана одного комплексного измерения. [3]

Разновидности [ править ]

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

Алгебраическое множество представляет собой конечное объединение алгебраических многообразий, его размерность равна максимальной размерности его компонентов. Она равна максимальной длине цепей подмногообразий данного алгебраического множества (длина такой цепочки равна числу " ").

Каждое многообразие можно рассматривать как алгебраическую стопку , и его размерность как разнообразия согласуется с его размерностью как стека. Однако существует множество стопок, которые не соответствуют разновидностям, и некоторые из них имеют отрицательное измерение. В частности, если V — многообразие размерности m, а G алгебраическая группа размерности n, действующая на V , то стек факторов [ V / G ] имеет размерность m n . [4]

Измерение Крулла [ править ]

Размерность Крулля коммутативного кольца — это максимальная длина цепочек простых идеалов в нем, причем цепочкой длины n является последовательность простых идеалов, связанных включением. Оно тесно связано с размерностью алгебраического многообразия из-за естественного соответствия между подмногообразиями и простыми идеалами кольца многочленов на многообразии.

Для алгебры над полем размерность векторного пространства конечна тогда и только тогда, когда ее размерность Крулля равна 0.

Топологические пространства [ править ]

Для любого нормального топологического пространства X определяется размерность покрытия Лебега X как наименьшее целое число n , для которого выполняется следующее: любое открытое покрытие имеет открытое уточнение (второе открытое покрытие, в котором каждый элемент является подмножеством элемента из первое покрытие) такое, что ни одна точка не входит более чем в n + 1 элемент. В этом случае dim X = n . Для X многообразия это совпадает с упомянутой выше размерностью. Если такого целого числа n не существует, то размерность X называется бесконечной и пишут dim X = ∞ . Более того, X имеет размерность −1, т. е. dim X = −1 тогда и только тогда, когда X пусто. Это определение накрывающей размерности можно распространить с класса нормальных пространств на все тихоновские пространства, просто заменив в определении термин «открытый» термином « функционально открытый ».

Индуктивный размер можно определить индуктивно следующим образом. Считайте дискретный набор точек (например, конечный набор точек) 0-мерным. Перетаскивая 0-мерный объект в некотором направлении, можно получить 1-мерный объект. Перетаскивая одномерный объект в новом направлении , можно получить двухмерный объект. Обычно можно получить ( n + 1 )-мерный объект, перетаскивая n -мерный объект в новом направлении. Индуктивная размерность топологического пространства может относиться к малой индуктивной размерности или большой индуктивной размерности и основана на аналогии, согласно которой в случае метрических пространств ( n + 1 )-мерные шары имеют n -мерные границы , что позволяет индуктивное определение, основанное на размерности границ открытых множеств. Более того, граница дискретного набора точек является пустым множеством, и поэтому пустое множество можно считать размерностью -1. [5]

Аналогично, для класса CW-комплексов размерность объекта равна наибольшему n , для которого n -скелет нетривиален. Интуитивно это можно описать следующим образом: если исходное пространство можно непрерывно деформировать в набор треугольников более высокой размерности, соединенных на своих гранях сложной поверхностью, то размерность объекта равна размерности этих треугольников. [ нужна цитата ]

Размерность Хаусдорфа [ править ]

Размерность Хаусдорфа полезна для изучения структурно сложных множеств, особенно фракталов . Размерность Хаусдорфа определена для всех метрических пространств и, в отличие от рассмотренных выше размерностей, может иметь и нецелые действительные значения. [6] или Размерность коробки размерность Минковского — это вариант той же идеи. В общем, существует больше определений фрактальных размерностей , которые работают для сильно нерегулярных множеств и достигают нецелочисленных положительных действительных значений.

Гильбертовы пространства [ править ]

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

По физике [ править ]

Пространственные размеры [ править ]

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

Количество
размеры
Пример системы координат
1
Числовая линия
Числовая линия
Угол
Угол
2

Декартово   (двумерное)
Полярная система
Полярный
Географическая система
Широта и долгота
3
Декартова система (3d)
Декартовский (трехмерный)
Цилиндрическая система
Цилиндрический
Сферическая система
сферический

Время [ править ]

Временное измерение или измерение времени — это измерение времени. По этой причине время часто называют « четвертым измерением », но это не означает, что оно является пространственным измерением. [ нужна цитата ] . Временное измерение — это один из способов измерения физических изменений. Оно воспринимается иначе, чем три пространственных измерения, тем, что существует только одно из них, и что мы не можем свободно перемещаться во времени, а субъективно движемся в одном направлении .

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

Самая известная трактовка времени как измерения — это Пуанкаре и Эйнштейна специальная теория относительности (и расширенная до общей теории относительности ), которая рассматривает воспринимаемое пространство и время как компоненты четырехмерного многообразия , известного как пространство-время , и в специальной теории, плоский случай как пространство Минковского . Время отличается от других пространственных измерений, поскольку время действует во всех пространственных измерениях. Время действует в первом, втором и третьем, а также в теоретических пространственных измерениях, таких как четвертое пространственное измерение . Однако время не присутствует ни в одной точке абсолютной бесконечной сингулярности , определенной как геометрическая точка , поскольку бесконечно малая точка не может иметь никаких изменений и, следовательно, не иметь времени. Точно так же, как когда объект перемещается по позициям в пространстве, он также перемещается по позициям во времени. В этом смысле сила , заставляющая любой объект изменяться, — это время . [7] [8] [9]

Дополнительные размеры [ править ]

В физике общепринятой нормой является три измерения пространства и одно измерение времени. Однако существуют теории, которые пытаются объединить четыре фундаментальные силы путем введения дополнительных измерений / гиперпространства . В частности, теория суперструн требует 10 измерений пространства-времени и берет свое начало из более фундаментальной 11-мерной теории, предварительно названной М-теорией , которая объединяет пять ранее различных теорий суперструн. Теория супергравитации также утверждает, что 11-мерное пространство-время = 7-мерное гиперпространство + 4 общих измерения. На сегодняшний день нет прямых экспериментальных или наблюдательных доказательств, подтверждающих существование этих дополнительных измерений. Если гиперпространство существует, оно должно быть скрыто от нас каким-то физическим механизмом. Одна из хорошо изученных возможностей заключается в том, что дополнительные измерения могут быть «свернуты» в таких крошечных масштабах, что они будут фактически невидимы для текущих экспериментов.

В 1921 году теория Калуцы-Клейна представила 5D, включая дополнительное измерение пространства. На уровне квантовой теории поля теория Калуцы-Клейна объединяет гравитацию с калибровочными взаимодействиями, основываясь на осознании того, что гравитация, распространяющаяся в небольших, компактных дополнительных измерениях, эквивалентна калибровочным взаимодействиям на больших расстояниях. В частности, когда геометрия дополнительных измерений тривиальна, она воспроизводит электромагнетизм . Однако при достаточно высоких энергиях или коротких расстояниях эта установка по-прежнему страдает теми же патологиями, которые, как известно, препятствуют прямым попыткам описать квантовую гравитацию . Следовательно, эти модели по-прежнему требуют УФ-дополнения , такого типа, которое призвана обеспечить теория струн. В частности, теория суперструн требует шести компактных измерений (6D-гиперпространства), образующих многообразие Калаби – Яу . Таким образом, теорию Калуцы-Клейна можно рассматривать либо как неполное описание само по себе, либо как подмножество построения модели теории струн.

Помимо маленьких и свернутых дополнительных измерений, могут существовать дополнительные измерения, которые вместо этого не очевидны, поскольку материя, связанная с нашей видимой Вселенной, локализована в (3 + 1)-мерном подпространстве. Таким образом, дополнительные измерения не обязательно должны быть маленькими и компактными, но могут быть и большими . D-браны — это динамические расширенные объекты различной размерности, предсказанные теорией струн, которые могут играть эту роль. Они обладают тем свойством, что возбуждения открытых струн, связанные с калибровочными взаимодействиями, ограничены браной своими конечными точками, тогда как закрытые струны, опосредующие гравитационное взаимодействие, могут свободно распространяться во всем пространстве-времени или «массе». Это может быть связано с тем, почему гравитация экспоненциально слабее, чем другие силы, поскольку она эффективно растворяется по мере распространения в объем более высокого измерения.

Некоторые аспекты физики бран были применены в космологии . Например, космология газа на бране [10] [11] попытки объяснить, почему существует три измерения пространства, используя топологические и термодинамические соображения. Согласно этой идее, так оно и есть, поскольку три — это наибольшее число пространственных измерений, в которых струны могут пересекаться. Если изначально существует множество витков струн вокруг компактных размеров, пространство может расшириться до макроскопических размеров только после того, как эти витки будут устранены, что требует, чтобы струны с противоположной обмоткой нашли друг друга и аннигилировали. Но струны могут находить друг друга, чтобы аннигилировать со значительной скоростью только в трех измерениях, из чего следует, что только в трех измерениях пространства разрешено увеличиваться в размерах при такой начальной конфигурации.

Дополнительные измерения называются универсальными , если все поля могут одинаково свободно распространяться внутри них.

В компьютерной графике и пространственных данных [ править ]

Несколько типов цифровых систем основаны на хранении, анализе и визуализации геометрических фигур, включая программное обеспечение для иллюстраций , системы автоматизированного проектирования и географические информационные системы . Различные векторные системы используют самые разнообразные структуры данных для представления фигур, но почти все они в основе своей основаны на наборе геометрических примитивов, соответствующих пространственным измерениям: [12]

  • Точка (0-мерная), отдельная координата в декартовой системе координат .
  • Линия или полилиния (1-мерная), обычно представленная в виде упорядоченного списка точек, выбранных из непрерывной линии, после чего ожидается, что программное обеспечение интерполирует промежуточную форму линии в виде сегментов прямой или изогнутой линии.
  • Многоугольник (двумерный), обычно представленный как линия, закрывающаяся в своих конечных точках, представляющая границу двухмерной области. Ожидается, что программное обеспечение будет использовать эту границу для разделения двухмерного пространства на внутреннее и внешнее.
  • Поверхность (3-мерная), представленная с использованием различных стратегий, например многогранник , состоящий из соединенных граней многоугольника. Ожидается, что программное обеспечение будет использовать эту поверхность для разделения трехмерного пространства на внутреннюю и внешнюю части.

Часто в этих системах, особенно в ГИС и картографии , представление явлений реального мира может иметь другое (обычно более низкое) измерение, чем представляемое явление. Например, город (двумерный регион) может быть представлен в виде точки, а дорога (трехмерный объем материала) может быть представлена ​​в виде линии. Это размерное обобщение коррелирует с тенденциями пространственного познания. Например, вопрос о расстоянии между двумя городами предполагает концептуальную модель городов в виде точек, тогда как указание направлений движения «вверх», «вниз» или «вдоль» дороги подразумевает одномерную концептуальную модель. Это часто делается в целях эффективности данных, визуальной простоты или когнитивной эффективности и приемлемо, если понятно различие между представлением и представляемым, но может вызвать путаницу, если пользователи информации предполагают, что цифровая форма является идеальным представлением реальности. (то есть, полагая, что дороги на самом деле являются линиями).

Дополнительные размеры [ править ]

Список тем по параметрам [ править ]

См. также [ править ]

Ссылки [ править ]

  1. ^ «Любопытно, астрономия» . Любопытный.astro.cornell.edu. Архивировано из оригинала 11 января 2014 г. Проверено 03 марта 2014 г.
  2. ^ «Мир математики: Измерение» . Mathworld.wolfram.com. 27 февраля 2014 г. Архивировано из оригинала 25 марта 2014 г. Проверено 03 марта 2014 г.
  3. ^ Яу, Шинг-Тунг; Надис, Стив (2010). «4. Слишком хорошо, чтобы быть правдой» . Форма внутреннего пространства: теория струн и геометрия скрытых измерений Вселенной . Основные книги. стр. 60–. ISBN  978-0-465-02266-3 .
  4. ^ Фантечи, Барбара (2001), «Стеки для всех» (PDF) , Европейский математический конгресс, том I , Progr. Матем., вып. 201, Birkhäuser, стр. 349–359, заархивировано (PDF) из оригинала 17 января 2006 г.
  5. ^ Гуревич, Витольд; Уоллман, Генри (2015). Теория размерности (PMS-4), Том 4 . Издательство Принстонского университета . п. 24. ISBN  978-1-4008-7566-5 . Выдержка со страницы 24
  6. ^ Фрактальное измерение. Архивировано 27 октября 2006 г. в Wayback Machine , факультет математики и статистики Бостонского университета.
  7. ^ Рылов, Юрий А. (2007). «Неевклидов метод построения обобщенной геометрии и его применение к геометрии пространства-времени». arXiv : math/0702552 .
  8. ^ Лейн, Пол М.; Линдквист, Джей Д. (22 мая 2015 г.). «Определения четвертого измерения: предлагаемая система классификации по времени1» . В Бане, Кеннет Д. (ред.). Материалы ежегодной конференции Академии маркетинговых наук (AMS) 1988 года . Развитие маркетинговой науки: Труды Академии маркетинговых наук. Международное издательство Спрингер. стр. 38–46. дои : 10.1007/978-3-319-17046-6_8 . ISBN  978-3-319-17045-9 – через Springer Link.
  9. ^ Уилсон, Эдвин Б.; Льюис, Гилберт Н. (1912). «Пространственно-временное многообразие теории относительности. Неевклидова геометрия механики и электромагнетизма» . Труды Американской академии искусств и наук . 48 (11): 389–507. дои : 10.2307/20022840 . JSTOR   20022840 – через JSTOR.
  10. ^ Бранденбергер, Р.; Вафа, К. (1989). «Суперструны в ранней Вселенной». Ядерная физика Б . 316 (2): 391–410. Бибкод : 1989НуФБ.316..391Б . дои : 10.1016/0550-3213(89)90037-0 .
  11. ^ Скотт Уотсон, Космология бранового газа. Архивировано 27 октября 2014 г. в Wayback Machine (pdf).
  12. ^ Векторные модели данных , Основы географических информационных систем , Академия Сэйлора, 2012 г.

Дальнейшее чтение [ править ]

Внешние ссылки [ править ]