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

English: Wikipedia is making the site more secure. You are using an old web browser that will not be able to connect to Wikipedia in the future. Please update your device or contact your IT administrator.

中文: 维基百科正在使网站更加安全。您正在使用旧的浏览器，这在将来无法连接维基百科。请更新您的设备或联络您的IT管理员。以下提供更长，更具技术性的更新（仅英语）。

Español: Wikipedia está haciendo el sitio más seguro. Usted está utilizando un navegador web viejo que no será capaz de conectarse a Wikipedia en el futuro. Actualice su dispositivo o contacte a su administrador informático. Más abajo hay una actualización más larga y más técnica en inglés.

ﺎﻠﻋﺮﺒﻳﺓ: ويكيبيديا تسعى لتأمين الموقع أكثر من ذي قبل. أنت تستخدم متصفح وب قديم لن يتمكن من الاتصال بموقع ويكيبيديا في المستقبل. يرجى تحديث جهازك أو الاتصال بغداري تقنية المعلومات الخاص بك. يوجد تحديث فني أطول ومغرق في التقنية باللغة الإنجليزية تاليا.

Français: Wikipédia va bientôt augmenter la sécurité de son site. Vous utilisez actuellement un navigateur web ancien, qui ne pourra plus se connecter à Wikipédia lorsque ce sera fait. Merci de mettre à jour votre appareil ou de contacter votre administrateur informatique à cette fin. Des informations supplémentaires plus techniques et en anglais sont disponibles ci-dessous.

日本語: ウィキペディアではサイトのセキュリティを高めています。ご利用のブラウザはバージョンが古く、今後、ウィキペディアに接続できなくなる可能性があります。デバイスを更新するか、IT管理者にご相談ください。技術面の詳しい更新情報は以下に英語で提供しています。

Deutsch: Wikipedia erhöht die Sicherheit der Webseite. Du benutzt einen alten Webbrowser, der in Zukunft nicht mehr auf Wikipedia zugreifen können wird. Bitte aktualisiere dein Gerät oder sprich deinen IT-Administrator an. Ausführlichere (und technisch detailliertere) Hinweise findest Du unten in englischer Sprache.

Italiano: Wikipedia sta rendendo il sito più sicuro. Stai usando un browser web che non sarà in grado di connettersi a Wikipedia in futuro. Per favore, aggiorna il tuo dispositivo o contatta il tuo amministratore informatico. Più in basso è disponibile un aggiornamento più dettagliato e tecnico in inglese.

Magyar: Biztonságosabb lesz a Wikipédia. A böngésző, amit használsz, nem lesz képes kapcsolódni a jövőben. Használj modernebb szoftvert vagy jelezd a problémát a rendszergazdádnak. Alább olvashatod a részletesebb magyarázatot (angolul).

Svenska: Wikipedia gör sidan mer säker. Du använder en äldre webbläsare som inte kommer att kunna läsa Wikipedia i framtiden. Uppdatera din enhet eller kontakta din IT-administratör. Det finns en längre och mer teknisk förklaring på engelska längre ned.

हिन्दी: विकिपीडिया साइट को और अधिक सुरक्षित बना रहा है। आप एक पुराने वेब ब्राउज़र का उपयोग कर रहे हैं जो भविष्य में विकिपीडिया से कनेक्ट नहीं हो पाएगा। कृपया अपना डिवाइस अपडेट करें या अपने आईटी व्यवस्थापक से संपर्क करें। नीचे अंग्रेजी में एक लंबा और अधिक तकनीकी अद्यतन है।

We are removing support for insecure TLS protocol versions, specifically TLSv1.0 and TLSv1.1, which your browser software relies on to connect to our sites. This is usually caused by outdated browsers, or older Android smartphones. Or it could be interference from corporate or personal "Web Security" software, which actually downgrades connection security.

You must upgrade your web browser or otherwise fix this issue to access our sites. This message will remain until Jan 1, 2020. After that date, your browser will not be able to establish a connection to our servers.

Пусть даны два множества X и Y, совпадающие или нет.

Определение. Множество упорядоченных пар элементов, из которых первый принадлежит X, а второй Y, называется декартовым произведением множеств и обозначается .

Пример. Пусть
,
, тогда

.

Если
,
, тогда
.

Пример. Пусть
, где R – множество всех вещественных чисел. Тогда
есть множество всех декартовых координат точек плоскости.

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

Если , то. Элементы из
– это векторы-строки длины n.

Алгебраические структуры с одной бинарной операцией

1 Бинарные алгебраические операции

Пусть
– произвольное конечное или бесконечное множество.

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

(1)

(2)

Таким образом, любой упорядоченной паре

. Тот факт, что
, записывается символически в виде
.

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

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

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

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

Пусть
и
два множества.

