Angol: A Wikipédia biztonságosabbá teszi az oldalt. Régi webböngészőt használ, amely a jövőben nem tud csatlakozni a Wikipédiához. Kérjük, frissítse eszközét, vagy forduljon a rendszergazdához.

中文: 维基 百科 正 在 使 网站 更加 安全 您 正 在 使用 旧 ， ， 这 将来 无法 连接 维基 百科 更新 您 的 设备 您 的 管理员 提供 长 ， ， ， 的 更新 仅 英语 英语 英语 英语 英语 英语 英语 英语 英语 英语 ， ， ， ， ， 英语 英语 英语 英语 英语 英语 英语 英语 英语 英语 英语szia).

spanyol: Wikipedia está haciendo el sitio más seguro. Használta a webes navigációt, hogy a Wikipédiában és a jövőképben nincs sera capaz de conectarse. Aktuális eszköz vagy kapcsolatfelvétel az adminisztrátorral. Más abajo hay una aktualizacion más larga y más técnica en inglés.

ﺎﻠﻋﺮﺒﻳﺓ: ويكيبيديا تسعى لتأمين الموقع أكثر من ذي قبل. أنت تستخدم متصفح وب قديم لن يتمكن من الاتصال بموقع ويكيبيديا في المستقبل. يرجى تحديث جهازك أو الاتصال بغداري تقنية المعلومات الخاص بك. يوجد تحديث فني أطول ومغرق في التقنية باللغة الإنجليزية تاليا.

Francais: Wikipédia va bientôt augmenter la securité de son site. Vous utilisez actuellement un navigateur web ancien, qui ne pourra plus se connecter à Wikipédia lorsque ce sera fait. Merci de mettre à jour votre appareil ou de contacter votre administrateur informatique à cette fin. Kiegészítő információk és technikák és angol nyelvű elérhetőségek.

日本語: ウィキペディア で は サイト の セキュリティ を て い ます。 ご 利用 の は バージョン 古く 、 今後 、 ウィキペディア でき なく なる 性 が ます を 、 管理 管理 管理 者 ください 技術 技術 面 の 更新 更新 更新 更新 更新 更新 更新 更新 更新 更新 更新 更新 する ​​する更新 更新 更新 詳しい 詳しい 詳しい 詳しい HIPヅ報は以下に英語ぁ提侂

Német: Wikipedia erhöht die Sicherheit der Webseite. Du benutzt einen alten Webbrowser, der in Zukunft nicht mehr auf Wikipedia zugreifen können wird. Bitte aktualisiere dein Gerät oder sprich deinen IT-Administrator an. Ausführlichere (und technisch detailliertere) Hinweise findest Du unten in englischer Sprache.

olasz: A Wikipédia biztonságosabb. Használja a webböngészőt, amely nem használható a jövőbeli Wikipédia-kapcsolatok fokozataiban. Per favore, aggiorna il your dispositivo or contatta il your administratore informatic. Più in basso elérhető egy legrészletesebb és legfejlettebb technológia angol nyelven.

Magyar: Biztonságosabb lesz a Wikipedia. A böngésző, amit használsz, nem lesz képes kapcsolódni a jövőben. Használj modernebb szoftvert vagy jelezd a problémát a rendszergazdádnak. Alább olvashatod a reszletesebb magyarázatot (angolul).

Svédország: Wikipédia gör sidan mer säker. Du använder en äldre webbläsare som inte kommer att kunna läsa Wikipedia i framtiden. Frissítse az IT-adminisztrátort. Det finns en längre och mer teknisk förklaring på engelska längre ned.

हिन्दी: विकिपीडिया साइट को और अधिक सुरक्षित बना रहा है। आप एक पुराने वेब ब्राउज़र का उपयोग कर रहे हैं जो भविष्य में विकिपीडिया से कनेक्ट नहीं हो पाएगा। कृपया अपना डिवाइस अपडेट करें या अपने आईटी व्यवस्थापक से संपर्क करें। नीचे अंग्रेजी में एक लंबा और अधिक तकनीकी अद्यतन है।

Eltávolítjuk a nem biztonságos TLS-protokoll-verziók támogatását, különösen a TLSv1.0-t és a TLSv1.1-et, amelyekre böngészőszoftvere támaszkodik a webhelyeinkhez való csatlakozáskor. Ezt általában elavult böngészők vagy régebbi Android okostelefonok okozzák. Vagy ez lehet a vállalati vagy személyes "Web Security" szoftver által okozott interferencia, amely valójában rontja a kapcsolat biztonságát.

Webhelyeink eléréséhez frissítenie kell webböngészőjét, vagy más módon meg kell oldania a problémát. Ez az üzenet 2020. január 1-ig megmarad. Ezt követően a böngészője nem tud kapcsolatot létesíteni a szervereinkkel.

Mi az a mérőszám? Mire való? Ez egy fizikai mező?

Hilbert és Einstein Grossmannal közös munkájának köszönhetően a mérőszám erősen kapcsolódik a gravitáció elméletéhez. A matematikában azonban már jóval korábban bevezették. Ha nem tévedek, Riemann és Gauss volt az elsők között, akik valamilyen módon kifejezetten használták. Először is megpróbáljuk megérteni a geometriában betöltött szerepét, és csak ezután fogjuk látni, hogyan vált a metrikából a GR, az általános relativitáselmélet fő szerkezete.

A mai napig meglehetősen részletes és világos definíciója van a metrikus tereknek Általános nézet:

A matematikában a metrikus tér („metrikával felszerelve”) olyan tér, amelyben bármely két rendezett pontjához (vagyis az egyiket az elsőnek, a másikat a másodiknak) egy valós számot definiálunk. hogy akkor és csak akkor egyenlő nullával, ha a pontok egybeesnek, és a „háromszög” egyenlőtlenség teljesül - bármely három pont(x,y,z) ez a szám bármely (x,y) pár esetén egyenlő vagy kisebb, mint a másik két pár (x,z) és (y,z) számainak összege. A definícióból az is következik, hogy ez a szám nem negatív, és nem változik (a metrika szimmetrikus), ha a párban lévő pontok sorrendje megváltozik.

Szokás szerint, amint valami definiálva van, ez a definíció kibővül, és a név kiterjesztésre kerül más, hasonló terekre. Ezért itt. Például, szigorúan formálisan nem lesz metrikus a fent megadott definíció szerint, mivel bennük a „metrikus” szám, az intervallum két különböző pontnál lehet nulla, négyzete pedig negatív valós szám is. Azonban szinte a kezdetektől a metrikus terek családjába tartoznak, egyszerűen a megfelelő követelmény eltávolítása a definícióból a definíció kiterjesztésével.

Ezenkívül a metrika a térben nem minden pontra definiálható, hanem csak a végtelenül közeli pontokra (lokálisan). Az ilyen tereket Riemann-nak nevezik, és általában metrikus tereknek is nevezik. Továbbá, a Riemann-terek tették olyan híressé a metrikát, amely felkeltette mind a matematikusok, mind a fizikusok figyelmét, és még sok olyan ember számára is ismerős volt, akiknek kevés kapcsolatuk van ezekkel a tudományokkal..

Végső soron itt a Riemann-terekkel kapcsolatos metrikáról lesz szó, azaz. helyi értelemben. És még helyben határozatlan ideig.

Hivatalos matematikai definíció bővítései pedig a metrika fogalmának megértésének és tisztázásának az eredménye. Lássuk, miből nőtt ki ez a fogalom, a való világ milyen tulajdonságaihoz kapcsolták eredetileg.

