20737

Система аксиом Вейля трехмерного евклидова пространства и ее непротиворечивость

Доклад

Математика и математический анализ

Геометрия Вопрос №11 Система аксиом Вейля трехмерного евклидова пространства и ее непротиворечивость Пусть трехмерное векторное пространство на полем вещественных чисел а непустое множество элементы которого называются точками. Предполагается также что дано множество отображений каждое из которых является отображением вида . Множество называется трехмерным вещественным евклидовым пространством если выполнены следующие аксиомы. Множество является множеством положительноопределенных билинейных форм таких что если то где .

Русский

2013-07-31

101 KB

129 чел.

ГАК. Геометрия

Вопрос №11

Система аксиом Вейля трехмерного евклидова пространства

и ее непротиворечивость

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

Множество  называется трехмерным вещественным евклидовым пространством , если выполнены следующие аксиомы.

  1.  Для каждой из точек А и Е и произвольного вектора  из  существует одно и только одна точка Х, такая что .
  2.  Для любых точек А, В и С выполняется равенство .
  3.  Множество  является множеством положительно-определенных билинейных форм, таких, что если , то , где . Другими словами, в пространстве  дана положительно-определенная билинейная форма с точностью до положительного числового множителя.

Аксиомы 1-2 определяют структуру трехмерного вещественного аффинного пространства  (с пространством переносов ).

Т.о., базовой структуры евклидова пространства  служит тройка множеств , ,, где  -множество точек, - трехмерное векторное пространство над полем , а - поле вещественных чисел.

Следовательно,  структура  определяется всего лишь тремя аксиомами Вейля 1-3. Эту систему обозначают через .

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

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

  и   

Множество g положительно – определенных билинейных форм определим так. Введем в рассмотрение билинейную форму , где  и , и рассмотрим множество , где  - любое действительное число. Очевидно, что при этом выполняется аксиома 3 Вейля.

Точкой назовем любую строчку вида , где - произвольные действительные числа.

Отображение  определим так .

Убедимся в том, что в построенной интерпретации выполняются аксиомы 1 – 2 Вейля.

Аксиома1.  Пусть   - произвольная точка,  - произвольный вектор. Мы должны доказать, что существует одна и только одна точка  , такая что , или в терминах нашей интерпретации . Ясно, что существует одна и только одна тройка чисел  удовлетворяющая этим равенствам, поэтому в построенной интерпретации выполнена аксиома 1.

Аксиома 2. Пусть  , ,  - произвольные точки. Тогда имеем: , ,

Простым подсчетом убеждаемся в том что  .

Итак доказана следующая теорема.

Система аксиом 1 – 3 Вейля непротиворечива, если непротиворечива арифметика вещественных чисел.


 

А также другие работы, которые могут Вас заинтересовать

82159. Театрализованный вечер «This is Barbara», посвященный юбилею Барбары Стрейзанд 9.48 MB
  Барбара Стрейзанд совершала собственные революции, нарушая каноны и попирая традиции. Актриса преодолела все: скепсис, недоверие, усмешки, отказы. И добилась не только славы, но и репутации красавицы. И это действительно красота – красота таланта.
82160. Психокоррекция личностной тревожности у подростков с легкой степенью умственной отсталости 1.6 MB
  Внимание к проблемам детей с интеллектуальной недостаточностью, вызвано тем, что их количество не уменьшается. Об этом свидетельствуют статистические данные по всем странам мира. Это обстоятельство делает первостепенным вопрос о создании условий для максимальной коррекции нарушений в развитии детей данной категории.
82161. СПЕЦИФІЧНІ РИСИ ПОРТРЕТНОГО ФОТОНАРИСУ В ГАЗЕТНІЙ ТА ЖУРНАЛЬНІЙ ПЕРІОДИЦІ ЗМІ НА ПРИКЛАДІ ГАЗЕТИ «МИГ» ТА ЖУРНАЛУ «ЛИЧНОСТИ» 90.23 KB
  Сюжетна завершеність фотонарису свідчить про те що в ньому знаходить завершення образу героя або публіцистична ідея але зовсім не вичерпується тема. Автори показують свого героя на прогулянці із внучкою у заводському цеху у Кремлі відзначають що Сорокін не тільки майстер своєї справи але й турботливий вихователь...
82162. Анализ общей и специальной физической подготовки спортсменов в айкидо и карате 2.37 MB
  Проведя анализ общих и специальных физических упражнений в каратэ и айкидо на основе личного опыта и из разнообразных источников, я пришел к выводу, что многие тренеры (сэнсэй2) пренебрегают разминкой и в большинстве случаев не имеют четкой методической последовательности при проведении разминки.
82163. Разработка отладчика для программ на языке haXe и целевой платформы Adobe Flash 9 2 MB
  По указанным причинам, стало удобно и выгодно создавать web-приложения, направленные на предоставление пользователю функций, которые могут не зависеть от операционной системы. В качестве примера можно привести редактирование текстовых документов, обработку фотографий, показ презентаций...
82164. Государственная социальная политика и социальное развитие Кубы в 1970-х – 2000-х годах 997 KB
  В нашей стране Куба всегда вызывала большой интерес так как с этой страной ее на протяжении многих десятилетий связывали крепкие дружественные связи. Приступая к построению нового общества Республика Куба располагала весьма ограниченными материальными возможностями для одновременного решения...
82165. ВЛИЯНИЕ РАЗЛИЧНЫХ ТИПОВ СОКРАТИЧЕСКОГО ДИАЛОГА НА ГЕНЕЗ ПРЕДСТАВЛЕНИЙ ДЕТЕЙ СТАРШЕГО ДОШКОЛЬНОГО ВОЗРАСТА О ДРУЖБЕ 268 KB
  В нашем беспокойном веке, который очень схож со временем Сократа по своему пристрастию к слову и властью его над людьми, а также полифоничностью самой эпохи, необходимо искать разумные способы употребления слова, уходить от монологического понимания риторики и искать диалогического общения...
82166. Совершенствование организации быстрого питания в условиях развивающегося рынка на примере трактира «Сани» 1022.5 KB
  В состав компании «Даско» помимо шести ресторанов различного формата ( от предприятия на фуд-корте торгового центра до элитного заведения, любимого представителями финансовых верхов республики и культурной богемой) входит дистрибьюторская компания, занимающаяся оптовыми поставками алкогольной продукции
82167. Нейросетевые технологии распознавания пиксельных изображений 578.33 KB
  Автоматическое (машинное) распознавание, описание, классификация и группирование образов – важные задачи в большом количестве инженерных и научных областей, таких как биология, физиология, медицина, маркетинг, компьютерное зрение, искусственный интеллект. Введем понятие образа.