фактормножество

См. также в других словарях:

• Фактормножество — Пусть есть множество X, на котором введено отношение эквивалентности (то есть которое обладает следующими свойствами: каждый элемент множества эквивалентен сам себе; если x эквивалентно y, то y эквивалентно x; если x эквивалентно y, а y… …   Википедия

• Абстракции принцип —         логический принцип, лежащий в основе определений через абстракцию (См. Определение через абстракцию): любое Отношение типа равенства, определённое на некотором исходном множестве элементов, разбивает (делит, классифицирует) исходное… …   Большая советская энциклопедия

• Понятие —         форма мышления, отражающая существенные свойства, связи и отношения предметов и явлений в их противоречии и развитии; мысль или система мыслей, обобщающая, выделяющая предметы некоторого класса по определённым общим и в совокупности… …   Большая советская энциклопедия

• ГАЛУА КОГОМОЛОГИИ — когомологии Галуа группы. Если М абелева группа и группа Галуа расширения , действующая на М, то когомологии Галуа есть группы когомологии определяемые комплексом состоит из всех отображений , a d кограничный оператор (см. Когомологии групп).… …   Математическая энциклопедия

• ИНДУКТИВНЫЙ ПРЕДЕЛ — конструкция, к рая впервые появилась в теории множеств, а затем стала широко использоваться в алгебре, топологии и других областях математики. Важный частный случай И. п. это И. п. направленного семейства однотипных математических структур. Пусть …   Математическая энциклопедия

• ОРБИТА — точки хотносительно группы G, действующей на множестве X(слева), множество Множество является подгруппой в G и наз. стабилизатором, или стационарной подгруппой точки хотносительно G. Отображение индуцирует биекцию между G/Gx и орбитой G(x). О.… …   Математическая энциклопедия

• Факторгруппа — В этой статье слишком короткое вступление. Пожалуйста, дополните вводную секцию, кратко раскрывающую тему статьи и обобщающую её содержимое …   Википедия

• Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… …   Википедия

• Факторпространство — Пусть на множестве задано отношение эквивалентности . Тогда множество всех классов эквивалентности называется фактор множеством и обозначается . Разбиение множества на классы эквивалентных элементов называется его факторизацией. Отображение из в… …   Википедия

• Вектор (геометрия) — Под направленным отрезком в геометрии понимают упорядоченную пару точек, первая из которых  точка A  называется его началом, а вторая  B  его концом. Содержание 1 Определение …   Википедия

• Ядро линейного отображения — В различных разделах математики ядром отображения называется некоторое множество kerf, в некотором смысле характеризующее отличие f от инъективного отображения. Конкретное определение может различаться, однако для инъективного отображения f… …   Википедия