Minden geometria azokból a fogalmakból ered, amelyeket eredetileg Eukleidész formalizált. Ilyen a mérőszám is. Az euklideszi geometriában (az egyszerűség és az áttekinthetőség kedvéért kétdimenziós geometriáról, tehát egy sík geometriájáról fogunk beszélni) létezik két pont közötti távolság fogalma. Nagyon gyakran és most a mérőszámot pontosan távolságnak nevezik. Mert az euklideszi síkon a távolság a metrika, a metrika pedig a távolság. És ez így fogant meg a legelején. Bár, mint megpróbálom bemutatni, ez a metrika modern fogalmára csak nagyon korlátozott értelemben, sok fenntartással és feltétellel vonatkozik.

A távolság az euklideszi síkon (egy darab papíron) rendkívül egyszerű és kézenfekvő dolognak tűnik. Valójában vonalzó segítségével tetszőleges két pont közé egyenes vonalat húzhat, és megmérheti a hosszát. A kapott szám a távolság lesz. A harmadik pontot figyelembe véve rajzolhatunk egy háromszöget, és megbizonyosodhatunk arról, hogy ez a távolság (a sík bármely két pontjára) pontosan megfelel a fent megadott definíciónak. Valójában a definíciót egytől egyig a síkon az euklideszi távolság tulajdonságaiból másolták át. A „metrika” szóhoz pedig eredetileg a mérés (a mérő segítségével), a sík „metrizálása” társult.

És miért kellett távolságokat mérni, pontosan ezt a sík mérését elvégezni? Nos, hogy a való életben milyen távolságokat mérnek, valószínűleg mindenkinek megvan a maga ötlete. A geometriában pedig akkor gondoltak rá igazán, amikor bevezették a koordinátákat, hogy a sík egyes pontjait külön és egyedi módon írják le a többitől. A síkon a koordináta-rendszer nyilvánvalóan bonyolultabb lesz, mint a két pont távolsága. Itt az origó, és a koordinátatengelyek, és a távolság (hogyan lehet nélkülük?) Az origótól a pont vetületeiig a tengelyen. Hogy miért van szükség a koordinátarendszerre, az egyértelműnek tűnik – ez egy egymásra merőleges vonalak folytonos hálója (ha a koordináták derékszögűek), teljesen kitöltve a síkot, így problémamegoldás bármely pont címét.

Kiderült, hogy a metrika a távolság, a koordináták pedig a távolságok. Van különbség? Beírt koordináták. Akkor miért a mérőszám? Van különbség, és egy nagyon jelentős. A koordinátarendszerek megválasztása bizonyos szabadságot jelent. NÁL NÉL Descartes-rendszerek tengelyként egyenes vonalakat használunk. De használhatunk görbéket is, nem? Tud. És mindenféle csavaros is. Mérhetünk-e távolságot ilyen vonalak mentén? Természetesen. A távolság, hossz vonal mentén történő mérése nem függ attól, hogy melyik vonalról van szó. Egy ívelt útnak is van hossza, és mérföldköveket helyezhet el rajta. De az euklideszi tér metrikája nem tetszőleges távolság. Ez a két pontot összekötő vonal hossza. Egyenes. És mi ez? Melyik vonal egyenes és melyik íves? Egy iskolai kurzusban az egyenes vonalak axióma. Látjuk őket, és elkapjuk az ötletet. De az általános geometriában az egyenesek (ez önmagában egy név, egy címke, semmi több!) definiálható néhány speciális vonalként a két pontot összekötő összes lehetséges vonal között. Mégpedig úgy, mint a legrövidebb, a legkisebb hosszúságú. (És bizonyos esetekben bizonyos matematikai terek esetében éppen ellenkezőleg, a leghosszabb, a legnagyobb hosszúságú.) Úgy tűnik, hogy felfogtuk a különbséget a metrika és a két pont közötti tetszőleges távolság között. Nem volt ott. Rossz úton mentünk. Igen, ez így van, az egyenes vonalak a legrövidebb vonalak az euklideszi térben. De a mérőszám nem csak a legrövidebb út hossza. Nem. Ez a másodlagos tulajdona. Az euklideszi térben a metrika nemcsak két pont távolságát jelenti. A metrika mindenekelőtt a Pitagorasz-tétel képe. Tétel, amely lehetővé teszi két pont távolságának kiszámítását, ha ismeri a koordinátáikat, két másik távolságot. Sőt, nagyon specifikusan számítják ki, a négyzetes koordinátatávolságok összegének négyzetgyökeként. Az euklideszi metrika nem a koordináta távolságok lineáris formája, hanem másodfokú! Csak az euklideszi sík sajátos tulajdonságai teszik ilyen egyszerűvé a metrika összekapcsolását a pontokat összekötő legrövidebb utakkal. A távolságok mindig lineáris függvényei az út mentén történő elmozdulásnak. A metrika ezen elmozdulások másodfokú függvénye. És itt van az alapvető különbség a metrika és az intuitív módon megértett távolság között, mint lineáris függvény ponttól eltolva. Sőt, nálunk általában a távolság közvetlenül magához az elmozduláshoz kapcsolódik.

Miért, miért olyan fontos az elmozdulások másodfokú függvénye? És valóban joga van-e távolságnak nevezni? teljes értelme ez a szó? Vagy ez csak az euklideszi tér (na jó, vagy az euklideszi térhez közeli tércsalád) meglehetősen sajátos tulajdonsága?

Tegyünk egy kis lépést félre, és beszéljünk többet a mértékegységek tulajdonságairól. Tegyük fel magunknak a kérdést, milyenek legyenek a vonalzók ahhoz, hogy egy papírlapra koordinátarácsot tudjunk rajzolni? Szilárd, kemény és változatlan, mondod. És miért "vonalak"? Egy elég! Igaz, ha tetszőlegesen elforgatható a papír síkjában és átvihető rajta. Észreveszed a "ha"-t? Igen, lehetőségünk van ilyen vonalzót használni a síkhoz képest. Maga a vonalzó, maga a sík, de a sík lehetővé teszi, hogy a vonalzónkat önmagához „erősítsük”. Mi a helyzet a gömbfelülettel? Nem számít, hogyan alkalmazod, minden kilóg a felületből. Csak meg akarom hajlítani, feladni a keménységet és a merevséget. Hagyjuk most ezt a gondolatmenetet. Mit akarunk még a vonaltól? A keménység és a merevség valójában mást jelent, ami sokkal fontosabb számunkra a mérésnél - a választott vonalzó változatlanságának garanciája. Ugyanazzal a skálával szeretnénk mérni. Miért van erre szükség? Hogy érted miért?! Hogy a mérési eredményeket a síkban mindenhol össze lehessen hasonlítani. Akárhogyan is forgatjuk a vonalzót, akárhogyan is mozgatjuk, bizonyos tulajdonságainak, a hosszának garantáltan változatlannak kell lennie. A hosszúság egy vonalzó két pontja közötti távolság (egy egyenes vonalban). Nagyon hasonlít a mérőszámokhoz. De a metrika be van vezetve (vagy létezik) a síkban, a sík pontjaihoz, és mi köze ehhez a vonalzónak? És ennek ellenére metrikus, és csak az absztrakt vonalzó állandó hosszának képe, a logikai következtetésig, a legkülső vonalzóról leszakítva és a sík minden pontjához hozzárendelve..

Bár vonalzóink mindig külső objektumok a síkon mért távolságokhoz képest, egyben a síkhoz tartozó belső skáláknak is gondoljuk őket. Ezért kb köztulajdon, a külső és a belső vonal is. A tulajdonság pedig a két fő közül az egyik - az érték, ami a skálát mértékegységgé teszi (a skála második tulajdonsága az irány). Az euklideszi tér esetében ez a tulajdonság függetlennek tűnik az uralkodó irányától és helyzetétől (a tér egy pontjától). Kétféleképpen lehet kifejezni ezt a függetlenséget. Az első mód, a dolgok passzív szemlélete egy mennyiség változatlanságáról, az elfogadható koordináták önkényes megválasztásával való azonosságáról beszél. A második mód, az aktív megjelenés, az eltolás és a forgás alatti változatlanságról beszél, a pontról pontra való explicit átmenet eredményeként. Ezek a módszerek nem egyenértékűek egymással. Az első egyszerűen annak az állításnak a formalizálása, hogy az adott helyen (pontban) létező érték nézőponttól függetlenül ugyanaz. A második azt is állítja, hogy a mennyiség értékei különböző pontokon azonosak. Nyilvánvaló, hogy ez egy sokkal erősebb kijelentés.

