Неформальная постановка и обсуждение задач, возникающих при системном обобщении теории множеств на основе системной теории информации
Поиск способа представления системы как совокупности взаимосвязанных множеств. Обоснование принципов геометрической интерпретации понятий "элемент системы" и "система". Аналогия между геометрией и теорией информации. Информационные свойства пространства.
Рубрика | Математика |
Вид | статья |
Язык | русский |
Дата добавления | 26.04.2017 |
Размер файла | 902,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
Кубанский государственный аграрный
Университет, Краснодар, Россия
НЕФОРМАЛЬНАЯ ПОСТАНОВКА И ОБСУЖДЕНИЕ ЗАДАЧ, ВОЗНИКАЮЩИХ ПРИ СИСТЕМНОМ ОБОБЩЕНИИ ТЕОРИИ МНОЖЕСТВ НА ОСНОВЕ СИСТЕМНОЙ ТЕОРИИ ИНФОРМАЦИИ
(Часть 1-я: задачи 1-3)
Луценко Евгений Вениаминович
д. э. н., к. т. н., профессор
Ранее автором была обоснована идея системного обобщения математики и сделан первый шаг по ее реализации: предложен вариант системной теории информации. В данной статье осуществлена попытка сделать второй шаг в этом же направлении: на концептуальном уровне рассматривается один из возможных подходов к системному обобщению математического понятия множества, а именно - подход, основанный на системной теории информации. Предполагается, что этот подход может стать основой для системного обобщения теории множеств.
Ключевые слова: МНОЖЕСТВО, ТОЧКА, ПОДМНОЖЕСТВО, СИСТЕМА, ПОДСИСТЕМА, СПЛАЙН, ИНФОРМАЦИЯ, ИЕРАРХИЯ, СТРУКТУРА, ЭЛЕМЕНТ, ПОЛИНОМ, ВЕЙВЛЕТ, ПРОСТРАНСТВО
Данная статья является продолжением работы [19], в которой была обоснована перспективная программная идея системного обобщения математики и сделан первый шаг по ее реализации: предложен вариант системной теории информации. Необходимо отметить, что впервые эта идея в явной форме была сформулирована автором в 2005 году в работе [16], а системная теория информации (СТИ) предложена в 2002 году [9], сами же идеи и математические модели развивались и ранее [1-8] c 1981 года.
В статье поставлена цель - сделать второй шаг в том же направлении: на концептуальном уровне (без разработки математического формализма) рассмотреть один из возможных подходов к системному обобщению математического понятия множества, а именно - подход, основанный на системной теории информации. Предполагается, что этот или подобный подход может способствовать созданию математической теории систем как системного обобщения теории множеств, что является весьма актуальным как для самой математики, так и для наук, использующих математику.
Для достижения данной цели осуществим ее декомпозицию в последовательность задач, являющихся этапами ее достижения:
Задача 1: найти способ представления системы как совокупности взаимосвязанных множеств.
Задача 2: сформулировать, чем отличаются друг от друга различные системы, состоящие из одних и тех же базисных элементов.
Задача 3: обосновать принципы геометрической интерпретации понятий: "элемент системы" и "система".
Задача 4: предложить способы аналитического описания (задания) подсистем как элементов системы.
Задача 5: описать системное семантическое пространство для отображения систем в форме эйдосов (эйдос-пространство, термин автора).
Задача 6: описать принцип формирования эйдосов (включая зеркальные части).
Задача 7: показать, что базовая когнитивная концепция [9] формализуется многослойной системой эйдос-пространств различных размерностей.
Задача 8: показать, что системная теория информации позволяет непосредственно на основе эмпирических данных определять вид функций принадлежности, т.е. решать одну из основных задач теории нечетких множеств.
Задача 9: сформулировать перспективы, в т.ч. подходы к разработке операций с системами: объединение (сложение), пересечение (умножение), вычитание. Привести предварительные соображения по сложению систем.
Кратко, на концептуальном уровне, т.е. на уровне идей, без разработки соответствующего математического формализма рассмотрим предлагаемый вариант решения этих задач.
Задача 1: найти способ представления системы как совокупности взаимосвязанных множеств.
Для того чтобы получить системное обобщение теории множеств, необходимо найти способ представления системы как совокупности взаимосвязанных множеств. Ожидается, что это позволит с минимальными доработками применить прекрасно разработанный аппарат теории множеств для описания систем.
Определение 1:
1. Система есть иерархическая структура подсистем.
2. В каждой системе существует нулевой наиболее фундаментальный уровень иерархии, представляющий собой классическое множество базисных элементов, не имеющих никаких свойств.
3. Каждая подсистема относится к определенному уровню иерархии системы, который определяется только количеством базисных элементов в данной подсистеме.
4. Элементами подсистем каждого уровня иерархии являются как подсистемы предыдущих более фундаментальных уровней иерархии, так и базисные элементы.
Таким образом, будем считать, что система отличается от множества базисных элементов, из которых она состоит, тем, что эти элементы образуют подсистемы различной структуры и сложности (рисунок 1).
В простейшем случае можно считать, что элементы системы (подсистемы) не имеют внутренней структуры, т.е. не включают в себя подсистем, а являются подмножествами базисного множества, состоящими непосредственно из базисных элементов. На рисунке 2 показаны как элементы-подмножества базисного уровня (23, 456 78910: отмечены зеленым цветом), так и элементы-подсистемы, включающие не только непосредственно элементы базисного уровня, но и их подмножества или подсистемы (123, 23456, 45678910: отмечены желтым цветом).
Рисунок 1 Элементы-подсистемы различных уровней иерархии системы
Рисунок 2 Элементы-подмножества и элементы-подсистемы различных уровней иерархии системы
Из рисунка 2 также видно, что различие между элементами-подмножествами и элементами-подсистемами возникает только для элементов, начиная со 2-го уровня иерархии, т.к. только для этих элементов возможен уровень сложности, достаточный для существования этого различия [17], основанного на наличии подсистем. Например, видно, что элемент-подсистема 123 отличается от элемента-подмножества 456 наличием внутренней структуры, т.е. тем, что включает не только базисный элемент 1, но и подсистему 23, при этом и оба элемента: и 123, и 456 относятся ко 2-му уровню иерархии системы.
Таким образом, можно сделать вывод о том, что два элемента тождественны, если они состоят из одних и тех же базисных элементов и у них тождественна структура. Отметим, что поскольку у множеств нет структуры, то для тождества множеств достаточно тождества входящих в них элементов.
Для системы, состоящей из элементов-множеств, можно применять термин "аморфная система" (например: газ или жидкость), а из элементов-систем - "структурированная система" (например: кристалл, фрактал). Аморфные и структурированные системы, состоящие из одних и тех же базисных элементов, можно считать различными фазовыми состояниями одной системы, отличающимися уровнем системности [17, 18].
Задача 2: сформулировать, чем отличаются друг от друга различные системы, состоящие из одних и тех же базисных элементов.
Для того чтобы решить эту задачу, сформулируем несколько определений.
Определение 2:
Полной или максимальной системой будем называть такую систему, в которой реализуются все формально возможные сочетания базисных элементов.
Таким образом, если в системе имеется n базисных элементов, то полная система включает подсистем, представляющих собой сочетания базисных элементов по m, где m={1, 2, 3,..., n}. Подсистемы полной системы можно классифицировать различными способами, но одним из наиболее простых и естественных является классификация по их мощности (в смысле теории множеств), т.е. по количеству входящих в них базисных элементов.
Определение 3:
Мощностью подсистемы будем называть количество входящих в нее базисных элементов.
Определение 4:
k-й уровень иерархии системы состоит из всех ее подсистем мощности (k+1).
Из определений 3 и 4 следует, что:
1-й уровень иерархии системы состоит из подсистем, включающих 2 базисных элемента;
2-й уровень иерархии системы состоит из подсистем, включающих 3 базисных элемента;
k-й уровень иерархии системы состоит из подсистем, включающих (k+1) базисных элемента.
Из этих определений следует также, что базисный уровень является 0-м (нулевым) уровнем иерархии системы и состоит из подсистем мощности 1. Это означает, что сами базисные элементы можно рассматривать как подсистемы, имеющие мощность, равную 1, т.е. в определенном смысле можно считать, что базисный элемент состоит из самого себя, в отличие от элементов других иерархических уровней системы, которые включают базисные элементы, но сами себя не включают. Необходимо отметить, что если бы элементы различных иерархических уровней системы включали не только базисные элементы, но и самих себя, то мощность подсистем различных уровней изменялась бы следующим образом:
- элементы 0-го уровня иерархии, т.е. базисные элементы: мощность 1;
- элементы 1-го уровня иерархии: мощность 3 (2 базисных элемента + 1, т.к. элемент включает сам себя);
- элементы 2-го уровня иерархии: мощность 4 (3 базисных элемента + 1, т.к. элемент включает сам себя);
- элементы k-го уровня иерархии: мощность (k+2) ((k+1) базисных элемента + 1, т.к. элемент включает сам себя), что, как мы считаем, неприемлемым, т.к. это нарушает простую и очевидную логическую последовательность между 0-м и 1-м уровнями иерархии.
Определение 5:
Реальной системой будем называть систему, в которой реализуются не все формально-возможные сочетания базисных элементов, а лишь некоторые из них.
В этом случае возникает естественный и закономерный вопрос: "По какой причине получается так, что в реальной системе реализуются не все, а лишь некоторые сочетания базисных элементов?" Для ответа на этот вопрос введем понятие "правила запрета".
Определение 6:
Правилами запрета будем называть механизм или способ, с помощью которого обеспечивается формирование различной структуры систем, состоящих из одних и тех же базисных элементов.
Таким образом, правила запрета являются средством получения конкретных реальных систем из максимальной, включающей все возможные сочетания базисных элементов.
Определение 7:
n-тождественными системами (т.е. системами, тождественными на n-м уровне иерархии) будем называть системы, состоящие из одних и тех же элементов на n-м уровне иерархии. Два элемента-подсистемы тождественны, если они состоят из одних и тех же базисных элементов и у них тождественна структура, т.е. связи между базисными элементами.
В частности, 0-тождественными являются системы, состоящие из одних и тех же базисных элементов, независимо от того, отличаются ли они друг от друга связями между этими элементами, т.е. своей структурой.
Из определений 2 и 7 следует, что:
- реальные 0-тождественные системы являются подмножествами одной и той же полной системы;
- полная система является объединением или суперпозицией всех возможных 0-тождественных реальных систем.
Отметим, что поскольку у множеств нет структуры, то для тождества множеств достаточно тождества входящих в них элементов.
Задача 3: обосновать принципы геометрической интерпретации понятий "элемент системы" и "система".
Основываясь на аналогии между базисными элементами и геометрическими точками (и первые и вторые не имеют никаких свойств, кроме свойства отличаться друг от друга), припишем базисным элементам смысл, аналогичный смыслу геометрической точки. Тогда элементы-подмножества различных иерархических уровней системы, отличающиеся друг от друга лишь количеством базисных элементов, можно представить в виде геометрических систем из соответствующего количества точек. Однако как геометрически интерпретировать эти системы?
Для того чтобы ответить на этот вопрос, обратим внимание на то, что:
- пространство 0-й размерности представляет собой одну точку 0-й размерности, т.е. классическую точку, известная в математике (в частности, в геометрии, дифференциальном и интегральном исчислении), а также в основанной на них физике;
- пространство 1-й размерности - это прямая линия, которая однозначно определяется системой из двух точек 0-й размерности;
- пространство 2-й размерности - это плоскость и однозначно определяется системой из трех точек 0-й размерности;
- пространство 3-й размерности - это пространство, однозначно определяемое системой из четырех точек 0-й размерности;
- пространство i-й размерности однозначно определяется системой из (i+1) точек 0-й размерности.
Однако различным количеством точек однозначно определяется не только положение пространства или гиперплоскости соответствующей размерности в многомерном пространстве, но и определенный тип геометрической фигуры:
- одна точка 0-й размерности задает точку;
- система из двух точек 0-й размерности задает отрезок прямой линии;
- система из трех точек 0-й размерности задает треугольник;
- система из четырех точек 0-й размерности задает тетраэдр (одно из пяти 3-мерных многогранников Платона);
- система из i точек 0-й размерности задает многомерную фигуру, называемую i-мерный симплекс (i-мерный аналог тетраэдра).
В этой связи возникает один очень существенный вопрос: "Каким образом получается так, что геометрические фигуры, образованные из точек нулевой размерности, вдруг приобретают новое качество, а именно ненулевую размерность, которого ни в какой форме не было у базисных элементов, из которых они состоят?"
По мнению автора, ответ на поставленный вопрос самым непосредственным образом связан с понятием системных или эмерджентных свойств [17, 18, 1-20], т.е. с тем, что система имеет качественно новые системные или эмерджентные свойства, которых не было у ее элементов (т.е. свойства, не сводящиеся к сумме свойств ее элементов). Кроме системного анализа, проблемами изучения системных свойств занимаются практически все науки, в частности: химия, биология, физика, синергетика и математика (особенно теория фракталов).
Таким образом, новые свойства возникают у системы, когда количество переходит в качество (один из законов диалектики). Но здесь возникает известная "проблема кучи", состоящая в том, что очень сложно или даже невозможно уловить этот момент возникновения нового качества. Проиллюстрируем "проблему кучи" следующим образом: "Одно зерно - это явно еще не куча, два - тоже, и три, и четыре и пять - тоже, а вот 10 - это уже вроде как маленькая кучка, а вот "куча" - это, наверное, где-то от 1531 до 73568 зерен и более". В контексте данной статьи и решаемой задачи "проблему кучи" можно переформулировать следующим образом: "Какой минимальный по количеству 0-точек элемент пространства или геометрической фигуры некоторой размерности можно считать обладающим той же размерностью, что и само пространство или фигура?"
В химии аналогичный вопрос звучит примерно так: "Какой минимальный объем вещества (химического соединения) обладает теми же химическими свойствами, что и макроколичество этого вещества". В химии ответ известен: это молекула данного вещества. Если молекулу любого вещества расщепить на элементы (атомы), перечисленные в таблице Д.И. Менделеева, из которых она состоит, то свойства этого вещества исчезнут, хотя элементы останутся. Однако что же при этом исчезает такое, что приводит к исчезновению свойств вещества? Ответ вполне очевиден: при расщеплении молекулы исчезают взаимосвязи между элементами (атомами), благодаря которым они и образовывали минимальную систему данного вещества, обладающую его химическим свойствами, т.е. его молекулу. Необходимо отметить, что приведенный пример имеет несколько упрощенный характер, т.к. элементы таблицы Д.И. Менделеева также образуют вещества, т.е. простейшей молекулой является сам элемент (атом). С другой стороны, макрообъект не всегда состоит из молекул, он может быть, например, ионным кристаллом как NaCl (поваренная соль). Кроме того у макроколичества некоторого вещества могут возникать новые свойства, отсутствующие у отдельной молекулы или нескольких молекул, за счет статистических и термодинамических эффектов.
В информационной теории систем (ИТС), идеи которой мы пытаемся развивать в данной статье, предлагается считать, что минимальным элементом пространства или геометрической фигуры некоторой размерности, обладающим той же размерностью, что и само пространство или фигура, является точка этого пространства".
Получается, что пространства и геометрические фигуры различной размерности состоят из различных точек, т.е. точек также различной размерности. Поэтому геометрические фигуры можно рассматривать как системы, состоящие из точек различной размерности и имеющие различную структуру взаимосвязей между этими точками. Таким образом, геометрическим аналогом системы в рамках информационной теории систем является многомерная геометрическая фигура, состоящая из точек различной размерности и структуры, взаимосвязанных между собой в определенную структуру.
Определение 8:
точкой пространства i-й размерности будем называть систему, состоящую из минимального количества точек 0-й размерности, имеющую размерность i.
Отметим, что в рамках данной статьи мы не рассматриваем вопросы топологической целостности (связности) элементов фигур и наличия у них некоторой сплошной гиперповерхности, ограничивающей некоторый гиперобъем. Вопрос, связанный с метрикой пространства, будет конкретизирован при рассмотрении следующих задач. Отметим, что вообще понятие "геометрическая фигура" связано с понятиями "топологическое пространство" и "геометрическое место точек", кроме того, фигура может быть определена операционально, например, в форме некоторой начальной фигуры и алгоритма ее преобразования для получения элементов фигуры, как это делается в теории фракталов.
Итак, системы можно представить как многомерные геометрические фигуры, состоящие из точек различной размерности и структуры, взаимосвязанных между собой в определенную структуру. При этом i-мерные точки, как системы, имеют эмерджентные свойства (i-гиперобъем), которых не было у точек меньших размерностей, из которых они состоят [18]:
- 0-мерная точка не имеет никаких качеств (9-мера: S0);
- 1-мерная точка имеет длину (1-мера: S1);
- 2-мерная точка имеет площадь (2-мера: S2);
- 3-мерная точка имеет объем (3-мера: S3);
- i-мерная точка имеет i-гиперобъем (i-мера: Si).
Предлагаем называть "Системной геометрией" часть математики, изучающую многомерные пространства и геометрические фигуры в этих пространствах как системы, состоящие из точек различной размерности и структуры, взаимосвязанных между собой в различные структуры.
"Проблему кучи" в системной геометрии предлагается решать следующим образом: будем считать, что новая размерность может возникать (но не обязательно возникает) у системы точек при добавлении одной-единственной точки. Для того, чтобы возникала новая размерность необходимо не просто добавить точку, но и чтобы положение этой новой точки было независимым от предыдущих, т.е. никак не связанным с положением всех уже имеющихся точек или их систем (чтобы ее положение было невозможно вычислить и предсказать на основе информации о расположении уже имеющихся точек).
Например:
- для получения 2-мерной точки (точки плоскости) необходимо, чтобы третья точки не лежала на прямой линии, образованной двумя уже имеющимися точками, входящими в состав 1-мерной точки;
- для получения 3-мерной точки (точки объема) необходимо, чтобы четвертая точка не лежала на плоскости, образованной тремя уже имеющимися точками, входящими в состав 2-мерной точки, и т.д.
Аналогично, при получении каких-то знаний наше знание изменяется качественно лишь в том случае, если эти полученные знания в принципе не могут быть получены из уже имеющихся знаний путем логических операций. Обычно подобные знания получаются из опыта, но в некоторых случаях новые более общие теории, содержащие новые знания, могут быть получены из старых теорий путем удаления из системы аксиом одной или нескольких них, т.е. путем ослабления ограничений, накладываемых на содержание теории, системой ее аксиом (так была получена геометрия Лобачевского).
Смысл размерности пространства состоит в том, что она количественно показывает, во сколько раз возрастает "содержимое" тела при увеличении его линейных размеров или при уменьшении линейных размеров объектов, "заполняющих" это тело.
Одним из наиболее распространенных и общепринятых способов определения размерности многомерной геометрической фигуры является применение известной формулы Хаусдорфа [21, 22]:
где
D - размерность многомерной геометрической фигуры;
S - обобщенный объем многомерной геометрической фигуры: S1 - длина, S2 - площадь, S3 - объем,..., Si - i-гиперобъем;
L - линейный размер многомерной геометрической фигуры.
В соответствии с выражением (1), получаем:
- для линии (S1): |
, |
|
- для плоскости (S2): |
, |
|
- для объема (S3): |
. |
Обращает на себя внимание следующая закономерность:
- при увеличении линейных размеров геометрической фигуры в 2 раза ее i-гиперобъем возрастает в 2i раз;
- при размерности пространства, равной i, минимальное количество i-мерных шаров, заполняющих i-мерный куб, равно N=2i (рисунок 3).
Эта закономерность формально точно совпадает с комбинаторной мерой Хартли для количества информации:
где
i - количество информации (в битах);
N - количество элементов в множестве.
В соответствии с представлением о кубической размерности фракталов (box dimension) [21, 22], будем оценивать размерность "i" пространства по тому, как возрастает количество i-мерных объектов, помещающихся в какое-либо i-мерное тело при увеличении его размеров или при уменьшении размеров объектов. Примем, в качестве множества "А" i-мерный куб (i-куб), а в качестве элементов множества - i-мерные шары (i-шар). Пусть N(r) - минимальное количество i-шаров радиуса r, заполняющих (покрывающих) "A" в i-мерной кубической укладке.
Рисунок 3 Примеры плотной упаковки шаров в кубе, сторона которого в два раза превышает диаметр шара, при различных размерностях пространства и шаров (размерности: 1, 2 и 3)
Если i-шары имеют очень большой диаметр, сопоставимый с длиной ребра i-куба, то ясно, что в i-кубе всегда, независимо от размерности пространства, будет помещаться только один i-шар. Поэтому диаметр i-шара нужно взять таким, чтобы в i-кубе поместилось несколько i-шаров. Например, достаточно взять начальный диаметр в два раза меньше длины ребра.
Отметим, что это минимальная разница между диаметров шара и длиной ребра куба, которая вообще возможна и приемлема для наших целей. Если взять большее различие, то принципиально ничего не изменится, но расчеты и иллюстрации немного усложнятся. Поэтому остановимся на этом варианте.
При уменьшении диаметра i-шаров их будет помещаться в i-кубе все больше и больше, и мы все точнее сможем определить размерность пространства, которая, как ясно из вышесказанного, является пределом D:
при r, стремящемся к нулю. Этот предел, если он существует [21], и называется кубической размерностью пространства. Известно, что Хаусдорфова размерность не превосходит кубическую, а для самоподобных фракталов они совпадают. Определение фракталов, как самоподобных множеств, дано Дж. Хатчинсоном [22]. Самоподобным называется множество, части которого образованы из целого множества путем таких его преобразований, как: масштабирование, отражение, перенос и поворот. Отметим, что не все фракталы являются самоподобными множествами.
Таким образом, размерность пространства можно рассматривать или интерпретировать как минимальное количество осей координат, которого необходимо и достаточно для однозначного определения положения объектов в этом пространстве. Это понятие тесно связано с понятием конфигуратора [9].
Казалось бы, в этом утверждении нет ничего нового. Однако не будем спешить с выводами, т.к. совершенно очевидно, что в этом определении речь идет об информации. Дело в том, что каждое значение координат несет некоторое количество информации, необходимой для идентификации i-объекта, путем определения его положения в i-пространстве, причем это количество информации тем больше, чем выше размерность i-пространства.
Примечание: важно отметить, что согласно соотношению или принципу неопределенностей Гейзенберга невозможно одновременно точно измерить координаты и скорость квантового объекта. Это означает, что существует некий физический предел на объем информации, который мы можем получить об объекте, находящийся в том или ином состоянии. В этой связи предлагается следующая информационная формулировка принципа неопределенностей Гейзенберга: существует физический предел на количество информации, получаемой о физическом объекте, причем увеличение количества информации о положении объекта в пространстве возможно только за счет соответствующего по величине уменьшения количества информации о его скорости, и наоборот, увеличение количества информации о скорости объекта возможно только за счет уменьшения количества информации о его положении.
Таким образом, координаты i-объекта в i-пространстве вполне обоснованно можно рассматривать как признаки этого объекта, с помощью которых он идентифицируется, т.е. которыми он отличается от остальных объектов. Причем эти признаки можно рассматривать как градации описательных шкал, в качестве которых выступают оси координат, а сами шкалы могут быть номинальные, порядковые (интервальные) или числовые (шкалы отношений) [9]. По эти признакам и необходимо идентифицировать объект. Это уже формулировка задачи идентификации или распознавания, которую можно решать, в том числе с применением теории информации. Таким образом, появляется возможность исследования информационных свойств не только геометрического, но и физического пространства.
Таким образом, мы видим важную аналогию между понятиями геометрии и теории информации, представленную в приведенной ниже таблице:
Аналогия между геометрией и теорией информации
№ |
Геометрия |
Теория информации |
|||
Si - i-гиперобъем |
i - размерность пространства |
N - количество элементов в множестве |
i - количество информации (по Хартли) |
||
1 |
2 |
1 |
2 |
1 |
|
2 |
4 |
2 |
4 |
2 |
|
3 |
8 |
3 |
8 |
3 |
|
4 |
16 |
4 |
16 |
4 |
|
5 |
32 |
5 |
32 |
5 |
|
6 |
64 |
6 |
64 |
6 |
|
7 |
128 |
7 |
128 |
7 |
|
8 |
256 |
8 |
256 |
8 |
|
... |
... |
... |
... |
... |
|
i |
Отметим также, что известна [21, 22] так называемая "фрактальная размерность" d1 (4), которую часто называют информационной размерностью, т.к. она показывает, какое количество информации необходимо для определения местоположения точки в многомерном пространстве.
В выражении (4) обозначено:
- сторона гиперкубической ячейки i-пространства объемом: ;
- количество занятых ячеек, в которых содержится хотя бы одна точка;
- вероятность того, что некоторая точка содержится в i-й ячейке, при этом: ;
- количество точек в i-й ячейке.
Из данных таблицы, выражения (4) видно, что Хаусдорфа размерность пространства и информационная размерность соотносятся как комбинаторная мера Хартли для количества информации и статистическая мера информации Шеннона для неравновероятных событий.
Здесь необходимо отметить, что впервые в истории современной науки физическое явление было описано с помощью геометрии в общей теории относительности (ОТО), т.е. теории гравитации Альберта Эйнштейна, в которой гравитация описывается как искривление пространства. Таким образом им было положено начало рассмотрению физических явлений как геометрических феноменов. В последующем этот подход, получивший название "программа геометризации физики" получил развитие в работах Дж. Уиллера, который писал, что "в мире нет ничего, кроме пустого искривленного пространства. Материя, заряд, электромагнетизм и другие поля являются лишь проявлением искривленного пространства. Физика есть геометрия". Эту программу Дж. Уиллер воплотил в теорию, названную им "геометродинамикой". Однако оказалось, что ОТО позволяет геометризовать лишь одно гравитационное поле и одной из причин этого, по-видимому, явилось то, что геометрические свойства классического искривленного пространства оказались слишком бедными, недостаточными для того, чтобы геометризовать другие поля, в первую очередь, электромагнитное поле. Понимание этого учеными привело к появлению различных обобщений римановой геометрии: геометрия Вейля, геометрия с кручением Картана и др. Ранее представление о субстанциональной роли пространства высказывали и выдающийся философ Б.Спиноза, и английский математик В.Клиффорд, а в древней индийской философии за тысячи лет до названных авторов были написаны строки: "Поистине, из этого Атмана возникло пространство, из пространства - ветер, из ветра - огонь, из огня - воды, из вод - земля, из земли - травы, из трав - пища, из пищи - человек" (Тайттирия упанишада, II.1.1).
Мы предлагаем гипотезу, по-видимому являющуюся системным обобщением программы геометризации и состоящую в следующем предположении: физические свойства самого пространства, полей, элементарных частиц, атомов, молекул и в конечном счете и макрообъектов, являются эмерджентными свойствами лежащих в их фундаменте геометрических систем, состоящих из точек различной размерности и структуры, т.е. физические свойства микро- и макрообъектов являются эмерджентными свойствами геометрических систем. множество геометрия информация система
Основываясь на существенной аналогии между координатами в информацией, представленной в представленной выше таблице, можно сделать некоторые выводы и предположения, в том числе об информационных свойствах пространства и перемещающихся в них объектах:
1. Размерность пространства можно определить как его информационную емкость.
2. Поскольку информация связана с энтропией: численно равна ей, но имеет противоположный знак, то можно предположить, что чем выше размерность пространства, тем выше его антиэнтропийные свойства.
Подобные документы
Понятия множеств и их элементов, подмножеств и принадлежности. Способы задания множеств, парадокс Рассела. Количество элементов или мощность. Сравнение множеств, их объединение, пересечение, разность и дополнение. Аксиоматическая теория множеств.
курсовая работа [1,5 M], добавлен 07.02.2011Краткое историческое описание становления теории множеств. Теоремы теории множеств и их применение к выявлению структуры различных числовых множеств. Определение основных понятий, таких как мощность, счетные, замкнутые множества, континуальное множество.
дипломная работа [440,3 K], добавлен 30.03.2011Понятие множества и его элементов. Обозначение принадлежности элемента множеству. Конечные и бесконечные множества. Строгое и нестрогое включение. Способы задания множеств. Равенство множеств и двухсторонее включение. Диаграммы Венна для трех множеств.
презентация [564,8 K], добавлен 23.12.2013Теория множеств - одна из областей математики. Понятие, обозначение, основные элементы конечных и бесконечных множеств - совокупности или набора определенных и различимых между собой объектов, мыслимых как единое целое. Пустое и универсальное множество.
реферат [126,6 K], добавлен 14.12.2011Мономорфные стрелки. Эпиморфные стрелки. Изострелки. КатегориЯ множеств. Мономорфизм в категории множеств. Эпиморфизм в категории множеств. Начальные и конечные объекты в категории множеств. Произведение в категории множеств.
дипломная работа [144,3 K], добавлен 08.08.2007Основные понятия размерности упорядоченных множеств. Определение размерности упорядоченного множества. Свойства размерности конечных упорядоченных множеств. Порядковая структура и элементы алгебраической теории решёток.
дипломная работа [191,8 K], добавлен 08.08.2007Понятие множества, его обозначения. Операции объединения, пересечения и дополнения множеств. Свойства счетных множеств. История развития представлений о числе, появление множества натуральных, рациональных и действительных чисел, операции с ними.
курсовая работа [358,3 K], добавлен 07.12.2012Теория графов как раздел дискретной математики, исследующий свойства конечных множеств с заданными отношениями между их элементами. Основные понятия теории графов. Матрицы смежности и инцидентности и их практическое применение при анализе решений.
реферат [368,2 K], добавлен 13.06.2011Предпосылки развития алгебры множеств. Основы силлогистики и соотношение между множествами. Применение и типы жергонновых отношений. Понятие пустого множества и универсума. Построение диаграмм Эйлера и обоснование законов транзитивности и контрапозиции.
контрольная работа [369,0 K], добавлен 03.09.2010Способы решения логических задач типа "Кто есть кто?" методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.
курсовая работа [622,2 K], добавлен 15.06.2010