யூக்ளிடிய ஆட்களம்

கணிதத்தில், குறிப்பாக வளையக் கோட்பாட்டில், யூக்ளிடிய ஆட்களம் (Euclidean domain) என்பது, பொருத்தமான யூக்ளிடியச் சார்புடன் கூடிய முழு ஆட்களமாகும். யூக்ளிடிய சார்பானது பொதுமைப்படுத்தப்பட்ட முழுவெண்களின் யூக்ளிடிய வகுத்தலை அனுமதிக்கும். முழுவெண்களில் சாதாரண யூக்ளிடியப் படிமுறைத் தீர்வைப் பயன்படுத்துவது போலவே இந்தப் பொதுமைப்படுத்தப்பட்ட யூக்ளிடிய படிமுறைத்தீர்வையும் முழுவெண் வளையங்களில் பயன்படுத்தலாம். எடுத்துக்காட்டாக, யூக்ளிடிய ஆட்களத்தின் ஏதாவது இரு உறுப்புகளின் மீப்பெரு பொது வகுத்தியை யூக்ளிடியப் படிமுறைத்தீர்வைப் பயன்படுத்திக் காணலாம். இவ்வாறு மீப்பெரு பொதுவகுத்தியைக் காணமுடியும் என்பதோடு, அதனை அவ்விரு உறுப்புகளின் நேரியல் சேர்க்கையாகவும் எழுதலாம்.

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

யூக்ளிடிய ஆட்களமானது "யூக்ளிடிய வளையம்" என்றும் அழைக்கப்படுகிறது.

வரையறை

வார்ப்புரு:Mvar ஒரு முழு ஆட்களம் எனில், வார்ப்புரு:Mvar இன் மீதான "யூக்ளிடிய சார்பு" ("யூசா" எனச் சுருக்கமாகக் கீழே தரப்படுகிறது) வார்ப்புரு:Mvar என்பது வார்ப்புரு:Math இலிருந்து எதிரற்ற முழுவெண்களுக்கு வரையறுக்கப்படும் சார்பாகும். இச்சார்பு, அடிப்படைச்செயலான "மீதியுடன் கூடிய வகுத்தல்" பண்பை நிறைவு செய்யும் சார்பாக]] இருக்கும்:

• (யூசா1): வார்ப்புரு:Mvar வார்ப்புரு:Mvar இரண்டும் வார்ப்புரு:Mvar இன் உறுப்புகள்; வார்ப்புரு:Mvar பூச்சியமற்றது எனில்,

வார்ப்புரு:Math மற்றும் வார்ப்புரு:Math அல்லது வார்ப்புரு:Math என்ற முடிவுகளை நிறைவுசெய்யும் வார்ப்புரு:Mvar வார்ப்புரு:Mvar மதிப்புகள் வார்ப்புரு:Mvar இல் இருக்கும்.

இதில், வார்ப்புரு:Mvar வார்ப்புரு:Mvar இரண்டும் முறையே வார்ப்புரு:Mvar ஐ வார்ப்புரு:Mvar ஆல் வகுக்கக் கிடைக்கும் ஈவும், மீதியும் ஆகும். முழு எண்கள், பல்லுறுப்புக்கோவைகளில் ஈவு தனித்துவமாக வரையறுக்கப்படுவதுபோல, இங்கு ஈவு தனித்துவமாக வரையறுக்கப்படுவதில்லை; ஆனால் ஒரு ஈவு தேர்ந்தெடுக்கப்பட்டுவிட்டால் அதற்குரிய "மீதி" தனித்துவமாக வரையறுக்கப்பட்டதாக இருக்கும்.

யூக்ளிடிய ஆட்களம், குறைந்தபட்சம் ஒரு யூக்ளிடிய சார்புடைய ஒரு முழு ஆட்களமென்றாலும் அது பல வெவ்வேறு யூக்ளிடிய சார்புகளையும் கொண்டிருக்கலாம்.

பெரும்பாலான இயற்கணித நூல்கள் யூக்ளிடிய சார்புக்கு பின்வரும் கூடுதல் பண்புகள் வேண்டுமெனக் கூறுகின்றன:

• (யூசா2): வார்ப்புரு:Mvar இலுள்ள அனைத்து பூச்சியமற்ற வார்ப்புரு:Mvar வார்ப்புரு:Mvar உறுப்புகளுக்கும் வார்ப்புரு:Math.

