Минковскиев простор

Предлошка:Време-простор Минковскиев простор или Минковскиев време-простор — комбинација од Евклидов простор и време во четиридимензионално многуобразие каде временскиот интервал помеѓу било кои два настани е независен од инерцијалната рамка на однесување.Најпрво развиена од математичарот Херман Минковски за Максвеловите равенки за електромагнетизам, математичката структура на Минковскиевиот време-простор се покажала како последица од специјалните постулати за релативноста.

Минковскиевиот простор е тесно поврзана со Специјалната теорија за релативност на Ајнштајн, и е најприменуваната математичка структура преку која специјалната релативност е формулирана.Додека поединечните компоненти во Евклидов простор и време често варираат поради контракција на должината ивременска дилатација, во Минковскиевиот време-простор, сите рамки од референтите го поддржуваат целосното растојание помеѓу настаните. Бидејќи времето го третира различно од другите димензии,Минковскиевиот простор се разликува од четиридимензионалниот Евклидов простор.

Во Евклидовиот простор,изометриската група е Евклидовата група.Аналогната геометриска група на Минковскиот простор, зачуваните интервали од бремето и просторот се опремени со поврзувачка непозитивна дефинитивна билинеарна форма(овде наречена Минковкиев внатрешен производ,) е Група Пуанкаре. Минковскиевиот внатрешен производ се дефинира како и за да се добиеa интервалот од време-просторот меѓу два настани кога е дадена нивната координатна разлика на вектор како аргумент.

Историја

Херман Минковски (1864 – 1909)бил Германски математичар. Открил дека специјалната теорија за релативност, која била докажана од неговиот студент Алберт Ајнштајн, може најлесно да биде разбрана преку четиридимензионален простор, познат како Минковскиев време-простор.

Четиридимензионален Евклидов време-простор

Во 1905, а подоцна објавено во 1906, Анри Поенкаре покажал дека земајки го времето како имагинарна координата на времепросторот (√Предлошка:Overline ct),а Лоренцова трансформација може да се гледа како ротација на координати во четиридимензионалниот Евклидов простор каде три реални координати ја претставуаат вселената, а една имагинарна координата, претставувајќу ги времето, како четврта димензија.Бидејќи просторот станува псевдо-Евклидов простор, роцатијата е претстава на хиперболична ротација,иако Поенкаре не дал никаква интерпретација,неговата цел била само да ја објасни Леренцовата трансформација во термини од познатата Евклидова ротација.

Оваа идеја била елаборирана од Херман Минковски, кој ја користи за објаснување на Максвеловите равенки во четири димензии,покажувајќи ја директно нивната инваријанта под Лоренцова трансформација.Тој понатаму ја реформулирал во четири димензии тогаш скорешната теорија на специјална релативност на Алберт Ајнштајн.Од ова тој заклучил дека времето и просторот треба да се третираат еднакво,и така издигнал неговиот концепт од настани кои заземаат место во унифизиран чпетиридимензионален времепростор континум.

Минковскиев простор

Во понатамошен развој, тој дал алтернативна формулација од оваа идеја дека користел реална координата за времето наместо имагинарна, претставувајки ги четирите променливи Предлошка:Nowrap на просторот и времето во координатна форма во четиридимензионален простор афин просотр. Бодови во оваа просторна кореспондација од настани во времепростор.Во овој простор,дефинирано е светол конус поврзано со секоја точка (види дијаграм горе), и настаните не се на светлиот конус се класифицирани од нивната релација до темето како просторно или временско.Тоа е главно овој поглед од времепросторот што е сегашен,иако постариот поглед инволвира имагинарно време исто така влијаел специјалната релативност.Минковски,свесен од фундиментално преформулирање на теоријата која тој ја направил,рекол Предлошка:Quote

Математичка структура

