Главная > Числовые системы
НАПИШУ ВСЁ ЧТО ЗАДАЛИ
СЕКРЕТНЫЙ БОТ В ТЕЛЕГЕ
<< Предыдущий параграф Следующий параграф >>
Пред.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
След.
Макеты страниц

Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO

4.11. Аксиома минимальности

Определение 4.11.1. Пусть имеется класс К каких-нибудь множеств. Под минимальным множеством класса К понимают Множество в случае, если:

Пример 4.11.1. Введем обозначения. Буквой Р будем обозначать множество всех простых чисел, а через для каждого натурального k — множество натуральных чисел, кратных k.

Класс Т множеств натуральных чисел определим так. К классу Т отнесем множество М в случае, если:

Легко видеть, что входят, например, в класс Т. При этом множество является минимальным в классе Т, так любое его собственное подмножество не входит в класс Т.

Пример 4.11.2, Рассмотрим класс систем с отношениями таких, что для каждой из них выполняются аксиомы

(4.11.2)

Всякое минимальное множество этого класса есть система натуральных чисел. В самом деле, пусть — минимальное множество класса . Аксиомы на выполняются. Покажем, что на выполняется. Пусть А — какое угодно подмножество удовлетворяющее условиям:

В таком случае выполняются на А, во-первых, аксиомы в силу указанных условий и, во-вторых, аксиомы так как они выполняются на любом подмножестве Таким образом, при наших предположениях в силу минимальности . Другими славами, и аксиома выполняется на

Наоборот, система натуральных чисел является минимальным множеством в классе Действительно, так как аксиомы N и выполнены. Пусть теперь М — подмножество N такое, что Тогда:

1) , так как аксиома выполняется на М;

2) , так как аксиома выполняется на М. Но на N выполнена аксиома индукции, а потому M=N.

Итак, — минимальное множество в классе

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

Пример 4.11.3. Пусть — подкольцо (подтело) кольца элемент В. Рассмотрим класс всех подколец (подтел) кольца В с условием, что для всякого из К множество В содержит А и элемент . Этот класс не пуст, и пересечение всех колец класса К снова, как легко видеть (вопросы 2.6.4 и 2.6.5), принадлежит К и даже является минимальным множеством этого класса.

Определения 4.11.2 и 4.11.3. Пусть — кольцо, — его подкольцо (подтело), .

Кольцом (телом) t полученным путем присоединения к кольцу (телу) к элемента называют минимальное кольцо в классе К всех подколец (подтел) кольца В с условием, что для всякой системы из К множество содержит А и элемент

Обозначения. — кольцо, полученное путем присоединения к кольцу А элемента — тело, полученное путем присоединения к телу А элемента Полагают далее: .

Определение 4.11.4 и 4.11.5. Пусть линейная алгебра над полем — подполе системы — элементы множества А. Линейной алгеброй, полученной путем присоединения к полю Р элемента (элементов , называют пересечение всех линейных подалгебр алгебры А, содержащих поле Р и элемент (элементы .

Вопрос 4.11.1. Пусть линейная алгебра над полем — подполе системы . Обозначим символом линейную алгебру, полученную путем присоединения к полю Р элемента (элементов . Доказать, что:

1
Оглавление
email@scask.ru