Дискуссионный математический форумМатематический форум

Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

Часовой пояс: UTC + 4 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Надстроенная алгебраическая система
СообщениеДобавлено: 17 авг 2017, 12:25 
Не в сети
Начинающий
Зарегистрирован:
17 авг 2017, 12:16
Сообщений: 2
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Здравствуйте!

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

Есть множество с некоторым произвольным отношением (С, ≤).
Есть определения вхождения и включения согласованные с заданным отношением.

Группа элемента c: G(c) = { c’ | c’ ≤c }.
Группа множества C: G(C)= ⋃[math]_{c’∊C}[/math] G(c’).
Включение: c C iff c∊G(C).
Подмножество: C C’ iff ∀c∊C : c C’.
Пересечение: C C’ = G(C)∩G(C’).
Согласованность ≃:
c ≃ c’ iff G(c)∩G(c’) ≠ ∅;
C ≃ C’ iff C C’ ≠ ∅;
Как называется такая надстроенная алгебраическая система, состоящая из этих групп(?) и отношений над множествами? На что похоже?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Надстроенная алгебраическая система
СообщениеДобавлено: 17 авг 2017, 14:42 
Не в сети
Начинающий
Зарегистрирован:
17 авг 2017, 12:16
Сообщений: 2
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Если это отношение -- равенство, то получаются обычные теоретико-множественные операции и решётка. А если не равенство? То что это тогда?

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Алгебраическая система

в форуме Дискретная математика, Теория множеств и Логика

aswert

1

185

12 дек 2011, 12:07

Алгебраическая дробь

в форуме Алгебра

UberZink

2

262

02 фев 2013, 21:22

Алгебраическая дробь

в форуме Алгебра

mjdoom2

12

192

12 май 2016, 23:08

Алгебраическая форма

в форуме Комплексный анализ и Операционное исчисление

zizu120689

2

191

20 ноя 2014, 16:44

Показательная и алгебраическая форма

в форуме Комплексный анализ и Операционное исчисление

Wersel

7

374

12 мар 2013, 18:48

Алгебраическая форма комплексных чисел

в форуме Линейная и Абстрактная алгебра

Darina6535

0

207

28 май 2013, 20:06

Алгебраическая, тригонометрическая и показательная форма

в форуме Комплексный анализ и Операционное исчисление

zizu120689

20

696

03 фев 2015, 19:10

Система 2 СВ

в форуме Теория вероятностей

artko

0

151

29 май 2013, 00:46

Система

в форуме Линейная и Абстрактная алгебра

Ola20

3

277

03 май 2012, 15:52

Система

в форуме Алгебра

kosov

1

177

25 фев 2016, 17:13


Часовой пояс: UTC + 4 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 12


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2016 MathHelpPlanet.com. All rights reserved