За преглед ,Минковскиевиот простор е Предлошка:Math-димензионален реален векторски простор опремен со негенерирани ,симетрички билинеарни форми од просторот на тангентата и секоја точка во времепросторот ,овде е едноставно наречен Минковскиев внатрешен производ, со знак Предлошка:Math или Предлошка:Math. Во практика,еден мора да не биде на тангентите простори.Векторскиот простор во природа на Минковскиевиот простор дозволува канонички идентификации од векторите во тангентните простори на точки(настани) со вектори(точки,настани)во самиот Минковскиев простор. For some purposes it is desirable to identify tangent vectors at a point Предлошка:Math with displacement vectors at Предлошка:Math, which is, of course, admissible by essentially the same canonical identification.

Потписот се однесува на кој знак Минковскиевиот внатрешен производ принесува кога даден простор и време се засноваат на вектори како аргументи. Генерално,мамематичарите и општите релативци прферираат поранешен додека практичните физичари се стремат да го користат доцниот. Аргументите на поранешниот(чисти просторни вектори принесуваат позитивни "норми-квадрат") вклучувајќи "континуитет" од Евклидовиот случај кореспондира со нерелативниот лимит Предлошка:Math. Аргументите за доцниот(чисти просторни вектори принесуваат негативни "норми-квадрат") вклучувајќи дека спротивно сеприсутноста минус знак во практична изика ќе исчезне.

Математички поврзано со оваа билинеарна форма е тензор од типот Предлошка:Math во секоја точка во времепросторот, нареченаМинковскиева метрика. Минковскиевата метрика,билинеарната форма,и Минковскиевиот внатрешен производ се всушност сите многу исти објекти.Во координатите,ова е Предлошка:Math матрица која претставува билинеарна форма. Чувајќи го ова на ум може да олесни она што следува.

За споредба, во општата релативност, Лоренцовиот колекторПредлошка:Math е опремен со метрички тензор Предлошка:Math, кој е недегенериран симетричен билинеарен по форма на тангентниот просторПредлошка:Math и во секоја точка Предлошка:Mvar на Предлошка:Math.Во координатите ,може да репрезентира со Предлошка:Math матрицазависејќи од позицијата на времепросторот.Минковскиевиот простор е компаративен со едноставен случај од Лоренцовиот колектор.Неговиот метрички тензор,наречен Минковскиева метрика,е координата на иста симетричка матрица на секоја точка од Предлошка:Math, и неговите аргументи можат ,од нагоре да бидат земени како вектори во самиот времепросторот.

Претсавувајќи повеќе терминологија (но не повеќе структура),Минковскиевиот простор е псевдо-Евклидов простор со тотални димензија Предлошка:Math и знаци Предлошка:Math илиПредлошка:Math.Елементи од Минковскиевиот простор се наречени настани. Минковскиевиот простор е често одбележан Предлошка:Math или Предлошка:Math за да го истакне избраниот знак,или самоПредлошка:Math. Можеби е наједноставниот пример на псевдо-Риемановиот колектор .

Псевдо-Евклидови метрички воопштувања

Минковкиевата метрика Предлошка:Mvar е метрички тензор од Минковскиевиот простор. Е Псевдо-Евклидова метрика.Како таква е недегенерирана симетричка билинеарна форма,вид Предлошка:Math тензор.Прифатени два аргументи Предлошка:Math, вектори во Предлошка:Math, тангентнтиот простор Предлошка:Math во Предлошка:Math. Поради горенаведените канонички идентификации од Предлошка:Math with Предлошка:Math самиот,ги прифаќа аргументите Предлошка:Math со двата Предлошка:Math и Предлошка:Math воПредлошка:Math.

Како нотациони конвенции,векторите Предлошка:Mvar воПредлошка:Mvar, се наречени 4-вектори, се одбележани во in санс-сериф закосени, и не ,како заеднички во Евклидовите поставувања , со задебелени Предлошка:Math. Доцниот е начелно резервиран за Предлошка:Math-вектор дел(ќе биде најавен доле) на Предлошка:Math-вектор.

Дефиниција

$u\cdot v=\eta (u,v)$

принесува како внатрешен производ структура на Предлошка:Math, претходно и исто хенсфорт ,наречен Минковскиев внатрешен производ , слично на Евклидовиот внатрешен производ, но опишува различна геометрија. Следел својства.

