கேள்வி: எதிர்வு உறவு என்பது என்ன?
பதில்: கணிதத்தில் எதிர்வு உறவு (''reflexive relation'') என்பது ஒரு கணம் (கணிதம்) மீது வரையறுக்கப்பட்ட ஈருறுப்பு உறவு. இவ்வுறவின்கீழ் கணத்திலுள்ள ஒவ்வொரு உறுப்பும் தன்னுடனே உறவு கொண்டிருக்கும். அதாவது ''S'' என்ற கணத்தின் மீது வரையறுக்கப்பட்ட உறவு ~ எதிர்வு உறவு எனில், ''S'' இல் உள்ள ஒவ்வொரு உறுப்புக்கும் ''x'' ~ ''x'' என்பது உண்மையாகும் (∀''x''∈''S'': ''x''~''x'')Levy 1979:74Relational Mathematics, 2010 ஒவ்வொரு மெய்யெண்ணும் தனக்குத்தானே சமமாக இருக்கும் என்பதால், மெய்யெண் கணத்தின் மீது வரையறுக்கப்பட்ட ''சமம்'' என்பது எதிர்வு உறவுக்கு ஒரு எடுத்துக்காட்டு. ஒரு எதிர்வு உறவானது, எதிர்வுத்தன்மை அல்லது எதிர்வுப் பண்பு கொண்டுள்ளதாகச் சொல்லப்படுகிறது.
கேள்வி: எதிர்வு உறவு - எதிர்வற்ற உறவு என்பது என்ன?
பதில்: ஒரு கணத்தின் மீது வரையறுக்கப்பட்ட ஈருறுப்பு உறவின்கீழ் அக்கணத்தின் உறுப்புகள் எதுவும் தனக்குத்தானே உறவு உள்ளவையில்லை எனில் அவ்வுறவு எதிர்வற்ற உறவு ஆகும். எடுத்துக்காட்டாக, மெய்யெண் கணத்தின் மீதான "விடப் பெரியது" (x&gt;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''.
கேள்வி: எதிர்வு உறவு - எடுத்துக்காட்டுகள் பற்றி தகவல் சொல்.
பதில்: Image:GreaterThanOrEqualTo.png Image:GreaterThan.png எதிர்வு உறவுக்கான எடுத்துக்காட்டுகள்: * "சமன்" * "உட்கணம்" * "வகுக்கும்" * "விடப் பெரியது அல்லது சமன்" * "விடச் சிறியது அல்லது சமன்" எதிர்வற்ற உறவுக்கான எடுத்துக்காட்டுகள்: * "சமனின்மை" * "சார்பகா முழுஎண்" (ஒன்றைவிடப் பெரிய முழுஎண்களுக்கு) * "முறையான உட்கணம்" * "விடப் பெரியது" * "விடச் சிறியது"
கேள்வி: எதிர்வு உறவு - எதிர்வு உறவுகளின் எண்ணிக்கை பற்றி நீங்கள் என்ன அறிந்துள்ளீர்கள்?
பதில்: ''n''-உறுப்புகள் கொண்ட கணத்தில் வரையறுக்கப்படக் கூடிய எதிர்வு உறவுகளின் எண்ணிக்கை 2''n''2−''n'' ஆகும்.On-Line Encyclopedia of Integer Sequences OEIS:A053763
கேள்வி: எதிர்வு உறவு - வெளியிணைப்புகள் பற்றி விளக்கவும்.
பதில்: * பகுப்பு:கணித உறவுகள்