Affinista tilaa

Affine avaruus  on matemaattinen objekti (avaruus), joka yleistää joitain euklidisen geometrian ominaisuuksia . Toisin kuin vektoriavaruus , affiiniavaruus ei toimi yhdellä, vaan kahdella objektilla: "vektorit" ja "pisteet".

Määritelmä

Kentän yläpuolella olevaan vektoriavaruuteen liittyvä affiiniavaruus on joukko , jossa on additiivisen ryhmän vapaa transitiivinen toiminta (jos kenttää ei ole erikseen määritelty, oletetaan, että tämä on reaalilukujen kenttä ).

Kommentti

Tämä määritelmä tarkoittaa [1] , että operaatio avaruuselementtien (kutsutaan affiinisen avaruuden pisteiden ) lisäämiseksi avaruuden vektoreilla (jota kutsutaan affiinin avaruuden vapaiden vektorien avaruudeksi ) on määritelty, mikä täyttää seuraavat aksioomit:

  1. kaikille ja kaikille ;
  2. kaikille ;
  3. kahdelle pisteelle on ainutlaatuinen vektori (merkitty tai ) ominaisuudella .

Siten toimintatapaa on merkitty .

Affine aliavaruus

Affiinisen avaruuden affine aliavaruus on osajoukko , joka on jonkin lineaarisen aliavaruuden siirtymä eli jossain pisteessä . Joukko määritellään yksiselitteisesti, kun taas se määritellään vain vektorin siirtymiseen asti . Dimensio määritellään aliavaruuden dimensioksi .

Jos ja , niin jos ja vain jos ja .

Affiinisten aliavaruuksien leikkauspiste on joko affiininen aliavaruus tai tyhjä. Jos se ei ole tyhjä, sen ulottuvuus tyydyttää suhteen

.

Affinista aliavaruutta, jota koodiulottuvuuden 1 aliavaruus vastaa , kutsutaan hypertasoksi .

Lineaarisen avaruuden (joissa on standardi affiine rakenne, itseensä kohdistuva lisäys) affineja avaruutta tarkastellaan usein. Niitä kutsutaan joskus lineaarisiksi jakoputkiksi [2] [3] .

Tällainen affiininen aliavaruus on lineaarinen aliavaruus silloin ja vain, jos se sisältää 0:n.

Aiheeseen liittyvät määritelmät

On mahdollista tarkastella [4] mielivaltaisia ​​lineaarisia pisteiden yhdistelmiä affiinissa avaruudessa. Tulos on kuitenkin järkevä seuraavissa kahdessa tapauksessa:

Analogisesti vektorien lineaarisen riippumattomuuden käsitteen kanssa otetaan käyttöön affinisessa avaruudessa olevien pisteiden affinisen riippumattomuuden käsite. Nimittäin: pisteitä kutsutaan [5] affinisesti riippuviksi , jos jokin niistä voidaan esimerkiksi esittää barysentrisenä yhdistelmänä muita pisteitä. Muuten näiden pisteiden sanotaan olevan affinally riippumattomia .

Pisteiden affiinin riippumattomuuden ehto voidaan antaa toisessa muodossa: väite, että affiinin avaruuden pisteet ovat affiinisesti riippumattomia, on totta, jos ja vain, jos ei ole olemassa ei-triviaalista tasapainotettua näiden pisteiden yhdistelmää, joka olisi yhtä suuri kuin nollavektori [6] .

Affiinisen avaruuden dimensio on [7] vapaan vektorin vastaavan avaruuden dimensiolla. Tässä tapauksessa affiinin avaruuden suurimman affiinisti riippumattoman pistejoukon pisteiden lukumäärä osoittautuu yhden suuremmiksi kuin tilan ulottuvuus.

Mitä tahansa maksimaalista affiinisesti riippumatonta pistejoukkoa affiinissa avaruudessa voidaan käsitellä pisteperustana ( numeroimalla nämä pisteet uudelleen tavalla tai toisella).

Mikä tahansa piste avaruudessa voidaan esittää barysentrisenä yhdistelmänä pisteitä, jotka sisältyvät pistepohjaan; tämän yhdistelmän kertoimia kutsutaan [8] tarkasteltavan pisteen barysentrisiksi koordinaateiksi .

Muunnelmia ja yleistyksiä

Muistiinpanot

  1. Kostrikin, Manin, 1986 , s. 193.
  2. Ulyanov A.P. Tason ja tilan algebra ja geometria fysiikan opiskelijoille Arkistokopio 22.9.2018 Wayback Machine Lecturesissa NSU:n fysiikan tiedekunnan 1. vuoden opiskelijoille.
  3. Dieudonné J. Lineaarinen algebra ja alkugeometria. Ranskasta kääntänyt G. V. Dorofejev. - M.: Nauka, 1972. - 335 s.
  4. Kostrikin, Manin, 1986 , s. 198.
  5. Boltyansky, 1973 , s. 138.
  6. Aleksandrov P. S. , Pasynkov V. A. Johdatus ulottuvuusteoriaan. - M .: Nauka, 1973. - 576 s.  - C. 193.
  7. Boltyansky, 1973 , s. 135.
  8. Kostrikin, Manin, 1986 , s. 199.

Kirjallisuus