• $\eta (au+v,w)=a\eta (u,w)+\eta (v,w),\mathrm{\forall }u,v\in M,\mathrm{\forall }a\in ℝ\text{(linearity in first slot)}$
• $\eta (u,v)=\eta (v,u)\text{(symmetry)}$
• $\eta (u,v)=0\mathrm{\forall }v\in M\Rightarrow u=0\text{(non-degeneracy)}$

Првите два услова покажуваат билинеарност.Дефинирајќи разлика помеѓу псевдовнатрешен производ и внатрешен продикт правилно е дела порано е не барано да биде позитивно дефиниран , тоа е , Предлошка:Math е дозволено.

Два вектора Предлошка:Math и Предлошка:Math се речени да бидат ортогонални ако Предлошка:Math.

Вектор Предлошка:Math е наречен единица вектор ако Предлошка:Math.Основа за Предлошка:Math содржана од заеднички ортогонални единици вектори е наречен ортонормална основа.

За дадена инертна рамка, ортонормална основа во простор,комбинирана со инија на временски вектор,форми на ортонормални основи во Минковскиев простор. Бројот од позитивни и негативни унии на вектори во таква основа се попраавени од пар од броеви,еднаков на знаците од билинеарната форма поврзана со внатрешниот производ. Ова е Силвестеров закон на инертност.

Повеќе терминологија (но не повеќе структура ): Минковскиевата метрика е псевдо-Риеманова метрика,по специфично,Лоренцова метрика,дури поспецифично,Лоренц метрика,резервирана за Предлошка:Math-димензионална рамна простор-време со која преостанатата двосмисленост само е значајна конвенција.

Минковскиева метрика

Од двата постулати на специјална релативност следува време-простор интервал меѓу двата настани Предлошка:Math,

$\pm [c^2(t_1-t_2{)}^2-(x_1-x_2{)}^2-(y_1-y_2{)}^2-(z_1-z_2{)}^2],$

е независно од инертната избрана рамка. ФакторотПредлошка:Math едноставно значи дека изборот од знаци е оставен отворен . Бројчените вредности од Предлошка:Mvar, гледани како матрица го прикажуваат Минковскиевиот внатрешен производ, следен од теоријата на билинеарни форми.

Знакот од метриката е дефинирам во литературата,овој квантитет не е константо именуван. Интервалот (дефиниран тука) е понекогаш прикажан како квадратен интервал. Even the square root of the present interval occurs. Кога знакот и интервалот се поправени,двосмисленоста сè уште останува како и координатата е временска координата. Можеби е четврта,или можеби е нулта.Ова не е исцрпна листа од нотни неправилности.Фактот на живот што еден мора да ја провери дефиницијата прво нешто што еден ја советува литературата на релативност .

Поседноста на интервалот под координатни трансформации меѓу инертни рамки следи од поседност од

$\pm [c^2{t}^2-x^2-y^2-z^2]$

(или со знак Предлошка:Math), обезбедени од трансформациите се линеарни .Оваа This квадратна форма може да се користи да се дефинира билинеарна форма

$u\cdot v=\pm [c^2{t}_1{t}_2-x_1{x}_2-y_1{y}_2-z_1{z}_2].$

од поларниот идентитет .Оваа билинеат форма може да се заврти напишана како

$u\cdot v=u^{\mathrm{T}}[\eta ]v,$

каде Предлошка:Math е Предлошка:Math матрица поврзана со Предлошка:Mvar. Можеби збунувачки, ознака Предлошка:Math само со Предлошка:Mvar е како обична практика . Матрицата е прочитана од иксплицитна билинеарна форма

$\eta =\pm \left(\begin{array}{cccc}-1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right),$

и билинеарната форма

$u\cdot v=\eta (u,v),$

со која делот почнува преспоставувајќи нејзиното постоење ,е сега идентитет.

За одреденоста и кратка презентација,знакот Предлошка:Math е усвоен подолу.Изборот има не физички импликации. Симетричната група ја зачувува билинеарната форма со еден избор од знаци е изоморфна со симетрична група зачувана од друг изнор од знаци .Ова значи дека двата избора се согласност со двата постулати на релативност.

