Вы находитесь на странице: 1из 80

Mathematics Theory

Содержание

Статьи

Таблица математических символов

1

Математические обозначения

6

Глоссарий теории групп

13

Статистика

23

Список математических аббревиатур

29

Теория групп

33

Представление группы

43

Теория категорий

45

Квантор

50

Норма (математика)

52

Определитель

56

Вектор (математика)

59

Векторное пространство

62

Теория множеств

66

Примечания

Источники и основные авторы

76

Источники, лицензии и редакторы изображений

77

Лицензии статей

Лицензия

78

Таблица математических символов

1

Таблица математических символов

В математике повсеместно используются символы для упрощения и сокращения текста. Ниже приведён список наиболее часто встречающихся математических обозначений, соответствующие команды в TeX, объяснения и примеры использования.

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

Знаки операций, или математические символы знаки, которые символизируют определённые математические действия со своими аргументами.

К самым распространённым относятся:

Плюс: +

Минус:

Знаки умножения: ×, (в программировании также *)

Знаки деления: :, /, , ÷

Знак равенства, приближённого равенства, неравенства: =, ,

Скобки (для определения порядка операций и др.): (), [], {}, <>

• Знак тождественности:

Знаки сравнения: <, >, , , ,

• Знак порядка (тильда): ~

Знак корня (радикал):

Знак возведения в степень: ^ (в типографской и рукописной записи формул не применяется; используется в программировании, наряду с более редкими символами и **, а также в «линейной» текстовой записи формул).

обозначает тотекстовой записи формул). имвол ( TeX ) Символ Название

записи формул). обозначает то имвол ( TeX ) Символ Название

имвол (TeX)

Символ

Название

 

Значение

 
   

Произношение

 

Раздел математики

⇒ Импликация , следование означает «если верно, то также верно».

Импликация, следование

⇒ Импликация , следование означает «если верно, то также верно».

означает «если

Импликация , следование означает «если верно, то также верно».  

верно, то

также верно».

также верно».

 
→ ( → может использоваться вместо ⇒ или для обозначения функции,

(может использоваться вместо или для обозначения функции,

⊃ «влечёт» или «если … , то» см. ниже. ) ( ⊃ может использоваться

«влечёт» или «если, то»

см. ниже.) (может использоваться вместо , или для обозначения надмножества, см. ниже.).

 

везде

⇔ Равносильность означает « верно тогда и только тогда, когда

⇔ Равносильность означает « верно тогда и только тогда, когда

означает «

верно тогда и только тогда, когда

верно тогда и только тогда, когда

означает « верно тогда и только тогда, когда верно».

верно».

«если и только если» или «равносильно»

 

везде

∧ Конъюнкция истинно тогда и только тогда, когда и оба истинны.

истинно тогда и только тогда, когда

истинно тогда и только тогда, когда

и
и
оба истинны.

оба истинны.

«и»

 

Пример

Математическая логика Пример неверно (так как решением). верно,

неверно (так как решением).

верно, но

(так как решением). верно, но также является натуральное

также является

как решением). верно, но также является натуральное число . , если —
как решением). верно, но также является натуральное число . , если —

, если

как решением). верно, но также является натуральное число . , если —

Таблица математических символов

2

∨ Дизъюнкция истинно, когда хотя бы одно из условий и истинно.

истинно, когда хотя бы одно из условий и истинно.

истинно, когда хотя бы одно из условий

и
и
истинно, когда хотя бы одно из условий и истинно.

истинно.

 

«или»

 
¬ Отрицание истинно тогда и только тогда, когда ложно .  

¬

истинно тогда и только тогда, когда ложно .

истинно тогда и только тогда, когда ложно

.
.
 

«не»

 
∀ Квантор всеобщности обозначает « верно для всех ».  

обозначает « верно для всех ».

обозначает «

обозначает « верно для всех ».

верно для всех

обозначает « верно для всех ».

».

 

«Для любых», «Для всех», «Для всякого»

 
∃ Квантор существования » означает «существует хотя бы один

»
»

означает «существует хотя бы один

» означает «существует хотя бы один такой, что верно

такой, что верно

 

«существует»

 
= Равенство обозначает « и обозначают одно и то же значение».  

=

обозначает « и обозначают одно и то же значение».

обозначает «

и
и

обозначают одно и то же значение».

 

«равно»

 
:= везде Определение означает « по определению равен ».

:=

везде

означает « по определению равен

означает «

означает « по определению равен

по определению равен

».

».

:

 

означает «

по определению равносильно

»
»
 

«равно/равносильно по

определению»

 
 

везде

{ , } Множество элементов и . означает множество , элементами

{ ,

}

Множество элементов

и .
и
.

означает множество, элементами которого являются

,
,
 

«Множество»

 

Теория множеств

{ | } Множество элементов, означает множество всех таких, что верно

{ |

}

Множество элементов,

означает множество всех

означает множество всех

таких, что верно .

таких, что верно

.
.
 
{ : } удовлетворяющих условию  

{ :

}

удовлетворяющих условию

 
 

«Множество всехтаких, что верно»

Теория множеств

∅ Пустое множество и означают множество, не содержащее ни

и
и

означают множество, не содержащее ни одного элемента.

 

{}

«Пустое множество»

 
 

Теория множеств

∈ Принадлежность/непринадлежность является элементом множества

Принадлежность/непринадлежность

является элементом множестване является элементом множества означает « означает « » »

не является элементом множестваявляется элементом множества означает « означает « » »