Egyelőre időzzünk a skála nagyságának invarianciáján a koordináták tetszőleges megválasztásához. Op-pa! Mint ez? Ahhoz, hogy a pontokhoz koordinátákat rendeljünk, már rendelkeznie kell skálákkal. Azok. ugyanezt a sort. Mik a többi koordináta? Más vonalak? Valójában az! De! Az a tény, hogy az euklideszi síkban tetszés szerint elforgathatjuk a vonalzónkat, azt a látszatot kelti, hogy a koordináták a vonalzó megváltoztatása nélkül változtathatók. Ez egy illúzió, de olyan szép illúzió! Hogy megszoktuk! Mindig azt mondjuk - elforgatott koordináta-rendszer. És ez az illúzió az euklideszi síkban lévő skála néhány feltételezett tulajdonságán alapul - a „hosszának” invarianciáján egy pontban tetszőleges elforgatással, azaz. a skála második tulajdonságának, irányának önkényes megváltoztatásával. És ez a tulajdonság az euklideszi sík bármely pontján fellép. A léptéknek mindenhol van egy „hossza”, amely nem függ a koordinátatengelyek irányának helyi megválasztásától. Ez az euklideszi tér posztulátuma. És hogyan határozzuk meg ezt a hosszúságot? Egy olyan koordinátarendszerben, amelyben a kiválasztott skála az egyik tengely mentén mért mértékegység, nagyon egyszerűen definiáljuk - ez az egység. És olyan koordinátarendszerben (téglalap), amelyben a kiválasztott lépték nem esik egybe egyik tengellyel sem? A Pitagorasz-tétel segítségével. A tételek tételek, de van itt egy kis megtévesztés. Valójában ennek a tételnek fel kell váltania néhány Eukleidész által megfogalmazott axiómát. Egyenértékű velük. És a geometria további általánosításával (például tetszőleges felületekre) pontosan a skála hosszának kiszámításának módszerére támaszkodnak. Valójában ezt a módszert az axiómák kategóriájába fordítják.

Most ismételjünk meg valamit, ami a geometria alapja, ami lehetővé teszi, hogy egy síkban lévő pontokhoz koordinátákat rendeljünk.

A mértékegységről, a skáláról van szó. A skála bármely ponton létezik. Van egy nagysága - "hossza" és iránya. A hossz invariáns (nem változik), amikor egy pontban irányt változtat. Az euklideszi tér téglalap alakú koordinátáiban egy pontból tetszőlegesen irányított skála hosszának négyzete egyenlő a tengelyre vetített vetületei négyzeteinek összegével. Az ilyen geometriai mennyiséget vektornak is nevezik. Tehát a skála egy vektor. És a vektor „hosszát” normának is nevezik. Jó. De hol van a mérőszám? DE mérőszámok ezzel a megközelítéssel ott egy módja annak, hogy minden pontban tetszőleges vektorhoz normát rendeljünk, egy módszer ennek a normának a kiszámítására ennek a vektornak az alapot, a keretet alkotó vektorokhoz képest tetszőleges helyzetére.(olyanok, amelyek egy adott pontból határozzák meg a koordinátatengelyek irányait, és definíció szerint mértékegységnormával, azaz mértékegységükkel rendelkeznek). Nagyon fontos, hogy a tér minden pontjára (jelen esetben egy síkra) kerüljön meghatározásra egy ilyen módszer. Tehát ennek a térnek és belső vektorainak tulajdonsága, nem pedig a téren kívüli objektumok.

Elnézést, de már a legelején megadtuk a metrikus terek definícióját. Miért új meghatározás? És összhangban van a régivel? De miért. Itt pontosan megadtuk, hogyan kell beállítani, ez a legvalósabb szám kerül meghatározásra. Ugyanis a pontok közötti távolság megegyezik az ezeket a pontokat összekötő vektor normájával (euklideszi térben) a „hosszúsággal”. Az a tény, hogy egy vektornak van valamilyen normája, független a rajta lévő nézőponttól (a keretválasztástól), az a vektor definíciója. A legfontosabb feltétel, amely a teret metrikussá teszi, az a követelmény, hogy adott normával rendelkező vektorok a tér minden pontjában, minden irányban létezzenek. És ez a meghatározás teljesen összhangban van a legelején megadottal. Meg lehet határozni egy metrikát valamilyen térben más módon? Alapvetően megteheti. És még sok szempontból is. Csak ezek a terek teljesen más osztályai lesznek, amelyekben az euklideszi tér még speciális esetként sem szerepel.

Miért különleges számunkra az euklideszi tér? Nos, hogy is van ez? Első pillantásra pontosan ezekkel a tulajdonságokkal rendelkezik az a tér, amelyben élünk. Igen, közelebbről megvizsgálva, nem teljesen ugyanaz. De van különbség a „nem egészen így” és a „nem egészen úgy” között?! Bár úgy tűnik, a szókészlet ugyanaz. Tehát a mi téridőnk, ha nem is euklideszi, de bizonyos feltételek mellett nagyon közel lehet hozzá. Ezért a terek azon családjából kell választanunk, amelyben az euklideszi tér létezik. Mi így csináljuk. De mégis, mi olyan különleges az euklideszi térben, amely metrikájának bizonyos tulajdonságaiban nyilvánul meg? Elég sok ingatlan létezik, a legtöbbet már fentebb említettük. Megpróbálom meglehetősen tömören megfogalmazni ezt a jellemzőt. Az euklideszi tér olyan, hogy lehet benne méretarányokat választani (azaz koordinátákat megadni), hogy teljesen kitöltse egy téglalap alakú koordinátaháló. Talán ez az, amikor a mérőszám a tér minden pontjában ugyanaz. Lényegében ez azt jelenti, hogy az ehhez szükséges skálák a tér minden pontján léteznek, és mindegyik azonos egyetlen skálával. Az egész térre elegendő egy vonalzó, amely bármely pontra átvihető (aktív értelemben) anélkül, hogy mind a méretét, mind az irányát megváltoztatná.

Fentebb feltettem a kérdést, hogy miért van ez a mérőszám másodfokú függvény beszámítás. Egyelőre megválaszolatlan maradt. Erre biztosan el fogunk jönni. És most jegyezze meg magának a jövőt - a metrika a terek családjában, amire szükségünk van, a koordináta-transzformációk során invariáns mennyiség. Eddig derékszögű koordinátákról beszéltünk, de itt rögtön hangsúlyozom, hogy ez minden olyan koordináta transzformációra igaz, amely egy adott tér adott pontjában érvényes. A koordináta-transzformációk során invariáns (nem változó) mennyiségnek van egy másik speciális neve a geometriában - skalár. Nézze meg, hány név van ugyanannak - állandó, invariáns, skaláris... Talán van még valami, nem jut azonnal eszembe. Ez magának a koncepciónak a fontosságáról beszél. Tehát a metrika egy bizonyos értelemben skalár. Természetesen vannak más skalárok is a geometriában.

