Студопедия

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника



Расслоение множества на классы эквивалентности.




Читайте также:
  1. III. Общественные классы. Аристократия
  2. Аристотель считает изобретателем диалектики Зенона Элейского, который подверг анализу противоречия, возникающие при попытке мыслить понятия движения и множества.
  3. Виды туризма и классы обслуживания
  4. ЗАДАНИЕ N 1 сообщить об ошибке Тема: Основные операции над множествами. Диаграммы Эйлера-Венна
  5. ЗАДАНИЕ N 1 сообщить об ошибке Тема: Числовые множества
  6. ЗАДАНИЕ N 1 сообщить об ошибке Тема: Числовые множества
  7. ЗАДАНИЕ N 1 сообщить об ошибке Тема: Числовые множества
  8. ЗАДАНИЕ N 1 сообщить об ошибке Тема: Числовые множества
  9. Иерархия факторов, определяющих социальное расслоение общества
  10. КЛАССЫ 261

Итак, для множества М, имеющего размерность n: каждому элементу а, принадлежащему М (а М), соответствует n-ка параметров (а1, а2, …, аn). Зафиксируем какой-либо параметр, например аn=0. Тогда подмножество М1 М (для элементов, где аn=0). Следовательно, размерность множества М1равна (n-1), то есть элемент из множества М1 определяется набором (n-1)параметров, «чисел».

Поскольку имеется бесчисленное однопараметрическое множество способов, которыми можно зафиксировать параметр аn, то, следовательно, множество Мрасчленяется на однопараметрическое множество (n-1)-мерных подмножеств, каждое из которых соответствует одному из этих однопараметрических значений параметра аn, причем никакие два из этих подмножеств не пересекаются, и объединение всех этих подмножеств есть множество М.

Такие подмножества называются классами эквивалентности, означающими, что элементам а и b, принадлежащим множеству М, отнесены n-ки чисел (а1, а2, …, аn), (b1, b2, …, bn), в которых аn=bn. Для фиксированной координаты и1 в вышеприведенном примере такими классами эквивалентности являются непересекающиеся 2-поверхности.

Если фиксируются два параметра, то из множества М выделяется (n-2)-мерное подмножество. Выполняя перебор всех двухпараметрических способов фиксации этих двух параметров, мы получаем двупараметрическое семейство прямых, параллельных оси y.

В общем случае, фиксируя раз m каких-то параметров, мы расслаиваем n-мерное множество М на классов по элементов в каждом.

Таким образом, если множество М разбить на взаимно непересекающихся и заполняющих все множества М1подмножеств по элементов в каждом, то Мсодержит:

. (7)

ПРИМЕР.Множество плоскостей пространства расслаивается на пучков параллельных плоскостей по плоскостей в пучке, то есть содержит .

7. Использование уравнений.Далее рассмотрим, как осуществляется подсчет параметрического числа поверхности, если последняя задана в аналитической форме. Для простоты начнем исследование с 2-поверхностей пространства Е3.

Рассматривая уравнение типа Ах+By+Cz+D=0, можно подсчитать размерность многообразия, а именно множество плоскостей пространства. Если мы придадим коэффициентам А, В, С, D определенные числовые значения А0, В0, С0, D0, то мы получим некоторую определенную плоскость α М. Таким образом, имеется соответствие: «четверка чисел» (А0, В0, С0, D0) плоскость пространства α0, которое однозначно лишь в одном направлении.



Действительно, плоскости α0 отвечает любая из четверок коэффициентов kA, kB, kC, kD, где k– любое число, не равное нулю. То есть уравнения:

А0х+B0y+C0z+D0=0;

0х+kB0y+kC0z+kD0=0

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

Таким образом, соответствие «класс пропорциональных четверок чисел – плоскость пространства» однозначно уже в обе стороны, и поэтому плоскостей в множестве М столько же, сколько таких классов, то есть - трехпараметрическое множество.



Если координаты x, y, z связаны двумя уравнениями, то этим выделяется одномерное подмножество трехмерного множества точек пространства – линия (в общем случае пространственная).

8. Размерность кривых, поверхностей. Параметрическое число Р плоской алгебраической кривой m-го порядка:

.(8)

 

ПРИМЕР 1. Параметрическое число кривой второго порядка m=2 (например, коники): ,то есть, чтобы на плоскости выделить конику, нужно задать пять параметров.

В общем случае параметрическое число алгебраической поверхности m-го порядка:

, (9)

где n– размерность объемлющего пространства; m– порядок поверхности.

ПРИМЕР 2. Поверхность второго порядка m=2 в трехмерном пространстве n=3имеет следующее параметрическое число:

.

 

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


Дата добавления: 2015-09-15; просмотров: 5; Нарушение авторских прав





lektsii.com - Лекции.Ком - 2014-2020 год. (0.008 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты