2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 АФфинное пространство
Сообщение28.03.2024, 20:47 


28/03/24
76
Вектор AB в определении аффинного пространства является конкретным вектором?

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение28.03.2024, 21:33 
Заслуженный участник
Аватара пользователя


26/01/14
4834
Vasily2024 в сообщении #1634592 писал(а):
Вектор AB в определении аффинного пространства является конкретным вектором?
Напишите само определение, которое Вас интересует. Без контекста вопрос непонятен.

Деление векторов на "конкретные" и "абстрактные" - очень устаревшее. В современной математике "конкретные векторы" не используются.

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение28.03.2024, 22:31 


28/03/24
76
Может быть его лучше назвать аффинным?
(Конкретный) вектор AB является отображением упорядоченной пары (A, B).
Сумма двух (конкретных) векторов AB и BC задана явно и равна (конкретному) вектору AC: AB + BC = AC.

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение28.03.2024, 22:41 
Заслуженный участник
Аватара пользователя


26/01/14
4834
Vasily2024
В современной теории аффинных пространств "конкретных векторов" нет и они не нужны.

 Профиль  
                  
 
 Posted automatically
Сообщение29.03.2024, 02:53 
Админ форума


02/02/19
2470
 i  Тема перемещена из форума «Работа форума» в форум «Помогите решить / разобраться (М)»
Причина переноса: темы, в которых нужно что-то объяснить или подсказать в пределах учебных курсов, создаются в этом разделе.

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение30.03.2024, 05:40 


28/03/24
76
Хорошо. Пусть образ упорядоченной пары (A, B) называется аффинным вектором AB.
Множество аффинных векторов является абелевой группой?

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение30.03.2024, 09:49 
Заслуженный участник


02/08/11
7002
Vasily2024 в сообщении #1634813 писал(а):
Множество аффинных векторов является абелевой группой?
Нет, групповая операция должна быть тотальной, то есть определённой для любых двух элементов группы. А у вас сложение определено только для таких пар элементов, у которых конец одного является началом другого.

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение30.03.2024, 13:57 


28/03/24
76
Согласен с Вашим замечанием. Здесь действительно требуется определить сумму любых векторов.
Докажем, что определена сумма любых векторов AB и СD. Из первой аксиомы Вейля следует, что для произвольного вектора CD существует вектор BD", такой что СD = BD". В таком случае определена сумма AB + СD = AD". Причем, сумма примыкающих векторов определена конкретно AB + BD = AD.

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение30.03.2024, 14:07 
Заслуженный участник


02/08/11
7002
Vasily2024, ну проверьте аксиомы группы для такого сложения. Об абелевости-то и говорить не приходится: сложение явно несимметрично.

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение30.03.2024, 15:44 


28/03/24
76
Действительно, требуется некоторое уточнение:
1. Существует нулевой вектор, обозначаемый как 0, который соответствует случаю AB = 0 тогда и только тогда, когда A = B.
2. Для любого вектора AB существует противоположный вектор BA, такой что AB + BA = 0.
3. Операция сложения аффинных векторов – это операция сложения векторов векторного пространства, поэтому коммутативна.

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение30.03.2024, 15:53 
Заслуженный участник


02/08/11
7002
Vasily2024, прежде всего нужно уточнить что такое "аффинный вектор", а уже потом всё остальное.

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение30.03.2024, 17:16 


28/03/24
76
Пусть задано отображение g, сопоставляющее любой упорядоченной паре точек (A, B) некоторый вектор из V и удовлетворяющее двум аксиомам (аксиомам Вейля). Тогда каждой паре точек (A, B) соответствует вектор g(A, B), принадлежащий V.

Будем считать, что g(A, B) - аффинный вектор, для которого обычно используют обозначение AB.
Таким образом аффинный вектор AB состоит из трех частей: упорядоченной пары (A, B), отображения g и значения отображения g(A, B).

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение30.03.2024, 18:48 
Заслуженный участник


02/08/11
7002
Vasily2024, теперь вы пытаетесь "переизобрести" аффинное пространство. Если есть некоторое аффинное пространство, то автоматически (по определению аффинного пространства) есть ассоциированное векторное пространство $V$ и есть отображение $(A, B) \mapsto \overrightarrow {AB}$ в $V$. Нет нужды называть такие векторы "аффинными", так как это самые обычные векторы, элементы векторного пространства.

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение31.03.2024, 09:46 


28/03/24
76
warlock66613, совершенно верно. Берется аффинное пространство, в котором есть ассоциированное векторное пространство V и имеется отображение g, которое сопоставляет упорядоченным парам точек (A, B) элементы из V.
Образ упорядоченной пары (A, B) обозначается g(A, B) и называется аффинным вектором.
Подчеркнем, что аффинные векторы принадлежит векторному пространству V, но обладают дополнительным свойством: каждому аффинному вектору g(A, B) соответствует единственная упорядоченная пара (A, B), в то время как обычные векторы не обладают таким свойством.

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

 Профиль  
                  
 
 Re: АФфинное пространство
Сообщение31.03.2024, 10:30 
Заслуженный участник


02/08/11
7002
Vasily2024 в сообщении #1634907 писал(а):
аффинные векторы принадлежит векторному пространству V, но обладают дополнительным свойством: каждому аффинному вектору g(A, B) соответствует единственная упорядоченная пара (A, B)
Это противоречивое требование.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 16 ]  На страницу 1, 2  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group