Miért „bizonyos értelemben”? Mert a mérőszám fogalma két pontot tartalmaz, és nem egyet! Egy vektor csak egy ponthoz van társítva (definiálva). Szóval félrevezettelek? Nem, csak nem mondtam el mindent, amit el kell mondanom. De azt kell mondani, hogy a metrika nem tetszőleges vektor normája, hanem csak egy adott pontból tetszőleges irányban végtelen kicsi elmozdulásvektor. Ha ez a norma független egy ponttól való elmozdulás irányától, akkor skaláris értéke csak az adott pont tulajdonságának tekinthető. Ugyanakkor továbbra is ez a szabály marad bármely más vektorra vonatkozó norma kiszámítására. Mint ez.

Valami nem jön össze ... A normák eltérőek a különböző vektoroknál! És a mérőszám skalár, az érték ugyanaz. Ellentmondás!

Nincs ellentmondás. Világosan mondtam - a számítás szabálya. Minden vektorhoz. Maga a fajlagos érték pedig, amelyet metrikának is neveznek, e szabály szerint csak egyetlen vektorra, az eltolásra kerül kiszámításra. Nyelvünk hozzászokott a szabadságjogokhoz, az alapértelmezett értékekhez, a rövidítésekhez... Tehát megszoktuk, hogy a skalárt és a számítási szabályt is metrikának nevezzük. Valójában ez majdnem ugyanaz. Majdnem, de nem egészen. Továbbra is fontos látni a különbséget a szabály és a segítségével kapott eredmény között. És mi a fontosabb - a szabály vagy az eredmény? Furcsa módon ebben az esetben a szabály... Ezért a geometriában és a fizikában sokkal gyakrabban, amikor a metrikákról beszélnek, pontosan a szabályra gondolnak. Csak a nagyon makacs matematikusok szívesebben beszélnek szigorúan az eredményről. És ennek megvannak az okai, de ezekről máshol.

Azt is szeretném megjegyezni, hogy konvencionálisabb módon, amikor a fogalmakat vesszük alapul vektorterek, a metrika az alap, keret összes vektorának skaláris páronkénti szorzataként kerül bevezetésre. Ebben az esetben skaláris szorzat vektorokat előre meg kell határozni. És azon az úton, amelyet itt követtem, egy metrikus tenzor térbeli jelenléte teszi lehetővé, hogy bemutassuk, meghatározzuk a vektorok skaláris szorzatát. Itt a metrika az elsődleges, jelenléte lehetővé teszi, hogy a skaláris szorzatot egyfajta invariánsként vezessük be, amely két különböző vektort köt össze. Ha ugyanannak a vektornak a skalárját egy metrika segítségével számítják ki, akkor ez egyszerűen a norma. Ha ezt a skalárt két különböző vektorra számítjuk ki, akkor ez a pontszorzatuk. Ha ez egy végtelenül kicsi vektor normája is, akkor teljesen elfogadható, hogy egy adott pontban egyszerűen metrikának nevezzük.

És mit mondhatunk a metrikáról általában? Itt képleteket kell használnunk. Jelöljük az i számú tengely koordinátáit x i-ként. És az eltolás az adott ponttól a szomszédoshoz dx i . Felhívom a figyelmet - a koordináták nem vektorok! És az elmozdulás csak egy vektor! Ebben a jelölésben egy adott pont és a szomszédos pont közötti metrikus „távolságot” a Pitagorasz-tétel szerint a képlet segítségével számítjuk ki.

ds 2 = g ik dx i dx k

Itt balra a pontok közötti metrikus „távolság” négyzete, a „koordináta” (vagyis az egyes koordinátavonalak mentén) közötti távolságot a dx i eltolási vektor adja meg. A jobb oldalon az eltolási vektor komponenseinek és a megfelelő együtthatókkal rendelkező páronkénti szorzatainak egybeeső indexeinek összege látható. A táblázatukat, a g ik együtthatók mátrixát pedig, amely meghatározza a metrikus norma kiszámításának szabályát, metrikus tenzornak nevezik. És a legtöbb esetben ezt a tenzort nevezik metrikának. A "" kifejezés itt rendkívül fontos. És ez azt jelenti, hogy egy másik koordináta-rendszerben a fent leírt képlet ugyanaz lesz, csak a táblázat tartalmaz más (általános esetben) együtthatókat, amelyek ezeken és koordináta transzformációs együtthatókon keresztül kerülnek kiszámításra szigorúan meghatározott módon. Az euklideszi térre jellemző, hogy a derékszögű koordinátákban ennek a tenzornak az alakja rendkívül egyszerű, és minden derékszögű koordinátában ugyanaz. A g ik mátrix csak egyeseket tartalmaz az átlón (i=k esetén), a többi szám pedig nulla. Ha az euklideszi tér használja nem Derékszögű koordináták, akkor a bennük lévő mátrix nem tűnik olyan egyszerűnek.

Tehát felírtunk egy szabályt, amely meghatározza az euklideszi tér két pontja közötti metrikus „távolságot”. Ez a szabály két tetszőleges közeli pontra van írva. Az euklideszi térben, i.e. amelyikben a metrikus tenzor átlós lehet az átlón lévőkkel egy-egy koordinátarendszerben minden pontban, nincs alapvető különbség a véges és a végtelen kicsi eltolási vektorok között. De minket jobban érdekel a Riemann-féle terek (például egy labda felülete), ahol ez a különbség jelentős. Feltételezzük tehát, hogy a metrikus tenzor általában nem átlós, és a térben pontról pontra haladva változik. De alkalmazásának eredménye, ds 2, minden pontban független marad az elmozdulás irányának megválasztásától és magától a ponttól. Ez egy nagyon szigorú feltétel (kevésbé szigorú, mint az euklideszi feltétel), és amikor ez teljesül, a teret Riemann-nak nevezik.

Valószínűleg észrevetted, hogy nagyon gyakran teszem idézőjelbe a „hosszúság” és a távolság szavakat. Ezért csinálom. Egy sík és háromdimenziós euklideszi tér esetében a metrikus "távolság" és "hossz" pontosan megegyezik a vonalzókkal mért szokásos távolságokkal. Sőt, ezeket a fogalmakat azért vezették be, hogy formalizálják a munkát a mérési eredményekkel. Akkor miért „úgy tűnik, hogy egyezik”? Vicces, de pont ez az, amikor a matematikusok a piszkos (nekük nem szükséges) vízzel együtt kidobták a gyereket a fürdőből. Nem, hagytak valamit, de ami megmaradt, az megszűnt gyereknek lenni (távolság). Ez még az euklideszi sík példáján is könnyen belátható.

Hadd emlékeztesselek arra, hogy a metrikus „távolság” nem függ a derékszögű (és nem csak) koordináták megválasztásától, mondjuk egy papírlapon. Adjunk meg néhány koordinátát, ez a távolság a koordináta-tengely két pontja között 10. Lehetséges olyan koordinátákat megadni, amelyekben ugyanazon pontok távolsága 1 lesz? Nincs mit. Csak tegyen félre egységként ugyanazon tengelyek mentén egy új egységet, amely megegyezik az előzőek 10-ével. Változott-e emiatt az euklideszi tér? Mi a helyzet? De tény, hogy amikor mérünk valamit, nem elég, ha tudjuk a számot. Azt is tudnunk kell, hogy milyen mértékegységekkel kaptuk ezt a számot. A matematikát a megszokott formájában ez nem érdekli. Csak a számokkal foglalkozik. A mértékegységek kiválasztása a matematika alkalmazása előtt történik, és többé ne változzon! De a távolságaink, hosszaink a mérlegek feltüntetése nélkül nem árulnak el semmit! De a matematika nem érdekel. Ha a metrikus "távolságról" van szó, annak formai alkalmazása közömbös a skálaválasztás szempontjából. Legalább méter, legalább öl. Csak a számok számítanak. Ezért tettem idézőjeleket. Tudja, milyen mellékhatása van ennek a megközelítésnek a Riemann-terek matematikájában? De mit. A skála pontról pontra történő változásának nincs értelme. Csak irányváltás. És ez annak ellenére, hogy a lépték megváltoztatása koordináta-transzformációk segítségével ilyen geometriában meglehetősen hétköznapi dolog. Beépíthető-e a geometriába a mérleg tulajdonságainak következetes figyelembevétele teljes egészében? Tud. Csak ehhez sok megállapodást el kell távolítania, és meg kell tanulnia a dolgokat a megfelelő, helyes nevén nevezni. Az egyik első lépés annak a felismerése lesz, hogy egyetlen metrika sem lényegében távolság, és nem is lehet. Neki biztosan van néhány fizikai jelentése, és nagyon fontos. De más.

