உள்வெளி
[[கணிதம்|கணிதத்தின்]] ஒரு பிரிவான  [[நேரியல் இயற்கணிதம்|நேரியல் இயற்கணிதத்தில்]] [[திசையன் வெளி]] என்ற கருத்துடன்  கூடவே திசையன் '''உள்வெளி''' (Vector subspace) என்ற கருத்தும் உண்டு.&lt;ref&gt;{{Harvtxt|Halmos|1974}} pp. 16-17, § 10&lt;/ref&gt;&lt;ref group=&quot;note&quot;&gt;The term ''linear subspace'' is sometimes used for referring to [[flat (geometry)|flats]] and [[affine subspace]]s. In the case of vector spaces over the reals, linear subspaces, flats, and affine subspaces are also called ''linear manifolds'' for emphasizing that there are also [[manifold]]s.&lt;/ref&gt;&lt;ref&gt;{{harvtxt|Anton|2005|p=155}}&lt;/ref&gt;
 
 ==வரையறை==
 
 V  என்ற திசையன் வெளியில் அடங்கிய S என்ற ஒரு வெற்றில்லாத உட்கணம், V இலுள்ள அதே [[கூட்டல்|கூட்டலுக்கும்]] [[அளவெண் பெருக்கல்|அளவெண் பெருக்கலுக்கும்]] ஒரு திசையன் வெளியாகுமானால் அது V இனுடைய ''(திசையன்) உள்வெளி'' எனப் பெயர் பெறும்.
 
 எடுத்துக்காட்டாக, யூக்ளிடின் தளம் &lt;math&gt;V_2&lt;/math&gt; வை எடுத்துக்கொள்வோம். தொடக்கப்புள்ளி வழியாகச்செல்லும் எந்த நேர்கோடும் ஒரு உள்வெளி.
 
 யூக்ளிடின் முப்பரிமாண வெளி &lt;math&gt;V_3&lt;/math&gt; இல், தொடக்கப்புள்ளி வழியாகச் செல்லும் எந்த நேர்கோடும்,  எந்தத் தளமும் உள்வெளிகளே.
 
 சுருங்கச்சொன்னால், திசையன்வெளி  V இல், ஒரு குறிப்பிட்ட உறுப்பு  &lt;math&gt;u_0&lt;/math&gt; இன் எல்லா அளவெண் மடங்குகளும் சேர்ந்து ஒரு உள்வெளியாகும்.
 
 வரையறைப்படி பார்த்தால் ஒவ்வொரு முறை உள்வெளி என்று உறுதிப்படுத்துவதற்கும் திசையன்வெளியின் எல்லா நிபந்தனைகளையும் சரிபார்க்கவேண்டும் தான். ஆனால், இரண்டே நிபந்தனைகளைச் சரிபார்த்தால் போதும் என்பதற்கு ஒரு தேற்றத்தை நிறுவமுடியும். அத்தேற்றத்தின்படி,
 
 '''V  என்ற திசையன் வெளியில் அடங்கிய S என்ற ஒரு வெற்றில்லாத உட்கணம், ஒரு உள்வெளி யாவதற்கு கீழுள்ள இரண்டும் சரிபார்க்கப்பட்டால் போதும்:'''
 
 '''(உ.வெ. 1) S இல் உள்ள எந்த u, v க்கும், &lt;math&gt;u + v \in S&lt;/math&gt;;'''
 
 '''(உ.வெ. 2) &lt;math&gt;\alpha&lt;/math&gt; ஒரு அளவெண்ணானால், S இல் உள்ள எந்த  u க்கும்,  &lt;math&gt;\alpha u \in S.&lt;/math&gt;'''
 
 ==சில சார்பு வெளிகளில் உள்வெளிகள்==
 
 '''குறிப்பு''': வெளிகளின் குறியீடுகளுடைய விபரங்களுக்கு [[திசையன் வெளி|இங்கே]] பார்க்கவும்.
 
 கீழேயுள்ள உட்கணக்குறியீடுகள் காட்டும் உட்கணங்களெல்லாம் உள்வெளிகளே:
 
 &lt;math&gt;\mathcal{P}_{\mathbf{R}}[a, b] \subset  \mathcal{F}_{\mathbf{R}}[a, b]&lt;/math&gt;,
 
 ஒவ்வொரு  &lt;math&gt;1 \leq m \leq n &lt;/math&gt; க்கும்,  &lt;math&gt;\mathcal{C}^{\infty}_{\mathbf{R}}[a, b] \subset \mathcal{C}^{(n)}_{\mathbf{R}}[a, b] \subset \mathcal{C}^{(m)}_{\mathbf{R}}[a, b] \subset \mathcal{C}^{(1)}_{\mathbf{R}}[a, b] \subset  \mathcal{C}_{\mathbf{R}}[a, b] \subset \mathcal{F}_{\mathbf{R}}[a, b]&lt;/math&gt;.
 
 ==உள்வெளிகளின் வெட்டு==
 
 V ஒரு திசையன் வெளியெனக்கொள்வோம்.
 
 :*  &lt;math&gt;U&lt;/math&gt; வும்   &lt;math&gt;W&lt;/math&gt; வும்  இரண்டு உள்வெளிகளானால், &lt;math&gt;U \cap W&lt;/math&gt; வும் ஒரு உள்வெளிதான்.
 
 இதனுடைய முக்கியமான விளைவுகளில் ஒன்று ஒருங்கமைச்சமன்பாடுகளை விடுவிக்கும்போது ஏற்படுகிறது. கீழேயுள்ள மூன்று சமன்பாடுகளையும் சரியாக்கும் n-திசையன்களை எடுத்துக்கொள்வோம்:
 
 :: &lt;math&gt;W  =  \{\overline {x} = (x_1, x_2, ...,x_n) \in V_n&lt;/math&gt; : (1), (2), (3) ஐ சரியாக்குகிறது}
 :::: &lt;math&gt;\alpha_1 x_1 +\alpha_2 x_2 + ... + \alpha_n x_n =  0 &lt;/math&gt; ....... (1)
 :::: &lt;math&gt;\beta_1 x_1 + \beta_2 x_2 + ... + \beta_n x_n = 0 &lt;/math&gt; ....... (2)
 :::: &lt;math&gt;\gamma_1 x_1 + \gamma_2 x_2 + ... + \gamma_n x_n = 0&lt;/math&gt; .......(3)
 
 இதனால்  &lt;math&gt; W = W_1 \cap W_2 \cap W_3&lt;/math&gt;; இங்கு &lt;math&gt;W_i&lt;/math&gt;, i = 1,2,3 என்பது 1-வது, 2-வது, 3-வது  சமன்பாட்டின் விடைத்திசையன்களின் கணம்.
 
 ==உள்வெளிகளின் ஒன்றிப்பு==
 
 U, W இரண்டும் V இன் உள்வெளிகள் எனக்கொள்வோம்.
 
 இரண்டு உள்வெளிகளின் [[ஒன்றிப்பு]] உள்வெளியாக இருக்கவேண்டிய அவசியமில்லை.  ஆனால்  &lt;math&gt;[U  \cup  W],&lt;/math&gt; அதாவது, &lt;math&gt;U \cup W&lt;/math&gt;  இன் [[அளாவல்]] &lt;math&gt;U \cup W&lt;/math&gt; ஐ அடக்கிய மிகச்சிறிய உள்வெளி. மற்றும்  &lt;math&gt;U + W  = \{u+w: u\in U, w\in W\}&lt;/math&gt; ஒரு உள்வெளிதான். உண்மையில்,
 
 :: &lt;math&gt;  U + W  =  [U \cup W] &lt;/math&gt;
 
 என்று எளிதில் காட்டிவிடலாம்.
 
 இதற்கு மேலும் &lt;math&gt;U \cap W = \{\overline {0}\}&lt;/math&gt; ஆக இருக்குமானால்,  U + W ஐ  ஒரு '''நேரிடைக்கூட்டல்''' (direct sum) என்று சொல்வோம். இதற்கு கணிதவழக்குப்படி ஒரு பொதுக்குறியீடு உள்ளது: அ-து,  &lt;math&gt;U \oplus W&lt;/math&gt;.
 
 ==முடிவுறு பரிமாணமுள்ள திசையன்வெளியின் உள்வெளி==
 
 V ஒரு முடிவுறு [[திசையன் வெளியின் பரிமாணம்|பரிமாண]]முள்ள திசையன்வெளியென்று கொள்வோம்.
 
 :*  V இன் ஒவ்வொரு உள்வெளி U க்கும், 
 ::  &lt;math&gt;dim U \leqslant dimV&lt;/math&gt; . 
 :: U ,  V இரண்டும் ஒன்றாக  ஆகும்போதுதான்  பரிமாணங்களும் சமமாக இருக்கும்.
 
 :*  U, W இரண்டு உள்வெளிகளானால்,
 
 ::  &lt;math&gt;dim(U + W) = dim U + dim W  -  dim (U \cap W)&lt;/math&gt;
 
 :*  &lt;math&gt;U, W&lt;/math&gt; இரண்டும்  &lt;math&gt;U \cap W =  \{\overline {0}\}&lt;/math&gt; ஆக இருக்கும்படி இரண்டு உள்வெளிகளானால்,
 
 ::  &lt;math&gt;dim(U \oplus W) = dim U  +  dim W&lt;/math&gt;
 
 [[பகுப்பு:நேரியல் இயற்கணிதம்]]
 [[பகுப்பு:சார்புப் பகுவியல்]]
 
 == குறிப்புகள் ==
 {{reflist|group=note}} 
 
 == மேற்கோள்கள் ==
 {{Reflist}}