20737

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

Доклад

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

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

Русский

2013-07-31

101 KB

123 чел.

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

Вопрос №11

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

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

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

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

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

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

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

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

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

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

  и   

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

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

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

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

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

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

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

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

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


 

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

12068. Платежный баланс страны (на примере Казахстана) 478.5 KB
  Платежный баланс страны на примере Казахстана Содержание Введение 1 Платежный баланс страны его роль и значение 1.1 Сущность и структура платежного баланса ...
12069. Анализ потребительского кредитования на примере ОАО «Русский Банк Развития» 417 KB
  Введение Актуальность темы дипломного исследования определяется тем что в условиях перехода к рыночной экономике в России существенно изменились состав и структура денежных доходов населения. В частности увеличился временной интервал необходимый для накопления оп
12070. Совершенствование системы управления человеческими ресурсами ОАО АИКБ «Татфондбанк» 379.5 KB
  Введение На рубеже XXI века в экономически развитых странах родилась характерная для новой эпохи постиндустриального развития новая стратегия управления предприятиями краеугольным камнем которой является решающая роль человека в их деятельности. Трудовые ресурсы а...
12071. Проектирование решения по оптимизации кадрового состава АКБ «АЛТАЙ - БАНК» 256 KB
  Введение Актуальность изучения разработки управленческих решений по оптимизации кадрового состава банка состоит в том что одна из основных и наиболее ответственных функций выполняемых руководителем в процессе управления принятие решений. Целью написания наст
12072. Удосконалення формування розподілу прибутку підприємства при зовнішньоекономічній діяльності (за матеріалами ТОВ «Банк Ренесанс Капітал») 481.5 KB
  ДИПЛОМНА РОБОТА на тему: Удосконалення формування розподілу прибутку підприємства при зовнішньоекономічній діяльності за матеріалами ТОВ Банк Ренесанс Капітал ВСТУП Проблематика трансформаційних процесів вимагає наукового розвязання сучасних екон
12073. АНАЛИЗ СОВРЕМЕННОЙ ПРАКТИКИ КРЕДИТОВАНИЯ ФИЗИЧЕСКИХ ЛИЦ В СБЕРЕГАТЕЛЬНОМ БАНКЕ РФ НА ПРИМЕРЕ ДОПОЛНИТЕЛЬНОГО ОФИСА № 203 АКБ СБ РФ ОАО ГОРОДСКОЕ ОТДЕЛЕНИЕ № 2363 Г.НОВОКУЗНЕЦК 587 KB
  ВВЕДЕНИЕ В условиях перехода экономики России к рыночным отношениям развитие потребительского кредитования приобретает все большее значение. Коммерческий банк выдавая потребительский кредит способствует в первую очередь решению финансов...
12074. Расчёты потребности механообрабатывающего цеха в материальных, трудовых ресурсах 935.5 KB
  СОДЕРЖАНИЕ Введение 1 Краткое описание объектов производства и их технологических процессов 2 Планирование производства продукции 3 Расчет потребности в оборудовании и его загрузки ...
12075. Учет и аудит расчетов по оплате труда в бюджетных организациях 622.5 KB
  ДИПЛОМНАЯ РАБОТА На тему Учет и аудит расчетов по оплате труда в бюджетных организациях Аннотация Дипломная работа состоит из введения 3х глав заключения списка используемой литературы. Во введении обосновывается актуальность темы определяются цели и ...
12076. Причины реформирования бюджетной системы и последние поправки к БК РФ 167.5 KB
  Введение. В формировании и развитии экономической структуры современного общества ведущую определяющую роль играет государственное регулирование осуществляемое в рамках избранной властью экономической политики. Одним из наиболее важных ме...