означает «

означает «

не является элементом множества означает « означает « » »
не является элементом множества означает « означает « » »
» »
»
»
 

к множеству

 

«принадлежит», «из»

 

«не принадлежит»

Теория множеств

⊆ Подмножество ». означает «каждый элемент из обычно означает

».
».

означает «каждый элемент из

обычно означает то же, что и

также является элементом из

также является элементом из

⊂ «является подмножеством», «включено в» . Однако некоторые

«является подмножеством», «включено в»

. Однако некоторые

. Однако некоторые

авторы используют

авторы используют , чтобы показать строгое включение (то есть

, чтобы показать строгое включение (то есть

).
).

Теория множеств

 
есть ). Теория множеств   натуральное число . , если — 1 + 2 =

, если

  натуральное число . , если — 1 + 2 = 6 − 3 (подходит число

  натуральное число . , если — 1 + 2 = 6 − 3 (подходит число
  натуральное число . , если — 1 + 2 = 6 − 3 (подходит число
  натуральное число . , если — 1 + 2 = 6 − 3 (подходит число

1 + 2 = 6 3

(подходит число 5)

— 1 + 2 = 6 − 3 (подходит число 5) (определение гиперболического

(определение

гиперболического косинуса ) исключающего «ИЛИ» ) (определе

(определе

(множество натуральных чисе натуральных чисе

) исключающего «ИЛИ» ) (определе (множество натуральных чисе
) исключающего «ИЛИ» ) (определе (множество натуральных чисе

Таблица математических символов

3

  ⊇ Надмножество
 

⊃ «является надмножеством», «включает в себя»

«является надмножеством», «включает в себя»

 

Теория множеств

  ⊊ Собственное подмножество
 

Собственное подмножество

 

«является собственным

подмножеством», «строго

включается в»

Теория множеств

  ⊋ Собственное надмножество
 

Собственное надмножество

 

«является собственным надмножеством», «строго включает в себя»

Теория множеств

  ∪ Объединение
 

Объединение

 

«Объединение и », «, объединённое с »

Теория множеств

  ⋂ Пересечение
 

Пересечение

 

"Пересечение и ", «, пересечённое с »

Теория множеств

  \ Разность множеств
 

\

Разность множеств

 

«разность и », «минус», «без »

Теория множеств

  → Функция (отображение)
 

Функция (отображение)

 

«из в »,

везде

  ↦ Отображение
 

 

«отображается в»

везде

N или ℕ Натуральные числа

N

или

 

«Эн»

Z или ℤ Целые числа

Z

или

 

«Зед»

Q или ℚ Рациональные числа

Q

или

 

«Ку» или «Къю»

».
».

означает «каждый элемент из

». означает «каждый элемент из также является элементом из

также является элементом из

». означает «каждый элемент из также является элементом из

обычно означает то же, что и

обычно означает то же, что и . Однако некоторые

. Однако некоторые

авторы используют

авторы используют , чтобы показать строгое включение (то есть ).

, чтобы показать строгое включение (то есть

).
).

означаети .

и
и
.
.
означает и .

означаети .

и
и
.
.
означает и .
означает множество элементов, принадлежащих (или обоим сразу). или

означает множество элементов, принадлежащих (или обоим сразу).

означает множество элементов, принадлежащих (или обоим сразу). или

или

означает множество элементов, принадлежащих (или обоим сразу). или
означает множество элементов, принадлежащих (или обоим сразу). или
означает множество элементов, принадлежащих и , и .

означает множество элементов, принадлежащих и

означает множество элементов, принадлежащих и , и .

, и

.
.
означает множество элементов, принадлежащих и , и .
означает множество элементов, принадлежащих , но не

означает множество элементов, принадлежащих

означает множество элементов, принадлежащих , но не

, но не

означает множество элементов, принадлежащих , но не

принадлежащих

.
.
означает функцию с областью определения и

означает функцию

означает функцию с областью определения и
и
и
Функция
Функция

, определённая как

.
.
будет .
будет
.

означает, что образом

будет . означает, что образом после применения функции

после применения функции

после применения функции Функцию, определённую как ,

Функцию, определённую как

, можно

записать так:

записать так:
означает множество или реже (в зависимости от ситуации).

означает множество

или реже

(в зависимости от ситуации).

означает множество или реже (в зависимости от ситуации).
означает множество

означает множество

означает множество
означает множество
означает

означает

означает
означает

Таблица математических символов

4

R или ℝ

R

или

C или ℂ

C

или

H или

H или

H или
  <
 

<

  >  
 

>

 

или

или ≤ или

или

или ≥ или

  ≈  
 

 
√

∞

| |

|

|

∑  

 
∏

«Эр»

«Це»

«Аш»

Сравнение

«меньше чем», «больше чем»

Сравнение

«меньше или равно»; «больше или равно»

Приблизительное равенство

«приблизительно равно»

Арифметический квадратный корень

«Корень квадратный из »

«Плюс/минус бесконечность»

Абсолютная величина (абсолютное значение, модуль) числа, или мощность множества

«Модуль»; «Мощность»

Числа и Теория множеств

Сумма (набора чисел), сумма ряда

«Сумма по от до »

«Произведение по от до »

означает множество всех пределов последовательностей из пределов последовательностей из

последовательностей из — мнимая единица : ) означает
)
)

означает множествоиз — мнимая единица : ) означает множество обозначает,

единица : ) означает множество означает множество обозначает,
единица : ) означает множество означает множество обозначает,
означает множество
означает множество