A fizikában a metrika szerepére a relativitáselméletek megjelenése hívta fel a figyelmet - először a speciális, majd az általános, amelyben a metrika lett az elmélet központi szerkezete. A Speciális Relativitáselmélet abból indult ki, hogy a háromdimenziós távolság nem skalár az egymáshoz képest egyenletesen és egyenesen mozgó fizikai referenciakeretek halmaza szempontjából. Egy másik érték egy skalár, egy invariáns, amelyet intervallumnak neveztek. Az események közötti intervallum. És az érték kiszámításához figyelembe kell vennie az események közötti időintervallumot. Sőt, kiderült, hogy a metrika számítási szabálya (és az intervallumot azonnal mérőszámnak kezdték tekinteni az egységes téridőben, az események terében) eltér a szokásos euklideszi szabálytól. háromdimenziós tér. Hasonló, de kicsit más. A négy dimenzió megfelelő metrikus terét vezette be Herman Minkowski, kezdték hívni. Minkowski munkája hívta fel a fizikusok, köztük Einstein figyelmét a metrika mint fizikai mennyiség fogalmának fontosságára, nem csak matematikai mennyiségként.

Az általános relativitáselmélet az egymáshoz képest gyorsított fizikai vonatkoztatási rendszereket is figyelembe vette. Így a gravitációs jelenségeket Newton elméletéhez képest új szinten tudta leírni. És ezt úgy tudta elérni, hogy megadta a fizikai mező jelentését a metrikának – mind a nagyságnak, mind a szabálynak, a metrikus tenzornak. Ugyanakkor a Riemann-féle tér matematikai konstrukcióját téridő-képként használja. Nem megyünk túl messzire ennek az elméletnek a részleteibe. Ez az elmélet többek között azt állítja, hogy a világnak (téridőnek), amelyben hatalmas testek, vagyis egymáshoz vonzódó testek vannak, a számunkra oly kellemes euklideszi metrikától eltérő mérőszáma van. Az alábbi állítások mindegyike egyenértékű:

Fizikai nyilatkozat. A tömeggel rendelkező ponttestek vonzzák egymást.

A téridőben, amelyben hatalmas testek vannak, lehetetlen mindenhol merev téglalap alakú rácsot bevezetni. Nincsenek olyan mérőeszközök, amelyek ezt lehetővé teszik. A kapott rács mindig tetszőlegesen kis „cellái” görbe négyszögek lesznek.

A teljes téridőre azonos értékű (norma) skálát választhat. Bármely ilyen skála áthelyezhető a pontjáról bármely másik pontra, és összehasonlítható az ott már meglévővel. DE! Még ha az eltolás végtelenül kicsi is, az összehasonlított skálák irányai általában nem esnek egybe. Minél erősebb, annál közelebb van a skála egy tömegű testhez, és annál nagyobb ez a tömeg. Csak ott, ahol nincsenek tömegek (azonban itt egy kérdés - mi a helyzet magával a mérleggel?) Az irányok egybeesnek.

A tömeges testeket tartalmazó tér-idő tartományban nincs olyan koordinátarendszer, amelyben a metrikus tenzort minden pontban egy mátrix képviseli, amely mindenhol nulla, kivéve az átlót, amelyen az egységek találhatók.

A metrika és az euklideszi különbség a gravitációs mező (gravitációs mező) jelenlétének megnyilvánulása. Ráadásul a metrikus tenzor mezője a gravitációs mező.

Még sok hasonló kijelentést lehetne idézni, de most az utolsóra szeretném felhívni a figyelmet. görbület. Ez az, amit még nem beszéltünk meg. Mi köze ennek a mérőszámokhoz? Többnyire egyik sem! általánosabb fogalom, mint mérőszám. Milyen értelemben?

A Riemann-terek családja, amely magában foglalja az euklideszi tereket is, maga is az általánosabb család része. Általánosságban elmondható, hogy ezek a terek nem jelentik egy ilyen mennyiség létezését minden egyes pontpárjuk mérőszámaként. De szükséges tulajdonságuk két másik egymáshoz kapcsolódó struktúra létezése - affin kapcsolat és görbület. És csak bizonyos görbületi (vagy kapcsolódási) feltételek mellett az ilyen terekben van metrika. Ezután ezeket a tereket Riemann-nak nevezik. Bármely Riemann térben van kapcsolat és görbület. De nem fordítva.

De azt sem mondhatjuk, hogy a mérőszám másodlagos az összekapcsolhatósághoz vagy a görbülethez képest. Nem. A metrika létezése az összekapcsolhatóság, és így a görbület bizonyos tulajdonságainak megállapítása. Az általános relativitáselmélet standard értelmezése szerint a metrika egy sokkal fontosabb struktúra, amely egy elmélet formáját alkotja. Az affin kapcsolat és görbület pedig másodlagosnak bizonyul, a metrikából származik. Ezt az értelmezést Einstein fogalmazta meg abban az időben, amikor a matematika még nem értette meg kellően fejlett és következetesen a hierarchiát azon struktúrák fontossági foka tekintetében, amelyek meghatározzák az euklideszi terek családjának tulajdonságait. Már az általános relativitáselmélet apparátusának megalkotása után, elsősorban Weyl és Schouten munkái által (természetesen nem egyedül az övék), kialakult az affin kapcsolatú terek matematikája. Valójában ezt a munkát az általános relativitáselmélet megjelenése ösztönözte. Mint látható, a struktúrák általános relativitáselméletben betöltött fontosságának kanonikus értelmezése nem esik egybe a matematikának a kapcsolatukról alkotott jelenlegi felfogásával. Ez a kanonikus értelmezés nem más, mint bizonyos matematikai struktúrák azonosítása fizikai mezők. Fizikai jelentést adva nekik.

Két terv létezik a téridő leírására az általános relativitáselméletben. Ezek közül az első maga a téridő, mint az események tere. A téridő bármely régióját folyamatosan kitöltő eseményeket négy koordináta jellemzi. Ezért feltételezzük, hogy koordinátarendszereket vezetnek be. Már maga az elmélet neve is pontosan erre irányítja a figyelmet - az ilyen téridőben lezajló természeti törvényeket ugyanúgy kell megfogalmazni bármely megengedhető koordinátarendszer tekintetében. Ezt a követelményt az általános relativitáselmélet elvének nevezik. Vegyük észre, hogy az elméletnek ez a terve még nem mond semmit a metrika téridőbeli meglétéről vagy hiányáról, de már alapot ad egy affin kapcsolat létezéséhez benne (a görbülettel és más derivált matematikai struktúrákkal együtt). Természetesen már ezen a szinten szükségessé válik az elmélet matematikai tárgyainak fizikai értelmet adni. Itt van. A téridő pontja egy eseményt ábrázol, amelyet egyrészt az idő helyzete és pillanata, másrészt négy koordináta jellemez. Valami különös? Nem ugyanaz? De nem. Az OT-ben ez nem ugyanaz. Az elméletben megengedett legáltalánosabb koordináták nem értelmezhetők pozícióként és időpontként. Ilyen lehetőség csak nagyon korlátozott – lokálisan inerciális – koordináták esetében feltételezhető, amelyek csak az egyes pontok szomszédságában léteznek, de nem a teljes lefedett területen. közös rendszer koordináták. Ez az elmélet másik posztulátuma. Itt van egy ilyen hibrid. Megjegyzem, itt születik meg az általános relativitáselmélet számos problémája, de ezek megoldásával most nem foglalkozom.

Az elmélet második tervének tekinthetjük posztulátumainak azt a részét, amely a téridővel foglalkozik fizikai jelenség– gravitáció, masszív testek kölcsönös vonzása. Azt állítják, hogy ez a fizikai jelenség bizonyos körülmények között megsemmisíthető egy megfelelő referenciakeret egyszerű megválasztásával, nevezetesen egy lokálisan inerciális vonatkoztatási rendszerrel. Minden testhez azonos gyorsulással ( szabadesés) egy távoli, nagy tömegű test gravitációs tere kis területen való jelenléte miatt ez a mező nem figyelhető meg valamilyen referenciakeretben. Formálisan a posztulátumok ezzel véget is érnek, de valójában az elmélet alapegyenlete, amely a metrikát figyelembe veszi, szintén utal a posztulátumokra, mind matematikai, mind fizikai állításként. Bár nem megyek bele az egyenlet (valójában egyenletrendszerek) részleteibe, mégis hasznos, ha a szemed előtt tartod:

R ik = -с (T ik - 1/2 T g ik)

Itt a bal oldalon az úgynevezett Ricci-tenzor, a teljes görbületi tenzor bizonyos konvolúciója (alkotó komponenseinek kombinációja). Teljes joggal görbületnek is nevezhetjük. A jobb oldalon az energia-impulzus tenzor konstrukciója látható (tisztán fizikai mennyiség az általános relativitáselméletben szinguláris a nagy tömegű testeknél és külső a téridőnél, amely az energia-impulzus számára ebben az elméletben csak hordozó) és a metrika, amelyről feltételezzük, hogy létezik. Sőt, ez a metrika, mint a metrikus tenzor által generált skaláris érték, ugyanaz a régió minden pontjában. Van egy c méretállandó is, amely arányos a gravitációs állandóval. Ebből az egyenletből látható, hogy a görbületet nagyjából összehasonlítják az energia-impulzummal és a metrikával. A metrika fizikai jelentését GR-ben tulajdonítjuk, miután ezen egyenletek megoldását megkaptuk. Mivel ebben a megoldásban a metrika együtthatói lineárisan kapcsolódnak a gravitációs tér potenciáljához (azon keresztül számítják ki), így ennek a mezőnek a potenciáljainak jelentését a metrikus tenzornak tulajdonítjuk. Ezzel a megközelítéssel a görbületnek is hasonló jelentéssel kell rendelkeznie. Az affin kapcsolatot pedig a mező erősségeként értelmezzük. Ez az értelmezés hibás, tévedése összefügg a koordináták értelmezésében fentebb leírt paradoxonnal. Ez természetesen az elmélet számára nem múlik el nyomtalanul, és számos jól ismert problémában nyilvánul meg (a gravitációs mező energiájának nem lokalizálása, szingularitások értelmezése), amelyek egyszerűen nem merülnek fel geometriai mennyiségek megadásakor. a helyes fizikai jelentést. Mindezt részletesebben a „“.

Az általános relativitáselméletben azonban a metrika akarva-akaratlanul a mesterségesen ráerőltetett jelentés mellett még egy fizikai jelentéssel bír. Emlékezzünk vissza, mi jellemzi a metrikát egy euklideszi tér esetében? Egy nagyon fontos dolog a téridőben végzett méréseknél az a lehetőség, hogy ebben a térben egy merev, az egész területet egyenletesen kitöltő, téglalap alakú koordináta rácsot vezessenek be. Ezt a rácsot a fizikában inerciális vonatkoztatási rendszernek nevezik. Egy ilyen vonatkoztatási rendszer (koordinátarendszer) egynek és egyetlennek felel meg standard nézet metrikus tenzor. Az inerciálishoz képest tetszőlegesen mozgó vonatkoztatási rendszerekben a metrikus tenzor alakja eltér a szabványostól. Fizikai szempontból a „referencia rács” szerepe kellően átlátható. Ha van egy merev vonatkoztatási testünk, amelynek minden pontja ugyanazzal az időben létező órával van felszerelve, akkor ez csak egy ilyen rácsot valósít meg. Üres térhez egyszerűen kitalálunk egy ilyen referenciatestet, és pontosan ugyanazzal a mérőszámmal látjuk el. Ebben az értelemben a metrikus tenzor, amely különbözik a szabványos euklideszi tenzortól, azt mondja, hogy a vonatkoztatási rendszer (koordináták) úgy épül fel, hogy nem szilárd test, és talán az óra is máshogy jár a pontjain. Mit értek ezen? De az tény, hogy a metrikus tenzor a referenciarendszer néhány számunkra legfontosabb tulajdonságának matematikai képe. Azok a tulajdonságok, amelyek abszolút jellemzik magát a vonatkoztatási rendszer szerkezetét, lehetővé teszik számunkra, hogy meghatározzuk, mennyire „jó”, mennyire különbözik az ideálistól - az inerciarendszertől. Itt a GR pontosan ilyen képként használja a metrikus tenzort. Hogyan a keretterületen elosztott mérőműszerek képe, amely esetleg pontról pontra változtatja a tájolását, de mindenütt ugyanaz a norma, minden keretvektorra közös. A skalárnak tekintett metrika ez a norma, a skála nagysága. A metrika mint tenzor lehetővé teszi, hogy egy tetszőlegeset tekintsünk relatív mozgás a referenciatestet alkotó összes skála egymáshoz képest. Az általános relativitáselmélet pedig olyan helyzetet ír le, amikor lehetséges egy ilyen valós vagy képzeletbeli referenciatest a téridőben.

Ez a mutató nézete minden bizonnyal helyes. Ráadásul produktív is, hiszen azonnal felhívja a figyelmet a GTR-ben maradt megállapodásokra. Valóban, lehetővé tettük olyan referenciarendszerek használatát, amelyekben a különböző pontokon lévő skálák eltérően tájolhatók (egy négydimenziós világban a tájékozódás magában foglalja a mozgást is). És még mindig követeljük ezt néhányan abszolút jellemző skála, normája (intervalluma) változatlan maradt. Mindazonáltal túlzó az általános relativitáselmélet azon kijelentése, hogy minden lehetséges vonatkoztatási rendszert figyelembe vett. Ez nem annyira általános, a relativitás ebben az elméletben.

© Gavryusev V.G.
Az oldalon közzétett anyagok a hivatkozási szabályok betartásával használhatók fel..

Riemann, Lobacsevszkij, Einstein és néhány más elvtárs előtt a geometriát síkokból, láthatatlan pontokból és egyenesekből építették fel, amelyek mindkét irányban végtelenek voltak. A lapos-háromdimenziós világ fölött büszkén lebegett az idő, amelyet mi egyfajta folyamatként fogunk fel, a kényelem kedvéért szívdobbanásokba és ketyegő órákba kvantált. Minden ismerős, egyszerű, érthető, az erők hatnak, három térbeli koordináta bárhol meghatározható - csak vezessen egy pöcköt.

