Афин простор

Во математиката, афин простор е геометриска структура во која се обопштуваат некои од својствата на Евклидовите простори така што таквите својства да се независни од концептите за растојание и мерка на агол, задржувајќи ги само својствата паралелност и односот на должините на паралелни отсечки.
Во афин простор не постои посебна точка која служи како координатен почеток. Оттука, ниту еден вектор нема фиксен почеток и на ниту еден вектор не може уникатно да му се придружи една точка. Во афиниот простор, наместо тоа, постојат ''вектори на поместување'', наречени и вектори на ''транслација'' или едноставно ''транслации'', помеѓу две точки од просторот. Така, има смисла да се одземаат две точки од просторот при што се добива вектор на поместување (вектор на транслација), но нема смисла да се собираат две точки од просторот. Исто така, има смисла да се додаде вектор на поместување на точка од афин простор што резултира со нова точка преместена (транслирана) од почетната точка за тој вектор.
Секој векторски простор може да се гледа како афин простор. Ова значи да се заборави посебната улога која ја игра нултиот вектор. Во овој случај елементите на векторскиот простор може да се гледаат или како ''точки'' на афиниот простор или како ''вектори на поместување'' или ''транслации''. Кога се смета како точка, нултиот вектор се нарекува ''координатен почеток''. Со додавање на фиксен вектор на елементите на линеарен потпростор на векторски простор се добива ''афин потпростор''. Обично се вели дека овој афин потпростор е добиен со преместување (транслација) (од координатниот почеток) на линеарниот потпростор за дадениот вектор на транслација. Во конечни димензии таков ''афин потпростор'' е множеството од решенија на некој нехомоген линеарен систем. Векторите на поместување за тој афин простор се решенијата на соодветниот ''хомоген'' линеарен систем, кој е линеарен потпростор. За разлика од нив, линеарните потпростори секогаш го содржат координатниот почеток на векторскиот простор.
''Димензијата'' на афиниот простор се дефинира како димензија на векторскиот простор на неговите транслации. Афин простор со димензија 1 е афина права. Афин простор со димензија 2 е афина рамнина. Афин потпростор со димензија во афин простор или векторски простор со димензија е афина хиперрамнина.
1 Неформален опис
Следната карактеризација може да се разбере полесно од вообичаената формална дефиниција: афин простор е она што останува од векторскиот простор откако сте заборавиле која точка е координатен почеток (почеток) (или, според зборовите на францускиот математичар Марсел Берже: „афиниот простор не е ништо повеќе од векторски простор чиј почеток се обидуваме да го заборавиме, со додавање на транслации на линеарните пресликувања“ ). Замислете дека Алиса знае дека одредена точка е вистинскиот координатен почеток, но Боб верува дека некоја друга точка - наречена - е координатниот почеток. Треба да се соберат два вектора, и . Боб црта стрелка од точката до точката и друга стрелка од точката до точката , и го комплетира паралелограмот за да го најде она што Боб мисли дека е , но Алиса мисли (знае) дека тој всушност пресметал
: .
Слично на тоа, Алиса и Боб можат да ја пресметаат која било линеарна комбинација на и (или на кое било конечно множество од вектори) и генерално ќе добијат различни одговори. Меѓутоа, ако збирот на коефициентите во линеарната комбинација е 1, тогаш Алиса и Боб ќе дојдат до истиот одговор.
Ако Алиса се премести во положбата
: ,
тогаш Боб слично може да се премести во положбата
: .
Под овој услов, за сите коефициенти , па Алиса и Боб опишуваат иста точка со иста линеарна комбинација и покрај тоа што користат различни координатни почетоци.
Додека само Алиса ја знае „линеарната структура“, и Алиса и Боб ја знаат „афината структура“ - т.е. вредностите на афините комбинации, дефинирани како линеарни комбинации во кои збирот на коефициентите е 1. Комплет на множество со афина структура се нарекува афин простор.
2 Дефиниција
''Афин простор'' е множество заедно со векторски простор <math>\overrightarrow{A}</math>, и транзитивно и слободно дејство на адитивната група на <math>\overrightarrow{A}</math> врз множеството . Елементите на афиниот простор се нарекуваат ''точки''. Векторскиот простор <math>\overrightarrow{A}</math> се вели дека е ''поврзан'' со афиниот простор, а неговите елементи се нарекуваат ''вектори'', транслации или понекогаш ''слободни вектори''.
Експлицитно, дефиницијата дадена погоре значи дека едно дејство е пресликување, генерално означено како собирање,
:<math>
\begin{align}
A \times \overrightarrow{A} &\to A \\
(a,v)\; &\mapsto a + v,
\end{align}
</math>
кое ги има следниве својства.# Десна единица:
#:<math>\forall a \in A,\; a+0 = a,</math> каде што е нултиот вектор во <math>\overrightarrow{A}</math># Асоцијативност:
#:<math>\forall v,w \in \overrightarrow{A}, \forall a \in A,\; (a + v) + w = a + (v + w)</math>#: (тука последниот знак <math>+</math> е собирање во <math>\overrightarrow{A}</math> )
# Слободно и транзитивно дејство:
#: За секој <math>a \in A,</math> пресликувањето <math>\overrightarrow A \to A \colon v \mapsto a + v</math> е биекција .
Првите две својства се едноставно својствата од дефиницијата на дејство на (десна) група. Третото својство ги карактеризира слободните и преодните дејства. Сурјективноста доаѓа од транзитивноста, а потоа инјективноста следи од тоа што дејството е слободно. Постои четврто својство кое следи од 1, 2 погоре:
Постоење на инјективни транслации:За сите <math>v \in \overrightarrow A,</math> пресликувањето <math>A \to A \colon a \mapsto a + v</math> е биекција.
Својството 3 често се користи во следнава еквивалентна форма (5-то својство).
Одземање::За секои <math>a,b \in A,</math> постои единствен <math>v\in\overrightarrow A,</math> означен со <math>b - a</math> т.ш. <math>b = a + v.</math>
Друг начин да се изрази дефиницијата е дека афиниот простор е главен хомоген простор (торзор) за дејството на адитивната група на векторски простор. Хомогените простори по дефиниција поседуваат група од транзитивни дејства, а за главниот хомоген простор таквото транзитивно дејство по дефиниција е слободно.
2.1 Одземање и аксиоми на Веј
Својствата на групното дејство овозможуваат да се дефинира одземање за секој даден подреден пар <math>(b, a)</math> од точки во , со што се добива вектор од <math>\overrightarrow{A}</math>. Овој вектор, означен со <math>b - a</math> или <math>\overrightarrow{ab},</math> се дефинира како единствен вектор во <math>\overrightarrow{A}</math> таков што
:<math>a + (b - a) = b.</math>
Од транзитивноста на дејството следи постоењето, а уникатноста следи од тоа што дејството е слободно.
Ова одземање ги има следниве две својства, наречени Вејлови аксиоми:#<math>\forall a \in A,\; \forall v\in \overrightarrow{A}</math>, постои единствена точка <math>b \in A</math> такви што <math>b - a = v.</math>#<math>\forall a,b,c \in A,\; (c - b) + (b - a) = c - a.</math>
Во Евклидовата геометрија, втората Вејлова аксиома вообичаено се нарекува ''правило на паралелограм'' .
Афините простори може еквивалентно да се дефинираат како множество од точки , заедно со векторскиот простор <math>\overrightarrow{A}</math>, и одземање кое ги задоволува Вејловите аксиоми. Во овој случај, додавањето на вектор на точка е дефинирано од првите Вејлови аксиоми.
3 Афини потпростори и паралелизам
''Афин потпростор'' (исто така наречен, во некои контексти, ''линеарна сорта'', рамност, или над реалните броеви ''- линеарно многуобразие'') на афин простор е подмножество од , така што за дадена точка <math>a \in B</math>, множеството од вектори <math>\overrightarrow{B} = \{b - a \mid b \in B\}</math> е линеарен потпростор на <math>\overrightarrow{A}</math>. Ова својство, кое не зависи од изборот на , имплицира дека е афин простор, кој го има <math>\overrightarrow{B}</math> како негов асоциран векторски простор.
Афините потпростори на се подмножества на од обликот
:<math>a + V = \{a + w: w \in V\},</math>
каде што е точка од , а линеарен потпростор на <math>\overrightarrow{A}</math>.
Линеарниот потпростор поврзан со афин потпростор често се нарекува негова ''насока'', а за два потпростора кои имаат иста насока се вели дека се ''паралелни''.
Ова ја повлекува следнава генерализација на аксиомата на Плејфер (Playfair): ако е дадена насока , за која било точка од постои еден и само еден афин потпростор со насока , кој минува низ ; тоа е потпросторот .
Секоја транслација <math>A \to A: a \mapsto a + v</math> го пресликува секој афин потпростор во паралелен потпростор.
Терминот ''паралелност'' се користи и за два афини потпростора така што насоката на едниот е вклучена во насоката на другиот.
4 Афино пресликување
За дадени два афини простора и чии поврзани векторски простори се <math>\overrightarrow{A}</math> и <math>\overrightarrow{B}</math>, ''афино пресликување'' или ''афин хомоморфизам'' од во е пресликувањето
:<math>f: A \to B</math>
за кое
:<math>
\begin{align}
\overrightarrow{f}: \overrightarrow{A} &\to \overrightarrow{B}\\
b - a &\mapsto f(b) - f(a)
\end{align}
</math>
е добро дефинирано линеарно пресликување. Да биде <math>f</math> добро дефинирано се мисли дека од следува .
Ова имплицира дека, за точка <math>a \in A</math> и вектор <math>v \in \overrightarrow{A}</math>, важи
:<math>f(a + v) = f(a) + \overrightarrow{f}(v).</math>
Затоа, бидејќи за кое било дадено во , за единствен , е целосно дефинирано со неговата вредност во една точка и поврзаното линеарно пресликување <math>\overrightarrow{f}</math>.
5 Векторски простори како афини простори
Секој векторски простор може да се смета како афин простор над себе. Ова значи дека секој елемент на може да се смета или како точка или како вектор. Овој афин простор понекогаш се означува за да се нагласи двојната улога на елементите на . Кога се смета за точка, нултиот вектор најчесто се означува (или , кога се користат големи букви за точки) и се нарекува почеток.
Ако е друг афин простор над истиот векторски простор (т.е. <math>V = \overrightarrow{A}</math> ) изборот на која било точка во дефинира единствен афин изоморфизам, кој е идентитетот на и го пресликува во . Со други зборови, изборот на почеток во ни овозможува да ги идентификуваме и до каноничен изоморфизам. Панданот на ова својство е дека афиниот простор може да се идентификува со векторскиот простор во кој „местото на почетокот е заборавено“.
6 Врска со Евклидовите простори
6.1 Дефиниција на Евклидови простори
Евклидови простори (вклучувајќи ја еднодимензионалната права, дводимензионалната рамнина и тридимензионалниот простор кои вообичаено се изучуваат во елементарната геометрија, како и повеќедимензионални аналози) се афини простори.
Навистина, во повеќето современи дефиниции, Евклидов простор е дефиниран како афин простор, така што поврзаниот векторски простор е конечнодимензионален реален простор со внатрешен производ , т.е. векторски простор над реалното поле со позитивно-дефинитна квадратна форма . Внатрешниот производ на два вектора и е вредноста на симетричната билинеарна форма
:<math>x \cdot y = \frac 12 (q(x + y) - q(x) - q(y)).</math>
Вообичаеното Евклидово растојание помеѓу две точки и е
:<math>d(A, B) = \sqrt{q(B - A)}.</math>
Во постарата дефиниција на Евклидовите простори преку синтетичката геометрија, векторите се дефинирани како класи на еквиваленција на подредени парови точки под еквиполенција (паровите и се ''еквиполентни'' ако точките ( по овој редослед) формираат паралелограм ). Едноставно е да се провери дека векторите формираат векторски простор, квадратот на Евклидовото растојание е квадратна форма на векторскиот простор, а двете дефиниции за Евклидовите простори се еквивалентни.
6.2 Афини својства
Во Евклидовата геометрија, вообичаената фраза „афино својство“ се однесува на својство кое може да се докаже во афините простори, односно може да се докаже без користење на квадратната форма и нејзиниот поврзан внатрешен производ. Со други зборови, афино својство е својство кое не вклучува должини и агли. Типични примери се паралелизмот и дефиниција на тангента. Пример за не-афино својство е дефиницијата за нормалност .
Еквивалентно, афино својство е својство кое е непроменливо при афините трансформации на Евклидовиот простор.
7 Афини комбинации и барицентар
Нека е збирка од точки во афин простор, а <math>\lambda_1, \dots, \lambda_n</math> се елементи на основното поле .
Да претпоставиме дека <math>\lambda_1 + \dots + \lambda_n = 0</math>. За кои било две точки и важи
:<math>\lambda_1 \overrightarrow{oa_1} + \dots + \lambda_n \overrightarrow{oa_n} = \lambda_1 \overrightarrow{o'a_1} + \dots + \lambda_n \overrightarrow{o'a_n}.</math>
Така, оваа сума е независна од изборот на почетокот, а добиениот вектор може да се претстави како
:<math>\lambda_1 a_1 + \dots + \lambda_n a_n .</math>
Кога <math>n = 2, \lambda_1 = 1, \lambda_2 = -1</math>, се добива дефиниција за одземање на точки.
Сега, наместо тоа, да претпоставиме дека елементите на полето ја задоволуваат равенката <math>\lambda_1 + \dots + \lambda_n = 1</math>. За одреден избор на почеток , означете ја со <math>g</math> единствената точка за која
:<math>\lambda_1 \overrightarrow{oa_1} + \dots + \lambda_n \overrightarrow{oa_n} = \overrightarrow{og}.</math>
Може да се покаже дека <math>g</math> е независна од изборот на . Затоа, ако
:<math>\lambda_1 + \dots + \lambda_n = 1,</math>
може да се напише
:<math>g = \lambda_1 a_1 + \dots + \lambda_n a_n.</math>
Поентата <math>g</math> се нарекува барицентар на <math>a_i</math> за тежини <math>\lambda_i</math>. Се кажува и дека <math>g</math> е афина комбинација на <math>a_i</math> со коефициенти <math>\lambda_i</math>.
8 Примери
* Кога децата ги наоѓаат одговорите на збировите како или со броење десно или лево на бројна права, тие ја третираат бројната права како еднодимензионален афин простор.
* Секое комножество на потпростор на векторски простор е афин простор над тој потпростор.
* Ако е матрица и лежи во просторот определен од нејзините колони, множеството од решенија на равенката е афин простор над потпросторот на решенија од .
* Решенијата на нехомогена линеарна диференцијална равенка формираат афин простор над решенијата на соодветната хомогена линеарна равенка.
* Генерализирајќи го сето горенаведено, ако е линеарно пресликување и лежи на неговата слика, множеството од решенија на равенката е косет на јадрото на , и затоа е афин простор над .
* Просторот на (линеарни) комплементарни потпростори на векторски потпростор во векторски простор е афин простор, над . Односно, ако е кратка точна низа од векторски простори, тогаш просторот на сите разделувања на точната низа природно ја носи структурата на афин простор над .
9 Афин распон и основи
За секое подмножество од афиниот простор , постои најмал афин потпростор кој го содржи, наречен афин распон на . Тоа е пресекот на сите афини потпростори кои го содржат , а неговата насока е пресекот на насоките на афините потпростори што го содржат .
Афиниот распон на е множество од сите (конечни) афини комбинации на точки од , а неговата насока е линеарниот распон на за и во . Ако се избере одредена точка , насоката на афиниот распон на е исто така линеарниот распон на за во .
Се вели, исто така, дека афиниот распон на е генериран од и дека е генерирачко множество од неговиот афин распон.
Се вели дека едно множество од точки од афин простор е афино независно или, едноставно, независно, ако афиниот распон на кое било строго подмножество на е строго подмножество на афиниот распон на . Афина база или барицентрична рамка (види , долу) на афин простор е генерирачко множество кое е исто така независно (тоа е минимално генерирачко множество).
Потсетете се дека ''димензија'' на афин простор е димензијата на неговиот поврзан векторски простор. База на афиниот простор со конечна димензија се независните подмножества од елементи, или, еквивалентно, генерирачките подмножества од елементи. Еквивалентно, е афина база на афин простор ако и само ако е линеарна база на поврзаниот векторски простор.
10 Координати
Постојат два силно поврзани типа на координатни системи кои може да се дефинираат на афините простори.
10.1 Барицентрични координати
Нека е афин простор со димензија над полето , и <math>\{x_0, \dots, x_n\}</math> биде афина база на . Својствата на афина база имплицираат дека за секој во има единствена - торка <math>(\lambda_0, \dots, \lambda_n)</math> на елементи од такви што
:<math>\lambda_0 + \dots + \lambda_n = 1</math>
и
:<math>x = \lambda_0 x_0 + \dots + \lambda_n x_n.</math><math>\lambda_i</math> се нарекуваат барицентрични координати на над афината база <math>\{x_0, \dots, x_n\}</math> . Ако се гледаат како тела кои имаат тежини (или маси) <math>\lambda_i</math> соодветно, тогаш точката е барицентарот на , и ова го објаснува потеклото на поимот ''барицентрични координати''.
Барицентричните координати дефинираат афин изоморфизам помеѓу афиниот простор и афиниот потпростор од дефиниран со равенката <math>\lambda_0 + \dots + \lambda_n = 1</math>.
За афините простори со бесконечна димензија, се применува истата дефиниција, користејќи само конечни збирови. Ова значи дека за секоја точка, само конечен број на координати не се еднакви на нула.
10.2 Афини координати
Афина рамка на афин простор се состои од точка, наречена ''почеток'', и линеарна база на поврзаниот векторски простор. Поточно, за афин простор со поврзан векторски простор <math>\overrightarrow{A}</math>, почетокот припаѓа на , а линеарната основа е основа на <math>\overrightarrow{A}</math> (за едноставност на ознаките, го разгледуваме само случајот со конечна димензија, додека општиот случај е сличен).
За секоја точка од , постои единствена низа <math>\lambda_1, \dots, \lambda_n</math> на елементи од основното поле така што
:<math>p = o + \lambda_1 v_1 + \dots + \lambda_n v_n,</math>
или еквивалентно
:<math>\overrightarrow{op} = \lambda_1 v_1 + \dots + \lambda_n v_n.</math><math>\lambda_i</math> се нарекуваат афини координати на над афината рамка .
Пример: Во Евклидовата геометрија, Декартовите координати се афини координати во однос на ортонормална рамка, т.е. афина рамка таква што е ортонормална база .
10.3 Врска помеѓу барицентрични и афини координати
Барицентричните координати и афините координати се силно поврзани и може да се сметаат за еквивалентни.
Всушност, ако е дадена барицентричната рамка
:<math>(x_0, \dots, x_n),</math>
веднаш се изведува афината рамка
:<math>(x_0, \overrightarrow{x_0 x_1}, \dots, \overrightarrow{x_0 x_n}) = \left(x_0, x_1 - x_0, \dots, x_n - x_0\right),</math>
и ако
:<math>\left(\lambda_0, \lambda_1, \dots, \lambda_n\right)</math>
се барицентричните координати на точка над барицентричната рамка, тогаш афините координати на истата точка над афината рамка се
:<math>\left(\lambda_1, \dots, \lambda_n\right).</math>
Обратно, ако
:<math>\left(o, v_1, \dots, v_n\right)</math>
е афина рамка, тогаш
:<math>\left(o, o + v_1, \dots, o + v_n\right)</math>
е барицентрична рамка. Ако
:<math>\left(\lambda_1, \dots, \lambda_n\right)</math>
се афините координати на точка над афината рамка, тогаш нејзините барицентрични координати над барицентричната рамка се
:<math>\left(1 - \lambda_1 - \dots - \lambda_n, \lambda_1, \dots, \lambda_n\right).</math>
Затоа, барицентричните и афините координати се речиси еквивалентни. Во повеќето апликации, се претпочитаат афини координати, бидејќи вклучуваат помалку координати кои се независни. Меѓутоа, во ситуациите каде што важните точки на проучуваниот проблем се независни од афинитет, барицентричните координати може да доведат до поедноставно пресметување, како во следниов пример.
10.3.1 Пример за триаголник
Темињата на нерамниот триаголник формираат афина база на Евклидовата рамнина . Барицентричните координати овозможуваат лесно карактеризирање на елементите на триаголникот кои не вклучуваат агли или растојание:
Темињата се точките со барицентрични координати , и . Правите на кои се рабовите се точките кои имаат нулта координата. Самите рабови се точките кои имаат нулта координата и две ненегативни координати. Внатрешноста на триаголникот се точките кај кои сите координати се позитивни. Медијаните се точките кои имаат две еднакви координати, а центроид е точката со координати .
11 Својства на афините хомоморфизми
11.1 Слика и влакна
Нека
:<math>f \colon E \to F</math>
е афин хомоморфизам, со
:<math>\overrightarrow {f} \colon \overrightarrow{E} \to \overrightarrow{F}</math>
како поврзано линеарно пресликување.
Слика на е афиниот потпростор од , кој го има <math>\overrightarrow{f}(\overrightarrow{E})</math> како поврзан векторски простор. Бидејќи афиниот простор нема нулти елемент, афиниот хомоморфизам нема јадро. Меѓутоа, за која било точка од , инверзната слика од е афин потпростор на , со насока <math>\overrightarrow{f}^{-1}(\overrightarrow{F})</math> . Овој афин потпростор се нарекува влакно на .
11.2 Проекција
Важен пример е проекцијата паралелна со некоја насока на афин потпростор. Важноста на овој пример лежи во фактот дека Евклидовите простори се афини простори и дека овој вид на проекции е фундаментален во Евклидовата геометрија .
Нека
:<math>p(x) - x \in D.</math>
Ова е афин хомоморфизам чие поврзано линеарно пресликување <math>\overrightarrow{p}</math> се дефинира со
:<math>\overrightarrow{p}(x - y) = p(x) - p(y),</math>
за и во .
Сликата на оваа проекција е , а нејзините влакна се потпростори на насоката .
11.3 Количник простор
Иако јадрата не се дефинирани за афините простори, сепак може да се дефинираат количник-простори (фактор-простори). Ова произлегува од фактот дека „припаѓањето на истото влакно на афиниот хомоморфизам“ е релација за еквиваленција .
Поточно, за даден афин простор со поврзан векторски простор <math>\overrightarrow{E}</math>, нека е афин потпростор на насоката <math>\overrightarrow{F}</math>, и биде комплементарен потпростор на <math>\overrightarrow{F}</math> во <math>\overrightarrow{E}</math> (ова значи дека секој вектор на <math>\overrightarrow{E}</math> може да се разложи на единствен начин како збир на елемент од <math>\overrightarrow{F}</math> и елемент од ). За секоја точка од , нејзината проекција на паралелна на е единствената точка во таква што
:<math>x - y \in D.</math>
Овој количник е афин простор, кој го има <math>\overrightarrow{E}/D</math> како сврзан векторски простор.
За секој афин хомоморфизам <math>E \to F</math>, сликата е изоморфна на количникот на во однос јадрото на поврзаното линеарно пресликување. Ова е првата теорема за изоморфизам за афините простори.
12 Аксиоми
Афините простори обично се проучуваат со аналитичка геометрија преку користење на координати, или еквивалентно со векторски простори. Исто така, тие може да се изучуваат со синтетичка геометрија со наведување на аксиоми, иако овој пристап е многу поредок. Постојат неколку различни системи на аксиоми за афиниот простор.
Во има аксиоматизација на специјалниот случај на aфина геометрија над реалните броеви како подредена геометрија заедно со афина форма на теоремата на Дезарг и аксиома според која во рамнината постои најмногу една права која минува низ дадена точка која не сече дадена права.
Афините рамнини ги задоволуваат следниве аксиоми во кои две прави се нарекуваат паралелни ако се еднакви или дисјунктни:
* Секои две различни точки лежат на единствена права.
* За дадени точка и права постои единствена права која ја содржи точката и е паралелна со правата
* Постојат три неколинеарни точки.
Како и афините рамнини над полињата (или прстените на делење ), исто така има и многу не-Дезаргови рамнини кои ги задоволуваат овие аксиоми. Во се дадени аксиоми за афините простори со повисоки димензии.
Чисто аксиоматската афина геометрија е поопшта од афините простори и е обработена во посебна статија .
13 Поврзаност со проективни простори
Афините простори се содржани во проективни простори . На пример, афина рамнина може да се добие од која било проективна рамнина со отстранување на една права и сите точки на неа, и обратно која било афина рамнина може да се користи за да се конструира проективна рамнина како затворач со додавање на права на бесконечност чии точки одговараат на класите на еквиваленција на паралелни прави. Слични конструкции можат да се направат во простори со повисока димензија.
Понатаму, трансформациите на проективниот простор кои го зачувуваат афиниот простор (еквивалентно, кои ја оставаат хиперрамнината во бесконечност непроменлива како множество) даваат трансформации на афиниот простор. Обратно, секоја афина линеарна трансформација уникатно може да се прошири до проективна линеарна трансформација, така што афината група е подгрупа на проективната група . На пример, трансформациите на Мебиус (трансформации на комплексната проективна права или Римановата сфера) се афини (трансформации на комплексната рамнина) ако и само ако ја фиксираат точката во бесконечност.
14 Афина алгебарска геометрија
Во алгебарската геометрија, афина сорта (или, поопшто, афино алгебарско множество) се дефинира како подмножество на афин простор кое е множество од заедничките нули на множество од таканаречени ''полиномни функции над афиниот простор''. За дефинирање на ''полиномна функција над афиниот простор'', треба да се избере афина рамка . Тогаш, полиномна функција е функција таква што сликата на која било точка е вредноста на некоја мултиваријатна полиномна функција на координатите на точката. Бидејќи промена на афините координати може да се изрази со линеарни функции (поточно со афини функции) на координатите, оваа дефиниција е независна од некој одреден избор на координати.
Избор на систем на афини координати за афин простор <math>\mathbb{A}_k^n</math> со димензија над поле индуцира афин изоморфизам помеѓу <math>\mathbb{A}_k^n</math> и афиниот координатен простор . Ова објаснува зошто, за поедноставување, во многу учебници се пишува <math>\mathbb{A}_k^n = k^n</math>, и се воведуваат афини алгебарски сорти како заеднички нули на полиномните функции над .
Бидејќи целиот афин простор е множество од заедничките нули на нултиот полином, афините простори се афини алгебарски сорти.
14.1 Прстен од полиномни функции
Според погорната дефиниција, изборот на афина рамка на афин простор <math>\mathbb{A}_k^n</math> овозможува да се идентификуваат полиномните функции на <math>\mathbb{A}_k^n</math> со полиноми од променливи, ''i'' -тата променлива ја претставува функцијата која ја пресликува точка на нејзината i-та координата. Следи дека множеството од полиномни функции над <math>\mathbb{A}_k^n</math> е k-алгебра, означена со <math>k\left[\mathbb{A}_k^n\right]</math>, која е изоморфна на полиномниот прстен <math>k\left[X_1, \dots, X_n\right]</math> .
При смена на координатите изоморфизмот помеѓу <math>k\left[\mathbb{A}_k^n\right]</math> и <math>k[X_1, \dots, X_n]</math> соодветно се менува и притоа индуцира автоморфизам на <math>k\left[X_1, \dots, X_n\right]</math> кој ја пресликува секоја неопределена во полином од прв степен. Следи дека вкупниот степен дефинира филтрација на <math>k\left[\mathbb A_k^n\right]</math> која е независна од изборот на координатите. Вкупниот степен дефинира и степенување, но зависи од изборот на координатите бидејќи промената на афините координати може да пресликува неопределени во нехомогени полиноми .
14.2 Топологија на Зариски
Афините простори над тополошки полиња, како што се реалните или комплексните броеви, имаат природна топологија . Топологијата на Зариски, која е дефинирана за афините простори над кое било поле, дозволува користење на тополошки методи во секој случај. Топологијата на Зариски е единствена топологија на афин простор чии затворени множества се афини алгебарски множества (тоа се множества од заедничките нули на полиномни функции над афиното множество). Бидејќи, над тополошко поле, полиномните функции се непрекинати, секое затворено множество на Зариски е затворено во однос на вообичаената топологија, ако таква постои. Со други зборови, над тополошко поле топологијата на Зариски е погруба од природната топологија.
Постои природна инјективна функција од афин простор во множеството на прости идеали (т.е. спектарот) од неговиот прстен од полиномни функции. Кога се избрани афините координати, оваа функција ја пресликува точката со координати <math>\left(a_1, \dots, a_n\right)</math> во максималниот идеал <math>\left\langle X_1 - a_1, \dots, X_n - a_n\right\rangle</math>. Оваа функција е хомеоморфизам (за топологијата на Зариски на афиниот простор и на спектарот на прстенот на полиномните функции) на афиниот простор на сликата на функцијата.
Во алгебарската геометрија особено е важен случајот на алгебарски затворено основно поле бидејќи во овој случај хомеоморфизмот од погоре е пресликувањето помеѓу афиниот простор и множеството од сите максимални идеали на прстенот на функции (ова е Хилбертовиот Nullstellensatz).
Ова е почетната идеја на теоријата на шеми на Гротендик која се состои од разгледување на „точки“, не само точките од афиниот простор туку и од сите основни идеали на спектарот (за проучување на алгебарските сорти). Ова овозможува лепење на алгебарски сорти на сличен начин како што, кај многуобразијата, графиконите се лепат заедно за да се изгради многуобразието.
14.3 Кохомологија
Како и сите афини сорти, локалните податоци за афиниот простор секогаш може да се прикачат заедно на глобално ниво: кохомологијата на афиниот простор е тривијална. Поточно, <math>H^i\left(\mathbb{A}_k^n,\mathbf{F}\right) = 0</math> за сите кохерентни снопови F и цели броеви <math>i > 0</math>. Ова својство го имаат и сите други афини сорти. Но, исто така, сите слабо кохомолошки групи на афиниот простор се тривијални. Особено, секој сноп на прсви е тривијален. Поопшто, теоремата Квилен-Суслин имплицира дека ''секој'' алгебарски векторски пакет над афин простор е тривијален.
15 Поврзано
* Афина обвивка – најмал афин потпростор кој содржи некое множество
* Комплексен афин простор – афин простор над полето од комплексни броеви
* Егзотичен афин простор – реален афин простор од парна димензија што не е изоморфен на комплексен афин простор
* Простор (математика) – математичко множество на кое е додадена некоја структура