обозначает, чтомножество означает множество строго меньше . . строго больше

множество обозначает, что строго меньше . . строго больше

строго меньше

. .
.
.

строго большеобозначает, что строго меньше . . означает, что означает, что

означает, что

означает, что. . строго больше означает, что означает, что меньше или равен

означает, чтоозначает, что означает, что меньше или равен больше или

меньше или равенчто означает, что означает, что больше или равен . . с точностью

больше или равенозначает, что меньше или равен . . с точностью до 10 − 3

. .
.
.

с точностью до 10 − 3 означает, что 2,718 отличается от 3 означает, что 2,718 отличается от

больше чем на 10 3 .

от больше чем на 10 − 3 . не с точностью до 10 − 7 .

не

с точностью до 10 − 7 . 7 .

− 3 . не с точностью до 10 − 7 . означает неотрицательное
− 3 . не с точностью до 10 − 7 . означает неотрицательное
− 3 . не с точностью до 10 − 7 . означает неотрицательное
− 3 . не с точностью до 10 − 7 . означает неотрицательное

означает неотрицательное действительное число, которое в− 3 . не с точностью до 10 − 7 . квадрате даёт . и суть

квадрате даёт

.
.
и
и

суть элементы расширенного множества действительных

чисел. Эти символы обозначают числа, меньшее/большее всех действительных чисел.

обозначает абсолютную величину обозначает мощность множества

обозначает абсолютную величину

обозначает мощность множества

.
.

и равняется, если

конечно,

конечно,

числу элементов

.
.
означает «сумма

означает «сумма

означает «сумма

, где

принимает значения от 1 до

принимает значения от 1 до

означает «сумма , где принимает значения от 1 до », то

», то

есть

.

означает сумму ряда, состоящего из

означает сумму ряда, состоящего из

.
.

означает «произведение. означает сумму ряда, состоящего из . для всех от 1 до », то есть

состоящего из . означает «произведение для всех от 1 до », то есть

для всехряда, состоящего из . означает «произведение от 1 до », то есть

от 1 доряда, состоящего из . означает «произведение для всех », то есть

состоящего из . означает «произведение для всех от 1 до », то есть

», то есть

Таблица математических символов

5

математических символов 5 ! Факториал   « факториал»

!

 

«

« факториал»

факториал»

 

«Интеграл (от до ) функции

по (или d)»

 
 

«Частная производная по »

Производная

-го порядка

«

« -я производная … по … »

-я производная по »

«Производная … по … » по »

df/dx

f'(x)

«Производная … по … » df/dx f'(x) ∂ f/ ∂ y d n f/dx n f

f/y

… по … » df/dx f'(x) ∂ f/ ∂ y d n f/dx n f (

d n f/dx n

f (n) (x)

означает произведение всех натуральных чисел от 1 доf'(x) ∂ f/ ∂ y d n f/dx n f ( n ) (x) включительно, то

включительно, то есть

от 1 до включительно, то есть означает «интеграл от
от 1 до включительно, то есть означает «интеграл от
от 1 до включительно, то есть означает «интеграл от

означает «интеграл от

переменной

«интеграл от переменной ». до функции от по или

».

до
до

функции

от
от

по

или переменной ».
или
переменной
».

означает «(первая) производная функции

по«(первая) производная функции означает «(первая) частная

«(первая) производная функции по означает «(первая) частная

означает «(первая) частная производная функции

от переменных