Az idill véget ért a matematikusok megjelenése, akik többdimenziós tereket kutatnak egy toll hegyén. Összetett, több koordinátájú objektumokat és rendszereket építettek, amelyek emberi szem és érzékelés számára elképzelhetetlenek, például a híres négydimenziós kocka, a Möbius-szalag stb. Fokozatosan világossá vált, hogy a képzeletbeli térnek nem kell folyamatidős síkokból és vonalakból állnia, hanem állhat például egy szabálytalan alakú csővé hengerelt sík lapból, az idő pedig a csőbe húzott tengely hossza. a cső közepén. Egy ilyen "rossz" térben elhelyezett pontnak soha nem lesz a szokásos három koordinátája, mivel egy meghajtott csap nem segít megmérni őket. A nem euklideszi térben a beállított pont helyzetét már egy egész számtömbként kell ábrázolni, amely bizonyos szabályoknak megfelelően szintén folyamatosan változik. Maguk a szabályok minden kitalált térben eltérőek. Az ilyen számtömböt tenzornak nevezzük, a tér pontjain tárol adatokat megközelítőleg abban a formában, ahogyan a jól ismert játék "körmök képe" tárol egy képet: minden rúd hossza egy adott pontra mutató vektor. az egyik koordináta, ezek kombinációja egyetlen képet ad róla, az egyetlen és egyetlen képet.

A tenzorok összetett objektumok, de van bennük egy közös pont - a tenzort, mint pálcika vektorok tömbjét "át lehet vágni" az úgynevezett tenzormátrix meghatározásával - egy kétdimenziós táblázat, amelyben a közönséges számok helyett képletek átalakulásának szabályait ismertetve. A mátrix egy egyszerű objektum, amelynek műveleteit évszázadokkal ezelőtt jól kidolgozták. A legtöbbet a matematikusok fejei kezdtek keményen dolgozni különböző képletek, tenzorokat konstruáltak a legelképzelhetetlenebb terekben lévő pontokhoz. Végül Minkowski, Riemann, Lorentz és Einstein erőfeszítései felfedezték a legegyszerűbb tenzorokat, amelyek kellő pontossággal írják le az általunk észlelt háromdimenziós euklideszi tér- és időfolyamatot. Mátrixaikat metrikáknak nevezzük.

Később az a felismerés jött, hogy a fény vákuumbeli sebességének Einstein által alapul vett állandósága miatt a Minkowski-metrika nem alkalmazható nagyon nagy pontok közötti távolságok vagy nagyon nagy gravitációs kölcsönhatások esetén. A matematikusok fejei újra munkába álltak, már szövetségben fizikusokkal, akik az elméletek kísérleti megerősítését keresték. Így jelent meg például a Schwarzschild-metrika, amely egy kétdimenziós téglalap alakú sík és egy kétdimenziós gömb tenzorainak mátrixainak szorzatán keresztül írja le világunkat (ez is ismerős kör, de egy alakban). egész tér). A Schwarzschild-metrika lehetővé tette annak leírását, hogy miért így és nem másként érzékeljük az égi szférában lévő objektumok mozgását. A benne lévő idő egy állandó érték(!), amelyet minden számításba külön-külön adunk meg, a pont és a megfigyelő távolsága pedig tulajdonképpen egy bizonyos vektor, amely két nem objektum, hanem esemény közötti tér (-idő) kiterjedését írja le.

Főbb funkcionális terek

5. előadás

Az elemzés egyik legfontosabb művelete a határhoz való áthaladás. Ez a művelet azon a tényen alapul, hogy az egyik pont és a másik közötti távolság a számegyenesen van meghatározva. Az elemzés számos alapvető ténye nem kapcsolódik az algebrai természethez valós számok(azaz azzal, hogy mezőt alkotnak), de csak a távolság fogalmára támaszkodnak. Általánosítva a valós számok gondolatát, mint egy halmazt, amelyben bevezetik az elemek közötti távolságot, eljutunk a metrikus tér fogalmához - a modern matematika egyik legfontosabb fogalmához.

Meghatározás.

A metrikus tér egy pár (X, p), amely valamilyen halmazból áll (szóköz) x elemek (pontok) és távolság, azaz egyértékű, nem negatív, valós függvény ρ(x, y) bármelyre meghatározott xés y tól től xés a következő axiómák függvényében;

1. ρ(x,y) ≥ 0 mindenkinek x, y,

2. ρ(x, y) = 0 ha, és csak akkor ha x=y,

3. ρ(x,y) = ρ(y,x)(szimmetria axióma),

4. ρ(x, z) £ ρ(x, y) + ρ(y, z)(háromszög axióma).

Maga a metrikus tér, vagyis a pár (X, p), általában egy betűvel fogjuk jelölni R = (X, p).

Azokban az esetekben, amikor a félreértések kizártak, gyakran a metrikus teret ugyanazzal a szimbólummal jelöljük, mint magát a „pontkészletet”. x.

Adjunk példákat metrikus terekre. Ezen terek egy része nagyon fontos szerepet játszik az elemzésben. fontos szerep.

1. Beállítás egy tetszőleges halmaz elemeire

nyilvánvalóan metrikus teret kapunk. Ezt nevezhetjük izolált pontok terének.

2. A valós számok halmaza távolsággal

metrikus teret képez R1.

3. A rendezett csoportok halmaza innen n valós számok x = (х 1 , …, x n) távolsággal

hívott n-dimenziós aritmetikai euklideszi tér R n. Az 1) - 3) axiómák érvényessége a R n nyilvánvaló. Mutassuk meg ezt R n a háromszög axióma érvényesül.

Hadd x = (x 1 ,…, x n), y = (y 1 ,…, y n),

z = (z 1 ,…, z n);

akkor a háromszög axiómát úgy írjuk fel

Feltételezve, hogy megkapjuk, míg a (2) egyenlőtlenség a formát ölti

De ez az egyenlőtlenség azonnal következik a jól ismert Cauchy-Bunyakovsky egyenlőtlenségből

Valójában ennek az egyenlőtlenségnek köszönhetően megvan

így a (3) és így a (2) egyenlőtlenség is bizonyítást nyer.

4. Tekintsük ugyanazt a rendezett csoportok halmazát n valós számok x = (x 1 ,…, x n) de a távolságot a képlet határozza meg benne

Az axiómák érvényessége itt nyilvánvaló.

Egy feladat. Bizonyítsuk be a 4. axiómát.

Ezt a metrikus teret a szimbólummal jelöljük.

5. Vegyük újra ugyanazt a halmazt, mint a 3. és 4. példában, és határozzuk meg az elemei közötti távolságot a képlettel

Az 1) - 3) axiómák érvényessége nyilvánvaló.

Egy feladat. Bizonyítsuk be a 4. axiómát.

Ez a tér, amelyet -vel jelölünk, sok elemzési kérdésben nem kevésbé kényelmes, mint az euklideszi tér R n.

Az utolsó három példa azt mutatja, hogy néha nagyon fontos, hogy magának a metrikus térnek és a pontjainak halmazának más-más jelölése legyen, mivel ugyanaz a pontkészlet különböző módon metrikázható.

6. Sok C a szakaszon definiált összes folytonos valós függvény , távolsággal

metrikus teret is képez. Az 1) - 3) axiómákat közvetlenül ellenőrizzük.

Egy feladat. Bizonyítsuk be a 4. axiómát.

Ez a tér nagyon fontos szerepet játszik az elemzésben. Ugyanazzal a szimbólummal fogjuk jelölni C, amely magában ebben a térben a pontok halmaza. Ahelyett C egyszerűen írunk TÓL TŐL.

7. Jelölje l 2 metrikus tér, amelynek minden pontja lehetséges sorozat x \u003d (x 1, ..., x n, ...) valós számok, amelyek kielégítik a feltételt,

a távolságot pedig a képlet határozza meg

Egy elemi egyenlőtlenségből következik, hogy a függvény ρ(x, y)értelmes minden konvergál, ha

Mutassuk meg most, hogy a (8) függvény kielégíti a metrikus tér axiómáit. Az 1) - 3) axiómák nyilvánvalóak, és a háromszög axióma itt formát ölt

