Эквивалентлăх тивĕмĕ

Ку терминӑн урӑх пӗлтерӗшсем пур, Эквивалентлăх пӑхӑр.

Эквивалентлăх тивĕмĕ — пĕр-пĕр йышăн элеменчĕсем хушшинчи бинарлă тивĕм, унăн палăрăмĕсем пĕртанлăх тивĕмĕсен плăрăмĕсемпе пĕр евĕрлĕрех.

Палăртав

$X$ йыш çинчи эквивалентлăх тивĕмĕ ($\sim$) вăл —  çавнашкал бинарлă тивĕм, енчен те $X$ йышри хуть те мĕнле $a,b,c$ тĕлĕшпе малалла асăнакан умсăлтавсем вăйра тăраççĕ:

1. рефлексивлăх: $a\sim a$;
2. симметрилĕх: енчен $a\sim b$ пулсан, вара $b\sim a$;
3. транзитивлăх: енчен $a\sim b$ тата $b\sim c$ пулсан, вара $a\sim c$.

Кăтартнă «$a\sim b$» çырава (паллăна) «$a$ тата $b$ эквивалентлă» тесе вулаççĕ.

Çавăн пекех

• Толерантлăх тивĕмĕ — эквивалентлăхăн вăйсăртарах форми.
• Эквиваленци — логикăлла операци.
• Танлăх палли.

Литература

• А. И. Кострикин, Введение в алгебру. М.: Наука, 1977, 47—51.
• А. И. Мальцев, Алгебраические системы, М.: Наука, 1970, 23—30.