Определение. Внешним законом композиции на множестве называется отображение

, (3)

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

Пример. Умножение матрицы
на число
является внешним законом композиции на множестве
. Умножение чисел в
можно рассматривать и как внутренний закон композиции, и как внешний.

дистрибутивным относительно внутреннего закона композиции * в
, если

Внешний закон композиции называется дистрибутивным относительно внутреннего закона композиции * в Y, если

Пример. Умножение матрицы
на число
дистрибутивно как относительно сложения матриц, так и относительно сложения чисел, т.к.,.

1. Свойства бинарных операций

Бинарная алгебраическая операция  на множестве
называется:

Замечание. Свойства коммутативности и ассоциативности независимы.

Пример. Рассмотрим множество целых чисел . Операцию на определим в соответствии с правилом
. Выберем числа
и выполним операцию над этими числами:

т.е. операция  коммутативна, но не ассоциативна.

Пример. Рассмотрим множество
– квадратных матриц размерности
с вещественными коэффициентами. В качестве бинарной операции * на
будем рассматривать операции умножения матриц. Пусть
, тогда
, однако
, т.е. операция умножения на множестве квадратных матриц ассоциативна, но не коммутативна.

Определение. Элемент
называетсяединичным или нейтральным относительно рассматриваемой операции  на
, если

Лемма. Если – единичный элемент множества
, замкнутого относительно операции *, то он единственный.

Доказательство . Пусть – единичный элемент множества
, замкнутого относительно операции *. Предположим, что в
существует ещё один единичный элемент
, тогда
, так как– единичный элемент, и
, так как– единичный элемент. Следовательно,
– единственный единичный элемент множества
.

Определение. Элемент
называетсяобратным или симметричным к элементу
, если

Пример. Рассмотрим множество целых чисел с операцией сложения
. Элемент
, тогда симметричным элементом
будет элемент
. Действительно,.

ЗАМКНУТОЕ МНОЖЕСТВО

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

Лит : Куратовский К., Топология, [пер. с англ.], т. 1, М., 1966.

А. А. Мальцев.

Математическая энциклопедия. - М.: Советская энциклопедия . И. М. Виноградов . 1977-1985 .

Смотреть что такое "ЗАМКНУТОЕ МНОЖЕСТВО" в других словарях:

замкнутое множество - — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN closed set … Справочник технического переводчика

Для термина «Замкнутость» см. другие значения. Замкнутое множество подмножество пространства дополнение к которому открыто. Содержание 1 Определение 2 Замыкание 3 Свойства … Википедия

Множество, открытое (замкнутое) относительно нек рого множества Е, множество Мтопологич. пространства Xтакое, что (черта сверху означает операцию замыкания). Для того чтобы нек рое множество было открытым (замкнутым) относительно Е, необходимо и… … Математическая энциклопедия

Подмножество топологич. пространства, одновременно открытое и замкнутое в нем. Топологич. пространство Xнесвязно тогда и только тогда, когда в нем имеется отличное от Xи от О. з. м. Если семейство всех О. з. м. топологич. пространства является… … Математическая энциклопедия

Или катлокус точки в римановом многообразии подмножество точек, через которые не проходит ни одна кратчайшая из. Содержание 1 Примеры … Википедия

Для одноимённого математического понятия, смотрите Замкнутое множество и Пространство (математика) Ливневая канализация … Википедия

Книги

• Предельные теоремы для ассоциированных случайных полей и родственных систем , Александр Булинский. Монография посвящена исследованию асимптотических свойств широкого класса стохастических моделей, возникающих в математической статистике, теории перколяции, статистической физике и теории…

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

Определение 20. МножествоЕ называетсязамкнутым , если оно содержит все свои предельные точки, то есть. (Иначе,
).

Пример 1. Любоеn -мерный интеграл – открытое множество. Любой отрезок – замкнутое множество.

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

Пример 2. Пустое множество следует считать замкнутым, хотя оно в то же время является и открытым. МножествоR действительных чисел одновременно является и замкнутым, и открытым.

Множество Q рациональных чисел ни замкнуто, ни открыто. Линейный полуинтервал - ни замкнутое, ни открытое множество.

Теорема 3. Любой шарS (a , r ) - открытое множество.

Доказательство:

Пусть . Возьмём
. Докажем, что шар
(это будет означать, что любая точка шара
- внутренняя, то есть
- открытое множество). Возьмём. Докажем, что
, для этого оценим расстояние
:

Следовательно,
, то есть
, то естьS (a , r ) - открытое множество.

Теорема 4. Производное множество
любого множестваE замкнуто.

Доказательство:

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

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

Свойства открытых и замкнутых множеств

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

Доказательство:

Пусть
- замкнутые множества. Докажем, что
- замкнутое множество.

