எதிர்வு உறவு

ஒரு கணத்தின் மீது வரையறுக்கப்பட்ட ஈருறுப்பு உறவின்கீழ் அக்கணத்தின் உறுப்புகள் எதுவும் தனக்குத்தானே உறவு உள்ளவையில்லை எனில் அவ்வுறவு எதிர்வற்ற உறவு ஆகும். எடுத்துக்காட்டாக, மெய்யெண் கணத்தின் மீதான "விடப் பெரியது" (x>y) என்ற உறவு எதிர்வுத்தன்மையற்றதாகும்.

எதிர்வு உறவாக அமையாத உறவுகள் அனைத்தும் எதிர்வற்றவையாக இருக்கும் எனக் கூறமுடியாது. சில உறுப்புகள் தமக்குத்தாமே உறவுள்ளவையாகவும், வேறு சில தமக்குக்தாமே உறவுவில்லாதவையாகவும் அமையும் வகையிலும் உறவுகள் வரையறுக்கப்படலாம்.

எடுத்துக்காட்டு:

" x , y இன் பெருக்குத்தொகை இரட்டை எண்" என்ற உறவு இரட்டை எண்களின் கணத்தில் எதிர்வு உறவாகவும், ஒற்றை எண்களின் கணத்தில் எதிர்வுத்தன்மை அற்றதாகவும், இயல் எண்களின் கணத்தில் இரண்டுவிதமாகவும் இல்லாமலும் உள்ளது.

S கணத்தில் வரையறுக்கப்பட்ட உறவு ~, போல்வு எதிர்வு உறவு (quasi-reflexive) எனில்:

∀x,y∈S: x~y ⇒ x~x ∧ y~y

எடுத்துக்காட்டு:

மெய்யெண் தொடர்முறைகள் கணத்தின் மீது வரையறுக்கப்பட்ட "சம எல்லைகள் கொண்டவை" என்ற உறவு போல்வு எதிர்வு உறவாகும். தொடர்முறைகள் அனைத்தும் எல்லை மதிப்புகள் கொண்டிருக்காது. எல்லை மதிப்பு இல்லாத தொடர்முறைகளும் உண்டு. எனவே இந்த உறவு எதிர்வுத்தன்மை அற்றதாகும். மற்றொரு தொடர்முறையின் எல்லை மதிப்புக்குச் சமமான எல்லையைக் கொண்ட தொடர்முறை, தனக்குத்தானே சம எல்லை கொண்டதாக இருக்கும்.

S கணத்தின் மீது வரையறுக்கப்பட்ட ஈருறுப்பு உறவு ~ இன் எதிர்வு அடைப்பு உறவு (reflexive closure - ≃) என்பது அதே கணத்தின் மீது வரையறுக்கப்பட்ட மிகச்சிறிய எதிர்வு உறவாகும்.எதிர்வு உறவு ~ , S கணத்தின் மீது வரையறுக்கப்பட்ட முற்றொருமை உறவு ஆகிய இரண்டின் ஒன்றிப்பாக இந்த எதிர்வு அடைப்பு உறவு இருக்கும்:

(≃) = (~) ∪ (=).

எடுத்துக்காட்டு: x<y இன் எதிர்வு அடைப்பு உறவு x≤y.

S கணத்தின் மீது வரையறுக்கப்பட்ட எதிர்வு உறவு ~ இன் எதிர்வு ஒடுக்கம் (reflexive reduction, irreflexive kernel -≆), ~ இன் எதிர்வு அடைப்பு உறவையே தனது எதிர்வு உறவாகக் கொண்டிருக்கும்.

எதிர்வு அடைப்பு உறவுக்கு எதிரானதாக இதைக் காணலாம். இது ~ இன் முற்றொருமை உறவின் நிரப்பிக்குச் சமானமானதாக இருக்கும். S கணத்தின் மீது வரையறுக்கப்பட்ட எதிர்வு உறவு ~ எனில்:

(≆) = (~) \ (=).

எடுத்துக்காட்டு: x≤y இன் எதிர்வு ஒடுக்கம் x<y.