Свойства бинарных отношений.

 

Свойство рефлексивности и антирефлексивности.

Отношение r называется рефлексивным, если для любого хÎМ имеет место хrх.

Отношение r называется антирефлексивным, если ни для каких хÎМ не выполняется хrх.

Примеры:

а) отношение «х£у» рефлескивно, т.к х£х;

б) отношение «ху» рефлексивно, т.к хх;

в) отношение «х<y»антирефлексивно, т.к. ни для каких х не верно x<x;

г) отношение «быть симметричным относительно оси» не является симметричным и антирефлексивным. Симметричны сами себе только точки, лежащие на оси симметрии. Таким образом не всякая точка симметрична сама себе. Значит отношение не является симметричным. Но в свою очередь отношение и не является антисимметричным, потому что существуют точки симметричные сами себе.

Свойство симметричности и антисимметричности.

Отношение r называется симметричным, если для всех (х,у)ÎМ² из хrу следует уrх.

Отношение r называется антисимметричным, если из хrу и уrх следует, что х = у.

Примеры:

а) отношение «быть симметричным относительно оси» симметрично, т.к. если точка А симметрична точке В, то и точка В симметрична точке А;

б) отношение «х=у» симметрично, т.к. если х=у, то у=х;

в) отношение х£у антисимметрично, т.к. если х£у и у£х следует, что х=у;

г) отношение «ху» антисимметрично, т.к. если ху и ух, то х=у.

Свойство транзитивности.

Отношение r называется транзитивным, если для любых x, y, z из хrу и уrz следует хrz.

Примеры:

а) отношение равенства «х=у» транзитивно, действительно, если х=у и у=z, то х=z;

б) отношение «x<y» транзитивно, т.к. если x<y и y<z, то x<z;

в) отношение «быть сыном» не транзитивно, например, «Сергей сын Алексея Ивановича» и «Алексей Иванович сын Ивана Петровича» , то тогда «Сергей внук Ивана Петровича»;

г) отношение «быть перпендикуляром» на множестве прямых на плоскости не транзитивно, т.к. если прямая а перпендикулярна прямой b и прямая b перпендикулярна прямой с, то прямые а и с параллельны.

Свойство эквивалентности.

Отношение r называется отношением эквивалентности, если оно рефлексиво, симметрично и транзитивно.

Примеры:

а) Отношение «х=у»: х=х – рефлексивно; у=х – симметрично; если х=у и у=z, то х=z – транзитивно. Отношение эквивалентно.

б) Отношение «подобие на множестве треугольников»: DАВС@DАВС – рефлексивно; если DАВС@DА₁В₁С₁ , то DА₁В₁С₁@DАВС – симметрично; если DАВС@DА₁В₁С₁ и DА₁В₁С₁@DА₂В₂С₂, то DАВС@D А₂В₂С₂. Отношение эквивалентно.

в) Отношение «жить в одном городе на множестве людей»: Коля живет в Москве. Коля живет в Москве сам с собой – рефлексивно; если Коля живет в Москве с Сергеем , то и Сергей живет с Колей в Москве – симметрично; Коля живет в Москве с Сергеем и Сергей живет в Москве с Виктором, то Коля живет в Москве с Виктором. Отношение эквивалентно.

г) Отношение «параллельность прямых на плоскости». Проверьте самостоятельно.

д) Отношение «перпендикулярность прямых на плоскости». Никакая прямая не перпендикулярна сама себе, значит, отношение антирефлексивно, следовательно, не является эквивалентным.