Пусть - предельная точка множества

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

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

Доказательство:

Пусть
- любая совокупность замкнутых множеств. Докажем, что
- замкнутое множество.

Пусть - предельная точка множества

. Тогда по теореме 1 в любой окрестности

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

и
, то есть
замкнуто.

Теорема 7. Если множествоF замкнуто, то его дополнениеCF открыто.

Доказательство:

Пусть . Так как
замкнуто, тоне является его предельной точкой (
). Но это означает, что существует окрестность
точки, не содержащая точек множестваF , то есть
. Тогда
и поэтому- внутренняя точка множества
. Так как- произвольная точка множестваCF , то все точки этого множества являются внутренними, то естьCF открыто.

Теорема 8. Если множествоG открыто, то его дополнениеCG замкнуто.

Доказательство:

Пусть вместе с некоторой окрестностью. Следовательно,не является предельной точкой множестваCG . Итак,
не является предельной точкой для
, то есть
содержит все свои предельные точки. По определению,
замкнуто.

Теорема 9. Объединение любого числа открытых множеств является открытым множеством.

Доказательство:

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

.

Так как множества открыты
, то по теореме 8 множества
замкнуты
. Тогда по теореме 6 их пересечение

открыто.

Теорема 10. Пересечение любого конечного числа открытых множеств является открытым множеством.

Доказательство:

Пусть
- пересечение любого конечного числа открытых множеств
. Докажем, что- открытое множество. Имеем:

.

Так как множества открыты
, то по теореме 8 множества
замкнуты
. Тогда по теореме 5 их объединение

замкнуто. По теореме 7 множество
открыто.

Результат операции “*” определяется как и в таблице Пифагора. Например, “произведение” 3 * 4 равно числу, стоящему на пересечении строки с номером 3 и столбца с номером 4. В нашем случае это число равно 2. Следовательно, 3 * 4 = 2. Как вы думаете, по какому правилу была заполнена эта таблица?

Заметим, что результат выполнения операции “*” над числами из множества {0, 1, 2, ..., 9} является числом из этого же множества. В таких случаях говорят, что множество замкнуто относительно операции, а операция называется алгебраической .

Вы, наверное, уже обратили внимание на то, что таблица симметрична относительно диагонали
(0, 1, 4, 9, 6, 5, 6, . . .). Это говорит о том, что операция “*” обладает свойством коммутативности , то есть для любых чисел a и b из множества {0, 1, 2, ..., 9} выполняется равенство: a * b = b * a .

Используя таблицу, вы сможете убедиться, что выполняется равенство (2 * 3) * 4 = 2 * (3 * 4). Набравшись терпения и перебрав все упорядоченные тройки чисел, вы убедитесь, что новая операция обладает свойством ассоциативности , то есть для любых чисел a , b , c из множества {0, 1, 2, ..., 9} выполняется равенство: (a * b ) * c = a * (b * c ).

Проверьте, будет ли множество {0, 1, 2, ..., 9} замкнуто относительно умножения, задаваемого таблицей Пифагора.

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

Рассмотрим еще одну операцию. Обозначим ее через “o” и назовем операцией “Круг”. Она определяется таблицей:

Попытайтесь найти закономерность, по которой составлена данная таблица. Опираясь на эту закономерность, впишите в таблицу пропущенные результаты. Будет ли операция “o” алгебраической? Докажите, что операция “o” коммутативна . Однако эта операция не ассоциативна ! Чтобы убедиться в этом, подберите три числа m , n и k , для которых m o (n o k ) ¹ (m o n ) o k .

П редставим вам еще одну операцию: -.

Введем ее на множестве натуральных чисел так: m - n = m n .

Например, 2 - 3 = 2 3 = 8; 3 - 2 = 3 2 = 9.

Будет ли операция “-” алгебраической? Рассмотренного выше примера достаточно, чтобы убедиться, что новая операция не коммутативна .

Вычислите результат выполнения операции
2 - (1 - 3), а затем проверьте равенство 2 - (1 - 3) =
= (2 - 1) - 3. Если вы все сделаете правильно, то сможете сказать, что операция “-” не ассоциативна .

1. Являются ли алгебраическими операции сложения и умножения на множестве:

а) четных чисел; б) нечетных чисел?

2. Является ли алгебраической операция вычитания на множестве:

а) натуральных чисел; б) целых чисел?

3. Является ли алгебраической операция деления на множестве:

а) ненулевых целых чисел;

б) ненулевых рациональных чисел?

4. Покажите, что операция

x D y = x + y – 3

5. Покажите, что операция

x Ñ y = x + y – xy

является алгебраической на множестве всех целых чисел. Будет ли эта операция ассоциативной и/или коммутативной?

