WikiDer > Отношение зависимости

В математика, а отношение зависимости это бинарное отношение что обобщает соотношение линейная зависимость.

Позволять ${ displaystyle X}$ быть набор. (Бинарное) отношение ${ Displaystyle треугольникleft}$ между элементом ${ displaystyle a}$ из ${ displaystyle X}$ и подмножество ${ displaystyle S}$ из ${ displaystyle X}$ называется отношение зависимости, написано ${ Displaystyle а треугольникleft S}$, если он удовлетворяет следующим свойствам:

• если ${ displaystyle a in S}$, тогда ${ Displaystyle а треугольникleft S}$;
• если ${ Displaystyle а треугольникleft S}$, то есть конечный подмножество ${ displaystyle S_ {0}}$ из ${ displaystyle S}$, так что ${ Displaystyle а треугольникleft S_ {0}}$;
• если ${ displaystyle T}$ это подмножество ${ displaystyle X}$ такой, что ${ displaystyle b in S}$ подразумевает ${ Displaystyle б треугольникleft T}$, тогда ${ Displaystyle а треугольникleft S}$ подразумевает ${ Displaystyle а треугольникleft T}$;
• если ${ Displaystyle а треугольникleft S}$ но ${ Displaystyle а не ! треугольникleft S- lbrace b rbrace}$ для некоторых ${ displaystyle b in S}$, тогда ${ Displaystyle б треугольникleft (S- lbrace b rbrace) чашка lbrace a rbrace}$.

Учитывая отношение зависимости ${ Displaystyle треугольникleft}$ на ${ displaystyle X}$, подмножество ${ displaystyle S}$ из ${ displaystyle X}$ как говорят независимый если ${ Displaystyle а не ! треугольникleft S- lbrace а rbrace}$ для всех ${ displaystyle a in S.}$ Если ${ Displaystyle S substeq T}$, тогда ${ displaystyle S}$ говорят охватывать ${ displaystyle T}$ если ${ Displaystyle т треугольникleft S}$ для каждого ${ displaystyle t in T.}$ ${ displaystyle S}$ считается основа из ${ displaystyle X}$ если ${ displaystyle S}$ является независимый и ${ displaystyle S}$ пролеты ${ displaystyle X.}$

Замечание. Если ${ displaystyle X}$ непустое множество с отношением зависимости ${ Displaystyle треугольникleft}$, тогда ${ displaystyle X}$ всегда имеет основу в отношении ${ Displaystyle треугольникleft.}$ Кроме того, любые две базы ${ displaystyle X}$ имеют то же самое мощность.

Примеры

• Позволять ${ displaystyle V}$ быть векторное пространство через поле ${ displaystyle F.}$ Соотношение ${ Displaystyle треугольникleft}$, определяется ${ Displaystyle upsilon треугольникleft S}$ если ${ displaystyle upsilon}$ находится в подпространство охватывает ${ displaystyle S}$, является отношением зависимости. Это эквивалент к определению линейная зависимость.
• Позволять ${ displaystyle K}$ быть расширение поля из ${ displaystyle F.}$ Определять ${ Displaystyle треугольникleft}$ к ${ Displaystyle альфа треугольникleft S}$ если ${ displaystyle alpha}$ является алгебраический над ${ Displaystyle F (S).}$ потом ${ Displaystyle треугольникleft}$ является отношением зависимости. Это эквивалентно определению алгебраическая зависимость.

Смотрите также

• матроид

В этой статье использован материал из Отношения зависимости от PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.