Стандардни основи

Стандардна основа за Минковскиевиот простор е поставена од четири заеднички ортогонални вектори Предлошка:Nowrap како

$-\eta (e_0,e_0)=\eta (e_1,e_1)=\eta (e_2,e_2)=\eta (e_3,e_3)=1.$

Овие услови може да бидат запишани компактно во форма

$\eta (e_{\mu },e_{\nu })={\eta }_{\mu \nu }.$

Релативно до стандардна основа,компоненти од вектор Предлошка:Math се запишаниПредлошка:Math каде Ајнштајнова нотација е користена да се запише Предлошка:Math. Компонентот Предлошка:Math е наречен временски компонент од Предлошка:Math додека другите три компоненти се просторни компоненти. Просторните компоненти од Предлошка:Math-вектор Предлошка:Math може да идентификуваат со Предлошка:Math-вектор Предлошка:Math.

Во врска со компоненти ,Минковскиевиот внатрешен производ меѓу два вектора Предлошка:Math и Предлошка:Math е добиен од

$\eta (v,w)={\eta }_{\mu \nu }{v}^{\mu }{w}^{\nu }=v^0{w}_0+v^1{w}_1+v^2{w}_2+v^3{w}_3=v^{\mu }{w}_{\mu }=v_{\mu }{w}^{\mu },$

и

$\eta (v,v)={\eta }_{\mu \nu }{v}^{\mu }{v}^{\nu }=v^0{v}_0+v^1{v}_1+v^2{v}_2+v^3{v}_3=v^{\mu }{v}_{\mu }.$

Тука намалување на индексот е користено со метрика . Технички , не дегенерирана билинеарна форма обезбедува мапа помеѓу векторски простор и неговиот двојник , во овој контекст,мапата е меѓу тангентниот простор од Предлошка:Math и котангенсиот простор од Предлошка:Mvar. Во точка на Предлошка:Mvar,тангенсниот и котангенсиот простор се двојни векторски простори. Како и автентичниот внатрешен производ на векторски простор со еден среден аргумент , од Ризовата претставувачка теорема ,може да се израси со акција од линеарна функција на векторскиот простор ,исто држи значење за Минковскиевиот внатрешен производ на Минковскиевиот простор.

Дури и Предлошка:Math се копоненти на вектор во тангентен простор,тогаш Предлошка:Math се компоненти од вектор во котангенсен простор (линеарно функционални).Поради идентификацијата на векторите во тангенсниот простор со вектори во Предлошка:Math самиот, овој не најчесто игнориран, и вектори со помали индикации се прикажани како коваријантни вектори . Во оваа доцна интерпретација,коваријантни вектори се (скоро секогаш имплицитни) идентификувани со вектори (линеарно функционални) во двојни од Минковскиев простор . Оние со горни индекси се контраваријантни вектори.На исти начин,инверзно од мапата од тангентите до котангентните простори , експлицитно дадени од инверзно Предлошка:Math претставата на матрицата, може да сее користи да се дефинира зголемување на индекс. Компонентите од инверзот се одбележани Предлошка:Math. Се случува Предлошка:Math. Овие мапи меѓу векторски простор и неговиот двојник може да се обележани Предлошка:Math (eta-flat) иПредлошка:Math од музички аналогии .

Докажаното време за стабилноста на самиот формализам,понекогашсе прикажува како индексна гимнастика, осигурува движење на вектори околу и менување на контраваријантниот и коваријантниот вектор и обратно е математички звук .Неточните изразувања се стремат да се прикажат брзо.

Лоренцови трансформации и симетрија

Стандардна конфигурација од координатни системи за Лоренцови трансформации .

Групата Пуанкаре е група од сите трансформации кои го одржуваат интервалот.Интервалот е доста лесно виден за да биде задржан од транслационата група воПредлошка:Math димензии. Другите трансформации се тие што го одржуваат интервалот и си одат од потекло фиксни.Дадена билинеарна форма поврзана со Минковскиева метрика,адекватната група следи директно од теоријата (во конкретна дефиниција) од класична група. Е поврзана со поврзан член, еден треба да идентификува Предлошка:Math (во оваа матрична презентација) со матрицатаПредлошка:Math.

Соодветната група Предлошка:Math, во овој контекст е наречена Лоренцова група. Нејзините елементи се наречени (хомогени) Лоренцови трансформации.За други методи од деривација,со многу физички осврт,гледадериваџија од Лоренцови трансформации.

Помеѓу наједноставните Лоренцови трансформации е Лоренцовото зголемување.За референца ,зголемување во Предлошка:Math-насока е дадено од

$\left[\begin{array}{c}U{\text{'}}_0\\ U{\text{'}}_1\\ U{\text{'}}_2\\ U{\text{'}}_3\end{array}\right]=\left[\begin{array}{cccc}\gamma & -\beta \gamma & 0& 0\\ -\beta \gamma & \gamma & 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right]\left[\begin{array}{c}{U}_0\\ U_1\\ U_2\\ U_3\end{array}\right],$

каде

$\gamma =\frac{1}{\sqrt{1-\frac{v^2}{c^2}}}$

е Лоренцов фактор, и

$\beta =\frac{v}{c}.$

Други Лоренцови трансформации се чисти ротации,и оттука елементите од a SO(3) подгрупа од Предлошка:Math.Генералната хомогена Лоренцова трансформација е производ од чисто зголемување и чиста ротација.Нехомогена Лоренцова трансформација е хомогена трансформација следена од транслација од просторот и времето.Специјални трансформации се оние кои инвертираат просторни координати (Предлошка:Math) и временска координата (Предлошка:Math) соодветно, или двете Предлошка:Math.

Сите четири вектори во Минковскиевиот простор се трансформираат ,по дефиниција, следејќи ја истата формула под Лоренцовите трансформации . Минковскиев дијаграм илустрира Лоренцови трансформации.

Причинска структура

Подрубрика од Минковскиевиот времепростор со почитување на настан во четири одделни множества.Светлиот конус, апсолутна иднина, апсолутно минато, и на друго место. Терминологијата е од Предлошка:Harvtxt.

Предлошка:Главна ВекториПредлошка:Math се класифицирани според знакот од Предлошка:Math. Векторот е временски ако Предлошка:Math, просторен ако Предлошка:Math, и нулти или светол ако Предлошка:Math. Ова може да биде искажано во термини на знаци Предлошка:Math ,но зависи од потпишувањето. Класификацијата на секој вектор ќе биде иста во сите рамки од референцата,поради неваријантнтоста на интервалот.

Множество од сите нулти вектори на настан од Минковскиев простор го сочинува светлиот конус на настан .Даден на временскиот вектор Предлошка:Math,постои линија на светот од константа на брзината поврзана со неа , претставувајќи ја правата линија во Минковскиевиот дијаграм.

Кога е избрана насока на времето , временските и нултите вектори можат понатаму да се распаднат во разни класи .За временските вектори еден има

1. понатаму насочен временски вектори кои првите компоненти им се позитивни,(врв од вектор сместен на апсолутната иднина на фигурата) и
2. минато насочени временски вектори кои првите компоненти се негативни (апсолутно минато).

Нулти вектори паѓаат во три класи:

1. нула вектор,чии компоненти на секоја основа се Предлошка:Math,
2. идно насочени нулти вектори чии први компоненти се позитивни (горен светол конус),

и

1. минато насочени нулти вектори чии први компоненти се негативни (долен светол конус).

Просторните вектори се на друго место .Терминологијата произлегува од фактот дека просторните одделени настани се поврзани од вектори кои се побрзи од светлината ,и неможат никако да си влијаат еден на друг.Заедно со просторните и светлите вектори има вкупно 7 класи .

Ортогоналните основи за Минковскиевиот простор мора да се сочинуваат од еден временски и три просторни единица вектори.Ако еден сака да работи со не-ортогонални основи можно е да има други комбинации од вектори. На пример,еден може лесно да конструира (не-ортогонални) основи составена целосно од нулти вектори,наречени нулти основи. Над реалните, ако два нулти вектори се ортогонални (нула Минковскиев тензор вредност ), тогаш мораат да бидат пропорционални. Сепак,дозволувајќи комплексни броеви,еден може да се здобие со нулта тетрада,која е основа сочинета од нулти вектори,некој кои се ортогонални еден на друг.

Векторските полиња се наречени временски,просторни или нулти ако поврзаните вектори се временски просторни или нилти во секоја точка каде полето се дефинира.

Хронолошки и последични релации

Ако x, y ∈ M. Ние речеме дека

1. x хронолошки му претходи y ако Предлошка:Nowrap е идно насочен просторен. Оваа релација ја има транзитивната сопственост и моѓе да биде запишан x < y.
2. x последично му претходи y ако Предлошка:Nowrap е одно насочен нулти или идно насочен просторен. Дадено е делумна подреденост од просор-време и може да биде запишана x ≤ y.

Обратна триаголна нееднаквост

Ако v и w се заедно идно насочени временски четири-вектори,тогаш во (+ - - -) знаци конвенција во норма,

$\Vert v+w\Vert \ge \Vert v\Vert +\Vert w\Vert .$

Односи со други формулации

Различен број на димензии

Строго кажано,Минковскиевиот простор реферира за математичка формулација во четири димензии. Сепак , математиката може лесно да биде продолжена или поедноставена да создаде аналогија "Минковскиев простор" ако некој број од димензии . Ако Предлошка:Math, Предлошка:Math-димензионален Минковскиев простор е вектор простор од реална димензија Предлошка:Math на која има константна Лоренцова метрика од знаци Предлошка:Nowrap или Предлошка:Nowrap. Овие воопштувања се користени во теории каде просторвреме е претпоставено дека има повеќе или помалку од Предлошка:Math димензии. Стринг теоријата М-теоријата се два примера каде Предлошка:Math.Во стринг теоријата,се појавува конформално поле со теории со Предлошка:Math просторбреме димензии.

Рамен наспроти закривен простор

Како рамен времепростор, трите одделни компоненти од Минковскиевиот простор секогаш ја почитуваатthe Питагоравата теорема.Минковскиевиот простор е соодветна основа за специјалната релативност .добар опис од физичкиот систем над конечни растојаанија ви системи без значителна гравитација . Сепак,во ред да се земе гравитацијата во сметка,физичарите користат теорема од општа релативност,која е формулирана со математичка од неевклидова геометрија.Кога оваа геометрија е користена како модел од физички простор,е познато како крив простор.

Дури и во кривиот простор,Минкосвкиевиор простор е уште добар опис на бесконечниот регион опкружувајќи секоја точка (забрзани гравитациски сингуларности). Повеќе абстрактно,ние викаме дека во присуство од гравитацион времепростор е опишано од криви 3-димензионален колектор за кој тангентниот простор во секоја точка е 4-димензионален Минковскиев простор.Структурата од Минковскиевиот простор сè уште има суштинско значење во опос од општа релативност.

Поврзано

• Каузална структура
• Евклидов простор
• Четири-вектор
• Хиперболоиден модел
• Лоренцово многуобразие
• Метрички тензор
• Минковскиев дијаграм
• Минковскиева рамнина
• Брзина на светлината
• Суперминковскиев простор
• Светска линија

Наводи

• Предлошка:Наведено списание
• Предлошка:Наведена книга
• Предлошка:Наведена книга
• Предлошка:Наведена книга
• Предлошка:Наведена книга
• Предлошка:Citation *Wikisource translation: The Fundamental Equations for Electromagnetic Processes in Moving Bodies
• Предлошка:Citation Various English translations on Wikisource: Space and Time
• Предлошка:Наведена книга
• Предлошка:Наведена книга
• Предлошка:Citation Wikisource translation: On the Dynamics of the Electron
• Предлошка:Наведена книга
• Предлошка:Наведена книга
• Предлошка:Наведена книга

Надворешни врски

• Предлошка:YouTube visualizing Minkowski space in the context of special relativity.
• The Geometry of Special Relativity: The Minkowski Space - Time Light Cone Предлошка:Семарх