A fent elmondottak alapján az itt írt három sorozat mindegyike összefolyik. Másrészt mindegyikre n az egyenlőtlenséget

(lásd a 4. példát). Elhaladva itt a határig: n®∞ megkapjuk (8), azaz. háromszög egyenlőtlenség in l 2.

8. Tekintsük a 6. példához hasonlóan a szegmensen folytonos összes függvény gyűjteményét , de a távolságot másként határozzuk meg, nevezetesen beállítjuk

Ilyen metrikus teret fogunk jelölni 2-tőlés hívja a teret folyamatos funkciók másodfokú metrikával. Itt a metrikus tér összes axiómája nyilvánvaló, a háromszög axióma pedig közvetlenül a Cauchy-Bunyakovsky-egyenlőtlenség integrál alakjából következik.

9. Tekintsük a valós számok x = (x 1 ,…, x n , …) korlátos sorozatának halmazát.

metrikus teret kapunk, amit jelölünk m. Az axiómák érvényessége nyilvánvaló.

10. A rendezett csoportok halmaza innen n valós számok távolsággal

ahol R- bármilyen fix szám ≥ 1 , egy metrikus tér, amelyet jelölni fogunk.

Ellenőrizzük a 4. axiómát.

Hadd x=(x1,…,xn), y=(y1,…,yn), z=(z1,…,zn).

Legyen , akkor az egyenlőtlenség

amelynek érvényességét meg kell állapítanunk, olyan formát ölt

Ez az úgynevezett Minkowski-egyenlőtlenség. Nál nél p=1 a Minkowski-egyenlőtlenség nyilvánvaló (az összeg modulusa nem haladja meg a modulusok összegét), ezért feltételezzük, hogy p > 1.

Az egyenlőtlenség bizonyítása (13) for p>1 az úgynevezett Hölder-egyenlőtlenség alapján

hol vannak a számok p > 1és q > 1 a feltételhez kötve

Figyeljük meg, hogy a (14) egyenlőtlenség homogén. Ez azt jelenti, hogy ha bármelyik két vektorra teljesül a = (a 1 ,…, a n),és b = (b 1 ,…, b n), akkor érvényes a vektorokra λaés μb, ahol λ és μ - tetszőleges számok. Ezért elegendő a (14) egyenlőtlenség bizonyítása arra az esetre, amikor

Tehát teljesüljön a (16) feltétel; bizonyítsd

Gondolkodj repülőn (ξ,η) egyenlettel definiált görbe η = ξ p -1 (ξ>0), vagy ami ugyanaz, az egyenlet alapján ξ p -1 (η > 0)(1. ábra). Az ábrán jól látható, hogy bármilyen pozitív értékválasztás esetén aés b lesz S 1 + S 2 > ab. Számítsuk ki a területeket S1és S2:

Így a numerikus egyenlőtlenség igaz

Csere itt a a |a k |és b a |b k |és összegezve k 1-től n, megkapjuk a (15) és (16) figyelembevételével,

Az egyenlőtlenség (17) és ebből következően az általános egyenlőtlenség (14) bizonyítást nyer.

Nál nél p = 2 A Hölder-féle egyenlőtlenség (14) Cauchy-Bunyakovsky-egyenlőtlenséggé (4) változik.

Most rátérünk Minkowski egyenlőtlenségének bizonyítására. Ehhez vegye figyelembe az identitást

Csere az írott identitásban a a a kés b a b kés összegezve k tól től 1 előtt n kapunk

Alkalmazva most a jobb oldali Hölder-egyenlőtlenség két összegére, és figyelembe véve, hogy (p - 1)q = p, kapunk x(t) , kapjuk

Így bebizonyosodott, hogy a (18) képlet, amely meghatározza a távolságot lp, valóban értelmes minden . Ugyanakkor a (19) egyenlőtlenség azt mutatja, hogy in lp a háromszög axiómája teljesül. A fennmaradó axiómák nyilvánvalóak.

A korlátlan számú további példa a következő trükköt adja. Hadd R = (X, p)- metrikus tér és M- bármely részhalmaz x. Akkor M ugyanazzal a funkcióval ρ(x, y), amelyet most definiáltnak tekintünk xés nál nél tól től M, egyben metrikus tér is; a tér alterének nevezzük R.

Az elemzés egyik legfontosabb művelete a határhoz való áthaladás. Ez a művelet azon a tényen alapul, hogy az egyik pont és a másik közötti távolság a számegyenesen van meghatározva. Az elemzés számos alapvető ténye nem kapcsolódik a valós számok algebrai természetéhez (vagyis azzal, hogy mezőt alkotnak), hanem csupán a távolság fogalmán alapul. Általánosítva a valós számok gondolatát, mint egy halmazt, amelyben bevezetik az elemek közötti távolságot, eljutunk a metrikus tér fogalmához - a modern matematika egyik legfontosabb fogalmához.

metrikus tér hívott egy pár (X, r), amely néhányból áll készletek(szóközök) X elem(pontok) és távolság, azaz egy nem negatív valós függvény r(x, y), bármelyre meghatározott xés nál nél tól től xés a következő három axiómától függően:

1) r(x, y)= 0 akkor és csak akkor x = y,

2) r(x, y) = r(y, x)(szimmetria axióma),

3) r(x, r)≤ r(x, y)+ r(y, r)(háromszög axióma).

Maga a metrikus tér, vagyis a pár (X, p),általában egy betűvel jelöljük:

R = (X, p).

Azokban az esetekben, amikor a félreértések kizártak, gyakran a metrikus teret ugyanazzal a szimbólummal jelöljük, mint magát a „pontkészletet”. x.

Adjunk példákat metrikus terekre. Ezen terek egy része nagyon fontos szerepet játszik az elemzésben.

1. Beállítás egy tetszőleges halmaz elemeire

nyilvánvalóan metrikus teret kapunk. Ezt nevezhetjük izolált pontok terének.

2. A valós számok halmaza távolsággal

ρ(x, y) = | x - y |

metrikus teret képez R 1 .

3. A megrendelt gyűjtemények halmaza innen P valós számok távolsággal

hívott P-dimenziós aritmetikai euklideszi tér Rn.

4. Tekintsük ugyanazt a halmazkészletet P valós számok, de a távolságot a képlet határozza meg benne

Az 1)-3) axiómák érvényessége itt nyilvánvaló. Ezt a metrikus teret a szimbólummal jelöljük Rn 1 .

5. Vegyük újra ugyanazt a halmazt, mint a 3. és 4. példában, és határozzuk meg az elemei közötti távolságot a képlettel

Az 1)-3) axiómák érvényessége nyilvánvaló. Ezt a helyet fogjuk kijelölni Rn A ¥ sok elemzési kérdésben nem kevésbé kényelmes, mint az euklideszi tér Rn.

Az utolsó három példa azt mutatja, hogy néha nagyon fontos, hogy magának a metrikus térnek és a pontjainak halmazának más-más jelölése legyen, mivel ugyanaz a pontkészlet különböző módon metrikázható.

6. Sok TÓL TŐL a szegmensen meghatározott összes folytonos valós függvényből távolsággal

metrikus teret is képez. Az 1)-3) axiómákat közvetlenül igazoljuk. Ez a tér nagyon fontos szerepet játszik az elemzésben. Ugyanazzal a szimbólummal fogjuk jelölni TÓL TŐL, amely magában ebben a térben a pontok halmaza.

7. Tekintsük a 6. példához hasonlóan az intervallumon folytonos függvények gyűjtését TÓL TŐL , de a távolságot másként határozzuk meg, nevezetesen beállítjuk

Ilyen metrikus teret fogunk jelölni TÓL TŐL 2 és hívja folytonos függvények tere másodfokú metrikával.