6. По аналогии с таблицей Пифагора составьте свою таблицу, определяющую операцию “à” над числами {0, 1, 2, 3, 4}. Результат m à n операции над числами m и n в этой таблице должен равняться остатку от деления на 5 обычного произведения mn .

Будет ли операция “à” алгебраической? Если да, то будет ли она ассоциативной и/или коммутативной?

7. Придумайте несколько своих примеров операций над числами.

Какие из них будут алгебраическими? Какие из ваших алгебраических операций будут ассоциативными и/или коммутативными?

Для тех, кто хочет вести секретную переписку с друзьями

О днажды Фома получил от одного из своих друзей телеграмму.

Кто такой Фома? О! Это личность весьма примечательная. Ничему на слово не верит, все пытается делать по-своему. Любит, с одной стороны, находить новое решение старых проблем и, с другой стороны, использовать старые знания для преодоления новых трудностей. Любит читать самые разные математические книги, разыскивать в них нестандартные ситуации и находить из них выход. А больше всего любит сам такие ситуации создавать.

Так вот, телеграмма была какой-то странной. Вот что в ней было написано:

“йажзеирпончорсмедж”.

Сможете ли вы “прочитать” этот текст? Фома же, немного подумав, понял секрет этой телеграммы. В ней было приглашение в гости. Он решил ответить в том же духе. Сочинил ответную телеграмму и зашифровал ее таким же способом. Получилась запись из двух строк: “приеду в субботу встречайте”, “етйачертсвутоббусвудеирп”.

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

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

Буквы исходного текста он решил заменять номерами позиций, которые занимают эти буквы. Вот какой список номеров получил Фома для телеграммы друга: (1, 2, 3, ..., 18).

Затем он заметил, что зашифрованный текст отличается от исходного только измененным порядком букв. Как изменяется порядок букв, легко увидеть с помощью тех же номеров позиций. Например, зашифрованный текст телеграммы друга Фома теперь смог представить в виде списка: (18, 17, 16, ..., 3, 2, 1).

Сопоставление этих двух списков дает ключ к шифровке текста:
.

Символьная запись читается так: “1 переходит в 18”. (Вместо нее часто используется другая запись: 1 ® 18.)

Направление стрелок определяет порядок шифровки текста. Например, буква, стоящая в шифруемом тексте в первой позиции, должна занять в зашифрованном тексте 18-ю позицию.

Если направление стрелок сменить на противоположное, то та же двустрочная таблица будет определять порядок расшифровки текста. Например, буква, стоящая в зашифрованном тексте в 18-й позиции, должна занять в расшифрованном тексте первую позицию.

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

Поняв все это, Фома быстро записал ключ ко 2-ой шифровке своей телеграммы:

.

Осталось только сообщить каким-либо образом
этот ключ своему другу – и тайна переписки будет гарантирована!

Если идеи Фомы вы поняли, то вот вам его девиз в зашифрованном виде:

“водянойпероревряй”.

Оно зашифровано ключом:

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

.

Здесь в верхней строке стоят все натуральные числа от 1 до n в возрастающем порядке. Нижняя строка получается некоторой перестановкой чисел из верхней строки. Вся таблица в целом называется подстановкой порядка n .

В ернемся к Фоме. С помощью подстановки-ключа

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

.

Получившееся дважды зашифрованное сообщение он адресовал вам:

“сноас”.

Расшифруйте это сообщение.

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

Рассмотрим на примере, как она выполняется. Умножим подстановки, с помощью которых шифровалось сообщение Фоме:

.

Процедура умножения сводится к последовательному проведению подстановок.

В первой подстановке (А ) 1 ® 5;

во второй подстановке (В ) 5 ® 1.

В итоге получаем: 1 ® 1.

Аналогично, из “2 ® 2” и “2 ® 3” следует: “2 ® 3”. Проведя еще три рассуждения такого типа, получим подстановку-произведение

.

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

Используя подстановку AB как шифратор, вы можете теперь в один прием расшифровать сообщение Фомы “сноас”. Заодно проконтролируете себя.

Если вам будет интересно, то можете придумать свои подстановки-шифраторы сообщений и вести тайную переписку с друзьями.

Занимаясь расшифровкой сообщений, вы познакомились с алгебраической операцией над новыми объектами – подстановками.

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

1. Найдите произведения подстановок:

2. Найдите произведение ВА подстановок А и В , рассмотренных выше. Используя подстановку ВА как шифратор, расшифруйте еще раз сообщение “сноас”. Сравните расшифрованный текст с результатом предыдущей расшифровки.

Если вы выполните задание 2, то сможете сказать, обладает ли умножение подстановок свойством коммутативности .

Можно показать, что умножение подстановок обладает свойством ассоциативности .

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

Подстановка

называется тождественной . Ее обозначают через E .

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