20737

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

Доклад

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

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

Русский

2013-07-31

101 KB

116 чел.

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

Вопрос №11

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

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

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

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

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

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

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

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

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

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

  и   

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

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

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

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

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

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

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

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

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


 

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

29626. Обработка данных социометрического опроса: социограммы 26.5 KB
  Графическое изображение связей внутри коллектива устанавливаемых на основании выбора называется социограммой. Его выделение важно при изучении функциональных связей рабочего коллектива или эмоциональнопсихологических связей симпатий внутри коллектива. Связь между двумя элементами – Диада структура очень часто наблюдаемая в небольших коллективах например в форме совместной деятельности а также как дружеские и доверительные связи между двумя людьми. В круговых социограммах все члены коллектива располагаются по окружности внутри...
29627. Метод тестов в социологическом исследовании. Назначение, опыт использования 23.5 KB
  Родоночальник Кендал Тесты :1 гомогенные отдельные св ва личности система заданий в которых чел должен выбрать конкретный вариант поведения 2 гетерогенные – оценивают совокупность личностных свв в соответствии с теорией. Изменения в тесты не рекомендуется делать. Проективная методика и тесты это совть методик основ. На результатов интерпретации Могут делиться на ряд групп: А Ассоциативные тесты анализ ситуации Методика незаконченных предложений Методика симантический дифференциал Б интерпретационные тесты – тест ТАД истолкование...
29628. Обработка данных социологического исследования: метод группировки 24.5 KB
  Простая группировка это классификация или упорядочение данных по одному признаку. Перекрестная группировка это связывание данных предвари тельно упорядоченных по двум признакам свойствам показате лям с целью: а обнаружить какието взаимозависимости; б осуществить взаимоконтроль показателей сформировать новый составной показатель определить направление связей влияния одного явления на другое. Анализ эмпирических данных согласно теоретической типологии предпо лагает вопервых определение частот распределения по каждому типу;...
29629. Подготовка отчета по результатам исследования. Требования к отчету 33.5 KB
  Административнофинансовое: по отчету определяются объем сроки содержание уровень качество выполненных работ затраты эффективность используемых средств Типы отчетов: По типу исследования По отношению к объему выполненных работ По автору По функциональному назначению Отчет о результатах фундаментального исследования Отчет о результатах прикладного исследования Итоговый Этапный промежуточный Отчет по направлению разделу Отчет по выполненному виду работ Монографический коллективный Итоговый полный Краткий резюме По целевому...
29630. Выборочный метод в социологическом исследовании. Основные понятия выборочного метода 27 KB
  Одной из задач которые стоят перед социологом при проведении исследования является сбор необходимых эмпирических данных об объекте исследования. Множество элементов составляющих объект исследования называют генеральной совокупностью ГС. Основная идея выборочного метода заключается в том чтобы закономерности полученные при изучении относительно небольшой группы людей ВС распространить на весь объект исследования ГС. Выборочный метод позволяет не только сократить временные и материальные затраты на...
29631. Объем выборки, факторы, влияющие на объем выборочной совокупности 21 KB
  Существует способы математического определения для объёма выборки. Опытным путём установлено что объём выборки колеблется от 3961000 1200 человек. Чем более дробный мы предполагаем сделать анализ тем при прочих равных условиях мы должны брать большой объём выборки.
29632. Класс строго вероятностных способов формирования выборочной совокупности. Механический отбор 26.5 KB
  Способы построения выборки делятся на 2 крупных класса: Случайные вероятностные – это такие способы отбора когда каждый элемент генеральной совокупности имеет известную чаще всего равную вероятность быть выбранным. Для реализации случайного отбора необходимо иметь основу выборки списки элементов генеральной совокупности. Строго говоря лишь вероятностные выборки являются репрезентативными следовательно только для них может быть рассчитана статистическая погрешность. Механический отбор где элементы генеральной совокупности...
29633. Класс строго вероятностных способов формирования выборочной совокупности. Гнездовой отбор 52 KB
  Гнездовой отбор. Способы построения выборки делятся на 2 крупных класса: Случайные вероятностные – это такие способы отбора когда каждый элемент генеральной совокупности имеет известную чаще всего равную вероятность быть выбранным. Неслучайные – все остальные способы отбора. Для реализации случайного отбора необходимо иметь основу выборки списки элементов генеральной совокупности.
29634. Квотная выборка в социологическом исследовании 24 KB
  Способы построения выборки делятся на 2 крупных класса: Случайные вероятностные – это такие способы отбора когда каждый элемент генеральной совокупности имеет известную чаще всего равную вероятность быть выбранным. Неслучайные – все остальные способы отбора. Для реализации случайного отбора необходимо иметь основу выборки списки элементов генеральной совокупности. К вероятностным способам отбора относят: Простой случайный отбор в рамках которого элементы отбираются либо с помощью таблицы случайных чисел либо с помощью...