функции от переменных по переменной ». или (во втором

по переменной

от переменных по переменной ». или (во втором случае если —

».

от переменных по переменной ». или (во втором случае если —

илиот переменных по переменной ». (во втором случае если —

переменных по переменной ». или (во втором случае если —

(во втором случае если

». или (во втором случае если — фиксированное число, то оно

фиксированное число,

если — фиксированное число, то оно пишется римскими цифрами

то оно пишется римскими цифрами) означает « -я производная

) означает « -я производная функции от по переменной ».
) означает « -я производная функции от по переменной ».

функции от по переменной ».

функции от по переменной ». Литература • Выгодский М. Я.
функции от по переменной ». Литература • Выгодский М. Я.
функции от по переменной ». Литература • Выгодский М. Я.
функции от по переменной ». Литература • Выгодский М. Я.
функции от по переменной ». Литература • Выгодский М. Я.
функции от по переменной ». Литература • Выгодский М. Я.

Литература

Выгодский М. Я. Справочник по элементарной математике. Изд. АСТ, 2003, ISBN 5-17-009554-6.

Ссылки

Математические обозначения

6

Математические обозначения

Математические обозначения («язык математики») сложная графическая система обозначений, служащая для изложения абстрактных математических идей и суждений в человеко-читаемой форме. Составляет (по своей сложности и разнообразию) значительную долю неречевых знаковых систем, применяемых человечеством. В данной статье описывается общепринятая международная система обозначений, хотя различные культуры прошлого имели свои собственные, и некоторые из них даже имеют ограниченное применение до сих пор.

Отметим, что математические обозначения, как правило, применяются совместно с письменной формой какого-то из естественных языков.

Помимо фундаментальной и прикладной математики, математические обозначения имеют широкое применение в физике, а также (в неполном своём объёме) в инженерии, информатике, экономике, да и вообще во всех областях человеческой деятельности, где применяются математические модели. Различия между собственно математическим и прикладным стилем обозначений будут оговорены по ходу текста.

Общие сведения

Система складывалась, наподобие естественных языков, исторически (см. история математических обозначений), и организована наподобие письменности естественных языков, заимствуя оттуда также многие символы (прежде всего, из латинского и греческого алфавитов). Символы, также как и в обычной письменности, изображаются контрастными линиями на равномерном фоне (чёрные на белой бумаге, светлые на тёмной доске, контрастные на мониторе и т. д.), и значение их определяется в первую очередь формой и взаимным расположением. Цвет во внимание не принимается и обычно не используется, но, при использовании букв, такие их характеристики как начертание и даже гарнитура, не влияющие на смысл в обычной письменности, в математических обозначениях могут играть смыслоразличающую роль.

Структура

Обыкновенные математические обозначения (в частности, так называемые математические формулы) пишутся в общем в строку слева направо, однако не обязательно составляют последовательную строку символов. Отдельные блоки символов могут располагаться в верхней или нижней половине строки, даже в случае, когда символы не перекрываются вертикалями. Также, некоторые части располагаются целиком выше или ниже строки. С грамматической же стороны почти любую «формулу» можно считать иерархически организованной структурой типа дерева.

Стандартизация

Математические обозначения представляют систему в смысле взаимосвязи своих компонент, но, в целом, не составляют формальную систему (в понимании самой математики). Они, в сколь-нибудь сложном случае, не могут быть даже разобраны программно. Как и любой естественный язык, «язык математики» полон несогласованных обозначений, омографов, различных (в среде своих носителей) трактовок того что́ считать правильным и т. п. Нет даже сколь-нибудь обозримого алфавита математических символов, и в частности оттого, что не всегда однозначно решается вопрос, считать ли два обозначения разными символами или же разными написаниями одного символа.

Некоторая часть математических обозначений (в основном, связанная с измерениями) стандартизована в ISO 31-11, однако в целом стандартизация обозначений скорее отсутствует.

Математические обозначения

7

Элементы математических обозначений

Числа

Для записи целых чисел как правило применяется десятичная система счисления с арабскими цифрами. Подряд записанная строка цифр интерпретируется как число; возможные исключения оговорены ниже.

При необходимости применить систему счисления с основанием, меньшим десяти, основание записывается в нижний индекс: 20003 8 . Системы счисления с основаниями, бо́льшими десяти, в общепринятой математической записи не применяются (хотя, разумеется, изучаются самой наукой), поскольку для них не хватает цифр. В связи с развитием информатики, стала актуальной шестнадцатеричная система счисления, в которой цифры от 10 до 15 обозначаются первыми шестью латинскими буквами от A до F. Для обозначения таких чисел в информатике используется несколько разных подходов, но в математику они не перенесены.

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

В приложениях очень большие или очень малые (по абсолютной величине) часто записываются в экспоненциальной записи: . Иногда (особенно вычислители) вместо «умножить на десять в степени»

«умножить на десять в степени» пишут букву «E»,, то есть , но в

пишут букву «E»,, то есть , но в большинстве областей (включая чистую математику)

такая запись не употребляется. Математика же стремится более к точности чем к лёгкости обозначений, и поэтому нужное число по мере возможности будет записано в виде выражения, нежели приближённо.

Атомарные символы

Из буквенных символов употребляются, в основном, латинские и греческие буквы. Регистр важен. Латинские буквы I (прописное «ай») и l (строчное «эл») в прямом начертании пишутся с засечками, дабы не путались с вертикальной палкой и друг с другом, и вообще стремятся использовать начертания, как можно меньше похожие на другие используемые символы. Готические буквы считаются отдельными буквами. В принципе, никаких ограничений на используемые алфавиты нет.

Также можно считать атомарными записанные латинскими буквами слова общепринятые обозначения некоторых функций и операторов, например «log» (на письме они не разбиваются пробелами, не переносятся и т. д.); см. список математических аббревиатур. Такие слова записываются прямым (не курсивным) шрифтом строчными буквами (за исключением, возможно, первой буквы, которая может быть прописной). Существуют также диграфы, состоящие из нелатинских символов.

Не стоит использовать символы вроде «Ȉ» (английское «ай» с точками), так как подобные символы могут быть легко перепутаны с производными (см.ниже).

Математические обозначения

8

Скобки, подобные им символы и разделители

Круглые скобки () используются как для группировки (указания последовательности операций) (см. Математическая формула#Приоритет операций для подробного объяснения), так и в синтаксисе функций. У них есть и другие назначения.

Квадратные скобки [ ] нередко применяются в значении группировки, когда приходится использовать много пар скобок. В таком случае они ставятся снаружи и (при аккуратной типографике) имеют бо́льшую высоту, чем скобки, стоя́щие внутри.

круглые скобки используются при обозначении закрытых и открытых промежутков

соответственно.

Фигурные скобки { } используются, как правило, для определения множеств, хотя в отношении них справедлива та же оговорка что и для квадратных скобок. См. также #«И» и «или» при записи уравнений для значения непарных левой фигурной «{» и левой квадратной «[» скобок.

Квадратные

и

«[» скобок. Квадратные и Символы угловых скобок при

Символы угловых скобок при аккуратной типографике должны иметь тупые углы и тем отличаться от

схожих символов неравенства, имеющих прямой или острый угол. На практике же на это не следует надеяться (особенно, при ручной записи формул) и различать их приходится при помощи интуиции. Часто используются пары симметричных (относительно вертикальной оси) символов, в том числе и отличных от перечисленных, для выделения куска формулы. См. раздел #Конструкции с использованием зеркальных (парных) символов для объяснения значения разнообразных скобок, отличного от группировки.

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

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

конструкциях или же обозначением начала/конца матрицы.

начала/конца матрицы . Индексы Часто используются то,

Индексы

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

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

Взаимное расположение

Итак, основные модели расположения символов:

••

В строку

••

В несколько связанных строк (см. например это)

••

Внутри скобок (возможны случаи расположения как в один ряд, так и в несколько)

••

Строка символов сверху или снизу от расположенного в строке символа (обычно, увеличенного размера)

Строка символов меньшей высоты (кегля) пишется справа вверху или справа внизу от символа большей высоты (см. #Индексы)

Две подстроки друг над другом, разделённые горизонтальным прямым отрезком значение см. в (Математическая формула#Деление)

Математические обозначения

9

Синтаксис

Константы

Константы величины, фиксированные уже на момент записи формулы, в частности числовые. О записи

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

в виде арифметического выражения, например

Если записываемое число заведомо является рациональным, то в математике в подавляющем большинстве случаев оно будет записано точно, то есть, как правило, в виде простой дроби (если число нецело).

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

Комплексное число может быть записано как

применена запись через аргумент и модуль комплексного числа.

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

в чистой математике ничем не отличается от записи любых иных выражений.

Ряд математических констант имеют буквенные именные обозначения см. число Пи ( ), число Эйлера (

.
.
см. число Пи ( ), число Эйлера ( . , где a и b — вещественные

, где a

и b вещественные константы, но может быть

константы, но может быть ) и ряд других . В науках,
)
)

и

В

науках,

использующих

математический

аппарат,

существует

множество

своих

именованных и обозначаемых буквами констант. Например, см. Фундаментальные физические постоянные.

Переменные

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

переменной величиной (вариантой), или только одно значение и называться константой. В математике от физического смысла величины часто отвлекаются, и тогда переменная величина превращается в отвлечённую (или числовую) переменную, обозначаемую каким-нибудь символом, не занятым специальными обозначениями, о которых было сказано выше.

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

Функции и операторы

В математике не усматривается существенного различия между оператором (унарным), отображением и

функцией.

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

функциями.

всегда называются функциями . Операторы и отношения (унарные и
всегда называются функциями . Операторы и отношения (унарные и

Операторы и отношения (унарные и бинарные)

Бинарные операторы и отношения записываются в инфиксной форме, если для них не применяется синтаксис функций. Унарные операторы записываются как попало; в алгебре же обычно знак оператора ставится слева от аргумента (префиксная запись). Оператор дифференцирования записывается штрихом (обычно,

записывается штрихом (обычно, подразумевается

подразумевается дифференцирование по переменной x или просто по единственному аргументу функции) или точкой наверху (обычно, подразумевается дифференцирование по переменной t времени).

по переменной t — времени ). Об использовании а р и ф

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

Математические обозначения

10

Функции

Функция может упоминаться в двух смыслах: как выражение её значения при заданных аргументах (пишется и т. п.) или собственно как функция. В последнем случае ставится только символ функции,

без скобок (хотя зачастую пишут как попало). Имеется много обозначений общепринятых функций, используемых в математических работах без дополнительных пояснений. В противном случае функцию надо как-то описывать и в фундаментальной математике она принципиально не отличается от переменной и точно также обозначается произвольной буквой. Для обозначения функций-переменных наиболее популярна буква f, также часто применяются g и большинство греческих.

g и большинство греческих. Предопределённые

Предопределённые (зарезервированные) обозначения

Однако, однобуквенным обозначениям может быть, при желании, придан другой смысл. Например, буква i часто используется как обозначение индекса в контексте, где комплексные числа не применяются, а буква π может быть использована как переменная в какой-нибудь комбинаторике. Также, символы теории множеств (такие как и ) и исчисления высказываний (такие как и ) могут быть использованы в другом смысле, обычно как отношение порядка и бинарные операции соответственно.

операции соответственно. Индексирование Индексирование
операции соответственно. Индексирование Индексирование
операции соответственно. Индексирование Индексирование
операции соответственно. Индексирование Индексирование

Индексирование

Индексирование графически изображается индексами (обычно нижними, иногда и верхними) и является, в некоторым смысле, способом расширить информационное наполнение переменной. Однако, употребляется оно в трёх несколько различных (хотя и перекрывающихся) смыслах.

Собственно номера

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

Более того, в качестве «индексов» можно использовать не только числа, но и любые символы. Однако, когда в виде индекса пишется другая переменная и выражение, данная запись интерпретируется «как переменная с номером, определяемым значением индексного выражения».

индексного выражения». В тензорном анализе В линейной

В тензорном анализе

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

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

переменных. Если они все различны, то подразумевается тензорное произведение. Если одна переменная встречается дважды (например: ), то по ней проводится свёртка. Возможна также запись типа

. Возможна также запись типа — след матрицы . Данное
. Возможна также запись типа — след матрицы . Данное

след матрицы. Данное обозначение традиционно называют «суммированием по повторяющимся индексам», поскольку в фиксированном базисе именно так и выглядит.

Математические обозначения

11

Конструкции с использованием зеркальных (парных) символов

Значения скобкообразных конструкций, отличные от указания последовательности операций. Если аргументов более одного, то символом разделителя является запятая, если иное не оговорено.

Круглые скобки ():

упорядоченная пара (2 аргумента) и т. д. (больше аргументов)

Квадратные скобки [ ]:

коммутатор (2 аргумента) и подобные операции

При отсутствии специальных символов

Фигурные скобки { }:

символов Фигурные скобки { }: могут использоваться для

могут использоваться для обозначения целой части числа.

••

#Множества (произвольное количество аргументов через запятую, или же «{выражение|условие}»)

антикоммутатор (2 аргумента)

Угловые скобки 〈〉:

Бра и кет (2 или 3 аргумента, разделитель вертикальная палка), эрмитова форма (2 аргумента)

Кортеж (в математической логике и т. п.; аргументов сколько угодно, хоть 0)

Палки | | и двойные палки

Абсолютная величина («модуль»), норма (1 аргумент)

:
:

Множества

Множество может быть обозначено, как и другие объекты, в виде предопределённого обозначения, переменной (атомарным символом), в виде результата операции над множествами и т. п. Когда требуется построить множество, используется конструкция , обозначающее множество всех значений выражения,

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

быть

локальными.

Допустима также запись

искомое множество), а M некоторое заранее определённое множество, которое переменная x пробегает. Множество можно записать и как перечисление: {элемент}, {элемент, элемент}, {элемент, элемент, элемент} и т. д.

По поводу записи операций над множествами см. операции над множествами.

для

которых

условие

истинно.

Переменные,

используемые

внутри

данного

выражения,

могут

внутри данного выражения, могут , где x — локальная переменная

, где x локальная переменная (значения которой формируют

Конструкции математической логики

Логические связки

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

Конъюнкция & (также

, особенно в булевой логике)• Д изъюнкция • Импликация : (символ "|", в отличие от

: , особенно в булевой логике) (символ "|", в отличие от

(символ "|", в отличие от программирования, не употребляется в данном значении)

употребляется в данном значении) (как содержательное

(как содержательное утверждение), (суждение формальной теории); в случае когда

против обыкновения посылка стои́т справа а следствие слева, направление стрелки обращается:

направление стрелки обращается: • Отрицание ¬ (унарная связка,

Отрицание ¬ (унарная связка, употребляемая в префиксной форме; многие символы бинарных отношений, особенно равенства и порядка, имеют разновидность со встроенным отрицанием, получаемым обычно перечёркиванием символа)

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

Математические обозначения

12

«И» и «или» при записи уравнений

Та же самая конъюнкция при записи т. н. системы уравнений обычно обозначается непарной открывающейся фигурной скобкой { .

Аналогично, дизъюнкция может обозначаться непарной открывающейся квадратной скобкой [ . Также существует конструкция, аналогичная тернарной условной операции в некоторых языках программирования:

языках программирования: Кванторы • Кванто р

Кванторы

Квантор всеобщности (при записи тождеств часто опускается и подразумевается по всем переменным)

Квантор существования , существует также форма со встроенным отрицанием

и единственность ∃ ! (диграф) Перевод в неграфическую форму

Перевод в неграфическую форму

Электронное кодирование

Наиболее распространённой системой оного является TeX и его расширения. [1]

Примечания

[1] В Википедии для математической записи применяется LaTeX, использование которого документировано на странице Википедия:Формулы.

Глоссарий теории групп

Глоссарий теории групп

13

групп 1 3 Группа (математика) Теория групп Основные понятия

Теория групп

O(n)

G 2 F 4 E 6 E 7 E 8

См. также: Портал:Физика

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

# А Б В Г Д Е Ё Ж З И К Л М Н
# А Б В Г Д Е Ё Ж З И К Л М Н
# А Б В Г Д Е Ё Ж З И К Л М Н

# А Б В Г Д Е Ё Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Глоссарий теории групп

14

P

<dfn>

теории групп 1 4 P <dfn> -группа</dfn> Группа, все

-группа</dfn>

Группа, все элементы в которой имеют порядок, равный некоторой степени простого числа (не

степени п р остого числа ( не обязательно одинаковой у всех

обязательно одинаковой у всех элементов). Также говорят о примарной группе (см. конечная -группа).

А

То же, что и коммутативная группа.

<dfn>Абелеанизация</dfn>

Факторгруппа по коммутанту, то есть, для группы

<dfn>Аддитивная группа кольца</dfn>

― .
.

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

<dfn>Антигомоморфизм групп</dfn>

Отображение групп

и

Отображение групп и в (сравните с гомоморфизмом ).
Отображение групп и в (сравните с гомоморфизмом ).

в

Отображение групп и в (сравните с гомоморфизмом ).

(сравните с гомоморфизмом).

<dfn>Абсолютно регулярная

). <dfn>Абсолютно регулярная -группа</dfn> такое, что

-группа</dfn>

такое, что

-группа</dfn> такое, что Конечная -группа, в которой

Конечная -группа, в которой

степенями её элементов.

,
,

где

степенями её элементов. , где для произвольных — подгруппа ,

для произвольных

элементов. , где для произвольных — подгруппа , образованная -ми Г
элементов. , где для произвольных — подгруппа , образованная -ми Г

подгруппа

для произвольных — подгруппа , образованная -ми Г

, образованная

— подгруппа , образованная -ми Г <dfn>Генетический код

-ми

Г

<dfn>Генетический код группы</dfn>

То же, что задание группы.

<dfn>Главный ряд подгрупп</dfn>

Ряд подгрупп, в котором

ряда.

Ряд подгрупп , в котором ряда. <dfn>Голоморф</dfn> —

<dfn>Голоморф</dfn>

максимальная нормальная в

— максимальная нормальная в подгруппа из , для всех членов

подгруппа из

нормальная в подгруппа из , для всех членов Для заданной

, для всех членов

Для заданной группы группа автоморфизмов группы ) с групповой .
Для заданной группы
группа
автоморфизмов
группы
)
с
групповой
.

группа над парами

( композиции , определённой
(
композиции
,
определённой

операцией

<dfn>Гомоморфизм групп</dfn>

как

b в G. <dfn>Группа</dfn>

b в G . <dfn> Группа </dfn> такое, что для произвольных a и ,

такое, что

Группа </dfn> такое, что для произвольных a и , и .

для произвольных a и

, и .
,
и
.

Непустое множество с заданной на нём ассоциативной бинарной операцией

, такой,
,
такой,

, при

выполнено

что

которой в имеется нейтральный элемент , то есть для всех

каждого

элемента

есть для всех каждого элемента есть обратный для элемент

есть

для

<dfn>Группа Шмидта</dfn>

Ненильпотентная группа, все собственные подгруппы которой нильпотентны.

<dfn>Группа Миллера Морено</dfn>

Глоссарий теории групп

15

Неабелева группа, все собственные подгруппы которой абелевы.

<dfn>Групповая алгебра</dfn>

Для группы

элементы

Для группы элементы над полем — это векторное

над полем

Для группы элементы над полем — это векторное пространство

это векторное пространство над

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

.
.

, а умножение образующих соответствует умножению элементов

Д

<dfn> Действие группы </dfn> Группа действует слева на
<dfn> Действие группы </dfn> Группа действует слева на

Группа действует слева на множестве , если задан гомоморфизм , где

симметрическая группа. Группа

действует справа на множестве

действует справа на множестве , если задан гомоморфизм , где
действует справа на множестве , если задан гомоморфизм , где

, если задан гомоморфизм

, если задан гомоморфизм , где <dfn>Длина ряда

, где <dfn>Длина ряда подгрупп</dfn>

ряда подгрупп</dfn> — инверсная группа группы .

инверсная группа группы

.
.

Число в определении ряда подгрупп.

в определении ряда подгрупп . Е <dfn>Естественный

Е

<dfn>Естественный гомоморфизм</dfn>

гомоморфизм</dfn> Гомоморфизм группы на
гомоморфизм</dfn> Гомоморфизм группы на
гомоморфизм</dfn> Гомоморфизм группы на

Гомоморфизм группы на факторгруппу по нормальной подгруппе , ставящий в

соответствие каждому элементу

в соответствие каждому элементу группы смежный класс . Ядром

группы смежный класс

элементу группы смежный класс . Ядром этого гомоморфизма

. Ядром этого гомоморфизма является

этого гомоморфизма является подгруппа . З <dfn> Задание

подгруппа .

З

З <dfn> Задание группы </dfn> Определение группы указанием

Определение группы указанием порождающего множества и множества соотношений между

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

представление

копредставление группы.

копредставление группы . группы (создавая
копредставление группы . группы (создавая

группы

(создавая

неоднозначность

с

линейным

представлением

группы),

И

<dfn>Изоморфизм групп</dfn>

Биективный гомоморфизм.

<dfn>Изоморфные группы</dfn>

Группы, между которыми существует хотя бы один изоморфизм.

<dfn>Инвариантная подгруппа</dfn>

То же, что и нормальная подгруппа.

Инверсная группа </dfn> Группа, получаемая сменой
Инверсная группа </dfn> Группа, получаемая сменой

Группа, получаемая сменой местами аргументов бинарной операции, то есть для с операцией

то есть для с операцией — группа с операцией такой, что для

группа с операцией такой, что

— группа с операцией такой, что для всех элементов . <dfn>
— группа с операцией такой, что для всех элементов . <dfn>

для всех элементов

.
.

Число смежных классов в каждом (правом или левом) из разложений группы по данной подгруппе.

<dfn>Индексы ряда подгрупп</dfn>

ряда подгрупп</dfn> Индексы в определении

Индексы в определении субнормального ряда подгрупп.

Глоссарий теории групп

16

К

<dfn>Класс нильпотентности</dfn>

Для нильпотентной группы минимальная из длин центрального ряда подгрупп.

<dfn>Класс смежности</dfn>

Для элемента

смежности</dfn> Для элемента , левый смежный класс по

, левый смежный класс по подгруппе

смежный класс по подгруппе — множество — множество , .

множество

— множество , .
— множество
,
.

правый смежный класс по подгруппе <dfn>Класс сопряжённости</dfn>

Для элемента

множество множество

<dfn>Коммутант</dfn>

.
.

Подгруппа, порождённая всеми коммутаторами группы, обычно обозначается

Коммутативная группа </dfn> или Группа с коммутативной

или

Группа с коммутативной бинарной операцией (

абелевой группой. <dfn>Коммутирующие элементы</dfn>

элементы</dfn> ); также . называется Элементы,

);

также

.
.

называется

Элементы, для которых коммутатор равен единичному элементу группы, или, что эквивалентно, такие .

элементы

эквивалентно, такие . элементы , для которых

, для которых

такие . элементы , для которых <dfn>Коммутатор</dfn> Для

<dfn>Коммутатор</dfn>

Для элементов

Для элементов — элемент <dfn>Коммутатор

элемент

<dfn>Коммутатор подгрупп</dfn>

.
.

Множество всевозможных произведений

<dfn>Композиционный ряд</dfn>

.
.

Для группы

ряд</dfn> . Для группы — ряд подгрупп , в котором все

ряд подгрупп, в котором все факторгруппы

<dfn> Конечная группа </dfn> — простые группы . Группа с

простые группы.

Группа с конечным числом элементов.

с конечным числом элементов. <dfn> Конечная -группа </dfn>
<dfn> Конечная -группа </dfn> -группа конечного порядка .

-группа конечного порядка

.
.

<dfn>Конечно заданная группа</dfn>

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

Абелева группа, обладающая конечной системой образующих.

<dfn>Конечнопорождённая группа</dfn>

Группа, обладающая конечной системой образующих.

<dfn>Копредставление группы</dfn>

То же, что задание группы.

<dfn>Кручение</dfn>

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

для коммутативных и нильпотентных групп, обозначается .

Глоссарий теории групп

17

Л

<dfn>Локальное свойство</dfn>

свойство</dfn> Говорят, что группа обладает
свойство</dfn> Говорят, что группа обладает

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

локальная нильпотентность. <dfn>Локальная теорема</dfn>

<dfn>Локальная теорема</dfn>

<dfn>Локальная теорема</dfn> Говорят, что для некоторого

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

М

<dfn>Максимальная подгруппа</dfn>

Такая подгруппа, что не существует других подгрупп её содержащих (не совпадающих с самой группой).

<dfn>Метабелева группа</dfn>

Группа, коммутант которой абелев, ступень разрешимости такой группы равна 2.

<dfn>Метанильпотентная группа</dfn>

Полинильпотентная группа со ступенью разрешимости равной 2.

<dfn>Метациклическая группа</dfn>

Группа, обладающая циклической нормальной подгруппой, факторгруппа по которой также циклическая. Всякая конечная группа, порядок которой свободен от квадратов (то есть не делится на квадрат какого-либо числа), является метациклической.

Наименьшая (по включению) неединичная (то есть, состоящая не только из единичного элемента) нормальная подгруппа.

Н

Элемент, задаваемый в определении группы, любое применение которого при бинарной операции оставляет другой аргумент неизменным.

Группа, обладающая центральным рядом подгрупп. Минимальная из длин таких рядов называется её классом нильпотентности.

<dfn>Норма группы</dfn>

Совокупность элементов группы, перестановочных со всеми подгруппами, то есть пересечение нормализаторов всех её подгрупп.

<dfn>Нормализатор</dfn>

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

есть

подгрупп сопряжениями , то . есть <dfn> Нормальная подгруппа
подгрупп сопряжениями , то . есть <dfn> Нормальная подгруппа
подгрупп сопряжениями , то . есть <dfn> Нормальная подгруппа
Нормальная подгруппа </dfn> есть нормальная подгруппа

есть нормальная подгруппа

есть нормальная подгруппа правые и левые классы , если для

правые

и

левые

классы

, если для любого элемента

смежности

вдля любого элемента смежности выполнено говоря, , то есть если

для любого элемента смежности в выполнено говоря, , то есть если

выполнено

элемента смежности в выполнено говоря, , то есть если совпадают.

говоря,

, то есть

если

совпадают.

Иначе

Глоссарий теории групп

18

Глоссарий теории групп 1 8 <dfn>Нормальный делитель</dfn> То

<dfn>Нормальный делитель</dfn>

То же, что и нормальная подгруппа.

. Также называется инвариантная подгруппа, нормальный делитель.

<dfn>Нормальный ряд подгрупп</dfn>

Ряд подгрупп, в котором

Ряд подгрупп , в котором нормальна в , для всех членов

нормальна в

подгрупп , в котором нормальна в , для всех членов ряда. О <dfn>

, для всех членов ряда.

О

<dfn>Орбита</dfn>

Для элемента

множества .
множества
.

, на который группа

над элементом:

на который группа над элементом: П <dfn>Перестановочные

П

<dfn>Перестановочные элементы</dfn>

элементы</dfn> Пара элементов такие что .
элементы</dfn> Пара элементов такие что .

Пара элементов такие что .

<dfn>Период группы</dfn>

действует слева множество всех действий

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

<dfn>Периодическая группа</dfn>

Группа, каждый элемент которой имеет конечный порядок.

<dfn>Подгруппа</dfn>

. <dfn> Подгруппа </dfn> Подмножество группы , которое
. <dfn> Подгруппа </dfn> Подмножество группы , которое
. <dfn> Подгруппа </dfn> Подмножество группы , которое

Подмножество группы , которое является группой относительно операции, определённой в .

<dfn>Подгруппа кручения</dfn>

То же, что и кручение.

<dfn>Подгруппа, порождённая множеством</dfn>

Для произвольного подмножества

.
.
,
,

обозначает наименьшую подгруппу

обозначает наименьшую подгруппу , содержащую Подгруппа,

, содержащую

Подгруппа, порождённая всеми абелевыми подгруппами; обозначается

.
.

Подгруппа, порождённая всеми нильпотентными нормальными подгруппами; обозначается

.
.

Пересечение всех максимальных подгрупп, если таковые существуют, либо сама группа

случае; обозначается

.
.

<dfn>Показатель группы</dfn>

<dfn>Показатель группы</dfn> в противном То же, что и

в противном

То же, что и экспонента, период группы.

Группа обладающая конечным нормальным рядом, факторы которого нильпотентны.

Для групп и над гомоморфизмом ) — множество , наделённое
Для групп