2014 dxdy logo

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

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


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


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 
Сообщение03.12.2006, 22:43 
Заслуженный участник
Аватара пользователя


23/07/05
17976
Москва
Sashamandra писал(а):
А есть ли в самом тексте П.С.Александрова свидетельства, которые бы могли прояснить его собственное понимание выражения (x,y), другими словами, сузить круг интерпретаций?


Поищите сами. Если хорошо поищете - найдёте. Тем более, текст у Вас есть.

 Профиль  
                  
 
 
Сообщение03.12.2006, 23:18 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Простите, что вмешиваюсь, но, как мне кажется, в понимании текста П.С.Александрова очень важно учитывать, что во-первых, вектор является формообразующим объектом в теории категорий для категории Vekt векторных пространств с морфизмами - линейными отображениями таких объектов, а, во-вторых, вектор является одним из простейших примеров тензора, а именно, тензором ранга (1,0) со всеми присущими тензорам особенностями. Без учета всех этих факторов понимание текстов по аналитической геометрии явно будет страдать однобокостью и останется поверхностным.

 Профиль  
                  
 
 
Сообщение03.12.2006, 23:28 
Аватара пользователя


01/12/06
129
Москва
Первое выражение, в котором используются фигурные скобки для обозначения векторов, я нашел на странице 21. Вот что там написано:

${\mathbf{u}} = x_1 {\mathbf{e}}_1  + x_2 {\mathbf{e}}_2 $ (3)
...
Равенство (3) часто записывается в виде
\[
{\mathbf{u}} = \{ x_1 ,x_2 \} 
\]

Из сопоставления двух формул я делаю выводы: 1) выражение {x,y} используется самостоятельно; 2) оно само обозначат вектор. А отсюда следуют все выводы, которые я перечислил выше для обозначения точки: {_,_} – функциональный символ от двух переменных со значениями в множестве векторов. Или я неправ?

 Профиль  
                  
 
 
Сообщение03.12.2006, 23:32 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Конечно, но необходимо дополнительно учитывать все факторы, изложенные мной выше.

 Профиль  
                  
 
 
Сообщение03.12.2006, 23:44 
Аватара пользователя


01/12/06
129
Москва
Brukvalub писал(а):
Конечно

Конечно, неправ?

 Профиль  
                  
 
 
Сообщение03.12.2006, 23:46 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Я писал не так.

 Профиль  
                  
 
 
Сообщение03.12.2006, 23:49 
Аватара пользователя


01/12/06
129
Москва
Ладно, проехали...

 Профиль  
                  
 
 
Сообщение03.12.2006, 23:54 
Заслуженный участник
Аватара пользователя


23/07/05
17976
Москва
Sashamandra писал(а):
Из сопоставления двух формул я делаю выводы: 1) выражение {x,y} используется самостоятельно; 2) оно само обозначат вектор. А отсюда следуют все выводы, которые я перечислил выше для обозначения точки: {_,_} – функциональный символ от двух переменных со значениями в множестве векторов. Или я неправ?


Нет, не согласен. Там ещё какой-то базис подразумевается, так что значение этого функционального символа зависит от базиса, и обозначение нужно существенно усложнить. А с точками ещё сложнее, там и базиса мало, ещё опорная точка нужна (начало системы координат). Так что Вы не совсем правы. Займитесь этим.

А Вы не забыли, что там на самом деле подразумевается не векторное, а аффинное пространство? Так что вектор - это скорее класс эквивалентности упорядоченных пар точек $(M_1,M_2)$. Поэтому ещё надо выяснить, как со всем этим сообразуется запись вектора в виде $\overline{M_1M_2}$. Что Вы там накопали у П.С.Александрова по этому поводу?

А у Д.В.Клетеника $M(x,y)$ - это результат подстановки имени точки и имён её координат в трёхместный предикат? И опять там система координат где-то прячется... Спрашивается, как же это классики позволяют себе такие неточности?

 Профиль  
                  
 
 
Сообщение04.12.2006, 00:56 
Аватара пользователя


01/12/06
129
Москва
Someone писал(а):
Нет, не согласен. Там ещё какой-то базис подразумевается, так что значение этого функционального символа зависит от базиса, и обозначение нужно существенно усложнить.

А я вижу из Ваших слов, что Вы со мной согласились.

Конечно, рассматриваемый нами функциональный символ должен зависеть от выбранного базиса (и от выбранного пространства), но если эта зависимость не указывается явно, это не значит, что она отрицается. Ведь это обычное дело в математике — не выписывать зависимость от того, что в данном контексте считается заданным и неизменным. Мой тезис сводится лишь к тому, что круглые и фигурные скобки здесь (у П.С.Александрова) следует понимать как функциональные символы подобно тому, как в теории множеств фигурные скобки могут использоваться для обозначения функционального символа неупорядоченной пары, а круглые (или угловые) скобки — для упорядоченной пары.

Последние Ваши два абзаца опять-таки не затрагивают защищаемый мной тезис. Поэтому если Вы согласитесь со мной в обсуждаемом вопросе, то затем можно будет перейти и к затронутым Вами вопросам.

Добавлено спустя 25 минут 50 секунд:

Someone писал(а):
А у Д.В.Клетеника - это результат подстановки имени точки и имён её координат в трёхместный предикат?

Что касается Д.В.Клетеника, то у него имеется досадная ошибка, только непонятно, это ошибка в русском языке или в математике. На странице 5 уважаемый автор пишет:

В дальнейшем символ $M(x)$ означает, что точка $M$ имеет координату $x$. Если $M_1 (x_1 )$ и $M_2 (x_2 )$ — две произвольные точки прямой...

Правильно следует читать этот текст так

В дальнейшем выражение (терм) $M(x)$ означает точку $M$, имеющую координату $x$. Если $M(x_1 )$ и $M(x_2 )$ — две произвольные точки прямой...

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

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



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

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


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

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