யூக்ளிடிய ஆட்களத்தை வரையறுப்பதற்கு ஒரு யூக்ளிடிய சார்பு மட்டும் போதுமானதென்றாலும், வார்ப்புரு:Mvar என்ற முழு ஆட்களத்துக்கு (யூசா1) ஐ நிறைவுசெய்யும் சார்பு வார்ப்புரு:Mvar தரப்பட்டு, (யூசா1), (யூசா2) இரண்டையும் ஒருங்கே நிறைவுசெய்யும் மற்றொரு சார்பும் தரப்படலாம்:

வார்ப்புரு:Math இன் உறுப்பு வார்ப்புரு:Mvar எனில், புதுச்சார்பு வார்ப்புரு:Math பின்வருமாறு வரையறுக்கப்படுகிறது:

$f(a)=\underset{x\in R\setminus \{0\}}{\min }g(xa)$ அதாவது, வார்ப்புரு:Mvar ஆல் பிறப்பிக்கப்பட்ட முதன்மைச் சீர்மத்தின் பூச்சியமற்ற உறுப்புகளின் மீது வார்ப்புரு:Mvar சார்பு பெறும் மதிப்புகளுக்குள் மீச்சிறுமதிப்பாக வார்ப்புரு:Math ஆனது வரையறுக்கப்படுகிறது.

வார்ப்புரு:Math ஆகவும், வார்ப்புரு:Math எப்பொழுதுமே பூச்சியமற்றதாகவும் இருந்தால் யூக்ளிடிய சார்பு வார்ப்புரு:Mvar "பெருக்கத்தக்கது" எனப்படும்.

இதிலிருந்து கிடைக்கக்கூடிய இரு முடிவுகள்:

• வார்ப்புரு:Math
• வார்ப்புரு:Mvar ஆனது வளையத்தின் பெருக்கல் செயலைப் பொறுத்து நேர்மாற்றத்தக்கதாக "இருந்தால், இருந்தால் மட்டுமே" வார்ப்புரு:Math ஆக இருக்கும்..

பல ஆசிரியர்கள் "யூக்ளிடிய சார்பு" என்பதற்குப் பதில் "அடுக்கெண் சார்பு", "மதிப்பீட்டுச் சார்பு", "நெறிமச் சார்பு" போன்ற பிற சொற்களையும் பயன்படுத்துகின்றனர். வேறு சிலர் யூக்ளிடிய சார்பின் ஆட்களமானது வார்ப்புரு:Mvar வளையம் முழுவதுமாக இருக்கவேண்டுமென்கின்றனர். ஆனால் (EF1) ஆனது வார்ப்புரு:Math இன் மதிப்பை எடுத்துக்கொள்ளாததால், மேலுள்ள நிபந்தனை யூக்ளிடிய சார்பின் வரையறையை முக்கியமாகப் பாதிக்காது.

எடுத்துக்காட்டுகள்

யூக்ளிடிய ஆட்களத்திற்குச் சில எடுத்துக்காட்டுகள்::

• அனைத்து பூச்சியமற்ற வார்ப்புரு:Mvar -க்கு வார்ப்புரு:Math என வரையறுக்கப்பட்ட யூக்ளிடிய சார்புடன் கூடிய ஏதேனுமொரு களம்
• வார்ப்புரு:Math, the தனி மதிப்பு of (வார்ப்புரு:Mvar இன் தனி மதிப்பு) என வரையறுக்கப்பட்ட யூக்ளிடிய சார்புடன் கூடிய முழுவெண்கள் வளையம் வார்ப்புரு:Math.
• வார்ப்புரு:Math, (வார்ப்புரு:Math என்பது வார்ப்புரு:Mathஎன்ற காசிய முழுவெண்ணின் கள நெறிமம்) என வறையறுக்கப்பட்ட யூக்ளிடிய சார்புடன் கூடிய காசிய முழுவெண்களின் வளையம் $𝐙[i]$.
• வார்ப்புரு:Math, (ஐன்ஸ்டீன் முழுவெண் வார்ப்புரு:Math இன் நெறிமம்) என வரையறுக்கப்பட்ட யூக்ளிடிய சார்புடன் கூடிய ஐன்ஸ்டீன் முழுவெண்கள் வளையம் வார்ப்புரு:Math (இங்கு வார்ப்புரு:Math என்பது மெய்யெண்ணில்லாத ஒன்றின் படிமூலம்).
• ஒவ்வொரு பூச்சியமற்ற பல்லுறுப்புக்கோவை வார்ப்புரு:Mvar -க்கும் வார்ப்புரு:Math = வார்ப்புரு:Mvar என வரையறுக்கப்பட்ட யூக்ளிடிய சார்புடன் கூடிய பல்லுறுப்புக்கோவைகளின் வளையம் வார்ப்புரு:Math.

மேற்கோள்கள்

• வார்ப்புரு:Cite book
• வார்ப்புரு:Cite journal