This site is not complete. The work to converting the volumes of സര്‍വ്വവിജ്ഞാനകോശം is on progress. Please bear with us
Please contact webmastersiep@yahoo.com for any queries regarding this website.

Reading Problems? see Enabling Malayalam

ടോപ്പോളജി

സര്‍വ്വവിജ്ഞാനകോശം സംരംഭത്തില്‍ നിന്ന്

(തിരഞ്ഞെടുത്ത പതിപ്പുകള്‍ തമ്മിലുള്ള വ്യത്യാസം)
('''വേര്‍തിരിവ് ആക്സിയങ്ങള്‍ (Separation axioms).''')
(ടോപ്പോളജി)
 
(ഇടക്കുള്ള 14 പതിപ്പുകളിലെ മാറ്റങ്ങള്‍ ഇവിടെ കാണിക്കുന്നില്ല.)
വരി 6: വരി 6:
ടോപ്പോളജിക്ക് രണ്ടു പ്രധാന ശാഖകളാണുള്ളത്; പൊതു (General) ടോപ്പോളജിയും ബീജീയ (Algebraic) ടോപ്പോളജിയും. ഗണിത വിശ്ലേഷണവുമായി ബന്ധപ്പെട്ട പ്രശ്നങ്ങള്‍ കൈകാര്യം ചെയ്യാനുള്ള വിശാലമായ ഒരു വേദി എന്ന നിലയ്ക്കാണ് പൊതു ടോപ്പോളജി വികസിച്ചു വന്നത്. ജ്യാമിതീയ പഠനത്തില്‍ നിന്നുണ്ടായ പ്രശ്നങ്ങള്‍ കൈകാര്യം ചെയ്യുന്ന ശാഖയാണ് ബീജീയ ടോപ്പോളജി. ഗ്രൂപ്പ് തിയറി ഉള്‍പ്പെടെയുള്ള സിദ്ധാന്തങ്ങള്‍ ഉപയോഗപ്പെടുത്തുന്നു എന്നതാണ് ബീജീയ ടോപ്പോളജിയുടെ സവിശേഷത.
ടോപ്പോളജിക്ക് രണ്ടു പ്രധാന ശാഖകളാണുള്ളത്; പൊതു (General) ടോപ്പോളജിയും ബീജീയ (Algebraic) ടോപ്പോളജിയും. ഗണിത വിശ്ലേഷണവുമായി ബന്ധപ്പെട്ട പ്രശ്നങ്ങള്‍ കൈകാര്യം ചെയ്യാനുള്ള വിശാലമായ ഒരു വേദി എന്ന നിലയ്ക്കാണ് പൊതു ടോപ്പോളജി വികസിച്ചു വന്നത്. ജ്യാമിതീയ പഠനത്തില്‍ നിന്നുണ്ടായ പ്രശ്നങ്ങള്‍ കൈകാര്യം ചെയ്യുന്ന ശാഖയാണ് ബീജീയ ടോപ്പോളജി. ഗ്രൂപ്പ് തിയറി ഉള്‍പ്പെടെയുള്ള സിദ്ധാന്തങ്ങള്‍ ഉപയോഗപ്പെടുത്തുന്നു എന്നതാണ് ബീജീയ ടോപ്പോളജിയുടെ സവിശേഷത.
-
=='''പൊതു ടോപ്പോളജി.'''==
+
'''പൊതു ടോപ്പോളജി.'''വാസ്തവിക സംഖ്യാ ഫലനങ്ങളുടെ പഠനമാണ് ഈ ശാഖയുടെ വികാസത്തിനു പ്രചോദനം നല്‍കിയത്; പ്രധാനമായും സന്തത (continuous) ഫലനങ്ങളുടെ പഠനം. കുറേക്കൂടി അമൂര്‍ത്തമായ തലത്തില്‍ സന്തത ഫലനങ്ങളെ വീക്ഷിക്കാനുള്ള ശ്രമം പൊതു ടോപ്പോളജിയില്‍ ദൃശ്യമാണ്. സന്തത സ്വഭാവം വ്യക്തമാക്കാന്‍ അവശ്യം വേണ്ട ഘടകങ്ങളുടെ അന്വേഷണം പുതിയ സ്പേയ്സിന്റെ ആവിഷ്ക്കാരത്തിലേക്കു നയിക്കുന്നു. ടോപ്പോളജീയ സ്പേയ്സ്, മെട്രിക് സ്പേയ്സ് എന്നിവ ഇത്തരത്തില്‍ നിര്‍വചിക്കപ്പെട്ടവയാണ്. വാസ്തവിക സംഖ്യകളുടെ ഫലനത്തെ ഇത്തരം അമൂര്‍ത്ത തലങ്ങളിലെ ഫലനങ്ങളുടെ ഒരു പ്രത്യേക ഇനമായി കണക്കാക്കാമെന്നതാണ് ഈ അമൂര്‍ത്തവത്ക്കരണത്തിന്റെ പ്രസക്തി.
-
വാസ്തവിക സംഖ്യാ ഫലനങ്ങളുടെ പഠനമാണ് ഈ ശാഖയുടെ വികാസത്തിനു പ്രചോദനം നല്‍കിയത്; പ്രധാനമായും സന്തത (continuous) ഫലനങ്ങളുടെ പഠനം. കുറേക്കൂടി അമൂര്‍ത്തമായ തലത്തില്‍ സന്തത ഫലനങ്ങളെ വീക്ഷിക്കാനുള്ള ശ്രമം പൊതു ടോപ്പോളജിയില്‍ ദൃശ്യമാണ്. സന്തത സ്വഭാവം വ്യക്തമാക്കാന്‍ അവശ്യം വേണ്ട ഘടകങ്ങളുടെ അന്വേഷണം പുതിയ സ്പേയ്സിന്റെ ആവിഷ്ക്കാരത്തിലേക്കു നയിക്കുന്നു. ടോപ്പോളജീയ സ്പേയ്സ്, മെട്രിക് സ്പേയ്സ് എന്നിവ ഇത്തരത്തില്‍ നിര്‍വചിക്കപ്പെട്ടവയാണ്. വാസ്തവിക സംഖ്യകളുടെ ഫലനത്തെ ഇത്തരം അമൂര്‍ത്ത തലങ്ങളിലെ ഫലനങ്ങളുടെ ഒരു പ്രത്യേക ഇനമായി കണക്കാക്കാമെന്നതാണ് ഈ അമൂര്‍ത്തവത്ക്കരണത്തിന്റെ പ്രസക്തി.
+
-
=='''മെട്രിക് സ്പേയ്സ്.'''==
+
'''മെട്രിക് സ്പേയ്സ്.'''സംഖ്യകള്‍ തമ്മിലുള്ള ദൂരം എന്നത് സന്തത ഫലനങ്ങളുടെ നിര്‍വചനത്തിലും ശ്രേണികളുടെ അഭിസരണത്തിലും (convergence) ഉപയോഗപ്പെടുത്തുന്ന ഒരു ആശയമാണ്. ഉദാഹരണത്തിന് {a<sub>n</sub>} എന്ന വാസ്തവിക സംഖ്യാശ്രേണിയുടെ അഭിസരണം പരിഗണിക്കുക. ഈ ശ്രേണി &iota; എന്ന വാസ്തവിക സംഖ്യയിലേക്ക് അഭിസരണം ചെയ്യുന്നു എന്നതിനര്‍ഥം {a<sub>n</sub>} ഉം  &iota; ഉം തമ്മിലുള്ള ദൂരം ക്രമേണ കുറഞ്ഞു കുറഞ്ഞ് {a<sub>n</sub>}എന്ന ശ്രേണി  നോട് എത്ര വേണമെങ്കിലും അടുത്തു വരുന്നു എന്നതാണ്. ഇതിനെ കൂടുതല്‍ കൃത്യമായി പറയുന്നത് താഴെ കൊടുക്കും വിധം ആണ്.  
-
സംഖ്യകള്‍ തമ്മിലുള്ള ദൂരം എന്നത് സന്തത ഫലനങ്ങളുടെ നിര്‍വചനത്തിലും ശ്രേണികളുടെ അഭിസരണത്തിലും (convergence) ഉപയോഗപ്പെടുത്തുന്ന ഒരു ആശയമാണ്. ഉദാഹരണത്തിന് {a<sub>n</sub>} എന്ന വാസ്തവിക സംഖ്യാശ്രേണിയുടെ അഭിസരണം പരിഗണിക്കുക. ഈ ശ്രേണി &iota; എന്ന വാസ്തവിക സംഖ്യയിലേക്ക് അഭിസരണം ചെയ്യുന്നു എന്നതിനര്‍ഥം {a<sub>n</sub>} ഉം  &iota; ഉം തമ്മിലുള്ള ദൂരം ക്രമേണ കുറഞ്ഞു കുറഞ്ഞ് {a<sub>n</sub>}എന്ന ശ്രേണി  നോട് എത്ര വേണമെങ്കിലും അടുത്തു വരുന്നു എന്നതാണ്. ഇതിനെ കൂടുതല്‍ കൃത്യമായി പറയുന്നത് താഴെ കൊടുക്കും വിധം ആണ്.  
+
ഏതൊരു വാസ്തവിക സംഖ്യ &epsilon; > 0 തന്നിരുന്നാലും അതിനോടു ബന്ധപ്പെട്ട് N എന്ന ഒരു പൂര്‍ണസംഖ്യ താഴെപ്പറയുന്ന നിബന്ധന അനുസരിക്കുന്നതായി ഉണ്ടാകണം.
ഏതൊരു വാസ്തവിക സംഖ്യ &epsilon; > 0 തന്നിരുന്നാലും അതിനോടു ബന്ധപ്പെട്ട് N എന്ന ഒരു പൂര്‍ണസംഖ്യ താഴെപ്പറയുന്ന നിബന്ധന അനുസരിക്കുന്നതായി ഉണ്ടാകണം.
വരി 40: വരി 38:
[[Image:395formula6.png|300px]]
[[Image:395formula6.png|300px]]
-
=='''സന്തത ഫലനങ്ങള്‍.''' ==
+
'''സന്തത ഫലനങ്ങള്‍.''' മെട്രിക് തലങ്ങളില്‍ ദൂരം എന്ന ആശയം ഉള്ളതുകൊണ്ട് ശ്രേണികളുടെ അഭിസരണം പരിഗണിക്കാവുന്നതാണ്. അതുപോലെ തന്നെ ഫലനങ്ങളുടെ സന്തതത്വവും ഇത്തരം സ്പേയ്സുകളില്‍ പ്രതിപാദിക്കാവുന്നതാണ്.
-
മെട്രിക് തലങ്ങളില്‍ ദൂരം എന്ന ആശയം ഉള്ളതുകൊണ്ട് ശ്രേണികളുടെ അഭിസരണം പരിഗണിക്കാവുന്നതാണ്. അതുപോലെ തന്നെ ഫലനങ്ങളുടെ സന്തതത്വവും ഇത്തരം സ്പേയ്സുകളില്‍ പ്രതിപാദിക്കാവുന്നതാണ്.
+
രേഖീയ സംഖ്യകളുടെ ഒരു ഫലനമായ f ന്റെ സന്തതത്വം ഒരു ബിന്ദുവില്‍ പ്രകടമാക്കുന്ന രീതി ശ്രദ്ധിക്കുക.x<sub>0</sub> എന്ന ബിന്ദുവില്‍ f സന്തതമാണെന്നതിന്റെ അര്‍ഥം x എന്ന ബിന്ദു x<sub>0</sub> നോട് അടുക്കുന്തോറും f(x), f(x<sub>0</sub>) നോട് അടുക്കുന്നു എന്നാണ്. ഈ സാമീപ്യം വിടവില്ലാതെ തുടരും എന്നതാണ് സന്തതഫലനങ്ങളുടെ സ്വഭാവം. ഇവിടെ സാമീപ്യം മനസ്സിലാക്കുന്നത് ദൂരം ഉപയോഗിച്ചാണ്. ദൂരം മെട്രിക് ഉപയോഗിച്ചും വ്യക്തമാക്കുന്നു. അപ്പോള്‍ f(x), f(x<sub>0</sub>) നോട് സമീപമാണെന്നത് d(f(x), f(x<sub>0</sub>)) ചെറുതാണ് എന്നതിനു തുല്യമാണ്.
രേഖീയ സംഖ്യകളുടെ ഒരു ഫലനമായ f ന്റെ സന്തതത്വം ഒരു ബിന്ദുവില്‍ പ്രകടമാക്കുന്ന രീതി ശ്രദ്ധിക്കുക.x<sub>0</sub> എന്ന ബിന്ദുവില്‍ f സന്തതമാണെന്നതിന്റെ അര്‍ഥം x എന്ന ബിന്ദു x<sub>0</sub> നോട് അടുക്കുന്തോറും f(x), f(x<sub>0</sub>) നോട് അടുക്കുന്നു എന്നാണ്. ഈ സാമീപ്യം വിടവില്ലാതെ തുടരും എന്നതാണ് സന്തതഫലനങ്ങളുടെ സ്വഭാവം. ഇവിടെ സാമീപ്യം മനസ്സിലാക്കുന്നത് ദൂരം ഉപയോഗിച്ചാണ്. ദൂരം മെട്രിക് ഉപയോഗിച്ചും വ്യക്തമാക്കുന്നു. അപ്പോള്‍ f(x), f(x<sub>0</sub>) നോട് സമീപമാണെന്നത് d(f(x), f(x<sub>0</sub>)) ചെറുതാണ് എന്നതിനു തുല്യമാണ്.
വരി 49: വരി 46:
നിബന്ധന: d<sub>1</sub> (x,x<sub>0</sub>) < &delta; ആണെങ്കില്‍ d<sub>2</sub> (f(x), f(x<sub>0</sub>)) < &epsilon; ആയിരിക്കും.
നിബന്ധന: d<sub>1</sub> (x,x<sub>0</sub>) < &delta; ആണെങ്കില്‍ d<sub>2</sub> (f(x), f(x<sub>0</sub>)) < &epsilon; ആയിരിക്കും.
-
=='''സാമീപ്യം.''' ==
+
'''സാമീപ്യം.''' സാമീപ്യം എന്ന ആശയത്തെ കൂടുതല്‍ കൃത്യതയോടെ നിര്‍വചിച്ചാല്‍ സന്തതസ്വഭാവം വ്യക്തമാക്കാന്‍ ഈ ആശയം മതിയാകും എന്നു കാണാം. ഉദാഹരണത്തിന് f(x), f(x<sub>0</sub>)ന് സമീപം ആണ് എന്നതിനെ f(x), f(x<sub>0</sub>) ന്റെ ഒരു സാമീപ്യ മേഖലയില്‍ ആണ് എന്നും പറയാം. അങ്ങനെ ഓരോ ബിന്ദുവിനും സാമീപ്യ മേഖലകള്‍ നിര്‍ണയിച്ചാല്‍ അതിന്റെ അടിസ്ഥാനത്തില്‍ ശ്രേണികളുടെ അഭിസരണം, ഫലനങ്ങളുടെ സന്തതത്വം ഇവ പരിഗണിക്കാവുന്നതാണ്. ഇത്തരം ഒരു സമീപനമാണ് പൊതു ടോപ്പോളജിയില്‍ സ്വീകരിച്ചിട്ടുള്ളത്. ദൂരം എന്ന ആശയത്തില്‍ നിന്നാണ് സാമീപ്യം എന്ന ആശയം ഉടലെടുക്കുന്നതെങ്കിലും, സാമീപ്യം എന്ന ആശയം സ്വതന്ത്രമായി വ്യവഹരിക്കാവുന്നതാണ്. ഈ ദിശയിലുള്ള ശ്രമമാണ് പൊതു ടോപ്പോളജിയിലൂടെ പ്രകടമാകുന്നത്. 1906-ല്‍ ഫ്രെഷെ (Frechet) യുടെ മെട്രിക് സ്പേയ്സിനെപ്പറ്റിയുള്ള പഠനം, 1909-ല്‍ റീസ്സിന്റെ സീമാബിന്ദുക്കളെപ്പറ്റിയുള്ള പഠനം, 1913-ലെ വെയ്ലിന്റെ സാമീപ്യങ്ങളെ ആശ്രയിച്ചുള്ള സ്പേയ്സുകളുടെ പഠനം എന്നിവയാണ് ഈ ദിശയിലുള്ള ആദ്യ ശ്രമങ്ങള്‍. 1914-ല്‍ ഹൗസ്ഡോര്‍ഫ് രചിച്ച പ്രബന്ധത്തില്‍ ടോപ്പോളജീയ സ്പേയ്സ് കൂടുതല്‍ വ്യക്തതയോടെ നിര്‍വചിച്ചു. ഇതോടെ പൊതു ടോപ്പോളജി കൂടുതല്‍ പ്രയോഗക്ഷമമായി മാറുകയും ചെയ്തു.
-
സാമീപ്യം എന്ന ആശയത്തെ കൂടുതല്‍ കൃത്യതയോടെ നിര്‍വചിച്ചാല്‍ സന്തതസ്വഭാവം വ്യക്തമാക്കാന്‍ ഈ ആശയം മതിയാകും എന്നു കാണാം. ഉദാഹരണത്തിന് f(x), f(x<sub>0</sub>)ന് സമീപം ആണ് എന്നതിനെ f(x), f(x<sub>0</sub>) ന്റെ ഒരു സാമീപ്യ മേഖലയില്‍ ആണ് എന്നും പറയാം. അങ്ങനെ ഓരോ ബിന്ദുവിനും സാമീപ്യ മേഖലകള്‍ നിര്‍ണയിച്ചാല്‍ അതിന്റെ അടിസ്ഥാനത്തില്‍ ശ്രേണികളുടെ അഭിസരണം, ഫലനങ്ങളുടെ സന്തതത്വം ഇവ പരിഗണിക്കാവുന്നതാണ്. ഇത്തരം ഒരു സമീപനമാണ് പൊതു ടോപ്പോളജിയില്‍ സ്വീകരിച്ചിട്ടുള്ളത്. ദൂരം എന്ന ആശയത്തില്‍ നിന്നാണ് സാമീപ്യം എന്ന ആശയം ഉടലെടുക്കുന്നതെങ്കിലും, സാമീപ്യം എന്ന ആശയം സ്വതന്ത്രമായി വ്യവഹരിക്കാവുന്നതാണ്. ഈ ദിശയിലുള്ള ശ്രമമാണ് പൊതു ടോപ്പോളജിയിലൂടെ പ്രകടമാകുന്നത്. 1906-ല്‍ ഫ്രെഷെ (Frechet) യുടെ മെട്രിക് സ്പേയ്സിനെപ്പറ്റിയുള്ള പഠനം, 1909-ല്‍ റീസ്സിന്റെ സീമാബിന്ദുക്കളെപ്പറ്റിയുള്ള പഠനം, 1913-ലെ വെയ്ലിന്റെ സാമീപ്യങ്ങളെ ആശ്രയിച്ചുള്ള സ്പേയ്സുകളുടെ പഠനം എന്നിവയാണ് ഈ ദിശയിലുള്ള ആദ്യ ശ്രമങ്ങള്‍. 1914-ല്‍ ഹൗസ്ഡോര്‍ഫ് രചിച്ച പ്രബന്ധത്തില്‍ ടോപ്പോളജീയ സ്പേയ്സ് കൂടുതല്‍ വ്യക്തതയോടെ നിര്‍വചിച്ചു. ഇതോടെ പൊതു ടോപ്പോളജി കൂടുതല്‍ പ്രയോഗക്ഷമമായി മാറുകയും ചെയ്തു.
+
-
=='''ടോപ്പോളജീയ സ്പേയ്സ്.'''==
+
'''ടോപ്പോളജീയ സ്പേയ്സ്.'''X ഒരു അശൂന്യ ഗണവും  &tau;എന്നത് X-ന്റെ ഉപഗണങ്ങളുടെ ഒരു സമൂഹവും (class) ആണെന്നിരിക്കട്ടെ. താഴെപ്പറയുന്ന നിബന്ധനകള്‍ പാലിച്ചാല്‍ X ലുള്ള ഒരു ടോപ്പോളജിയാണ് &tau; എന്നുപറയാം.
-
X ഒരു അശൂന്യ ഗണവും  &tau;എന്നത് X-ന്റെ ഉപഗണങ്ങളുടെ ഒരു സമൂഹവും (class) ആണെന്നിരിക്കട്ടെ. താഴെപ്പറയുന്ന നിബന്ധനകള്‍ പാലിച്ചാല്‍ X ലുള്ള ഒരു ടോപ്പോളജിയാണ് &tau; എന്നുപറയാം.
+
[[Image:396formula1.png]]
[[Image:396formula1.png]]
വരി 68: വരി 63:
(X,d) ഒരു മെട്രിക് സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. x എന്നത് X ലെ ഒരംഗവും r എന്നത് ഒരു ധന സംഖ്യയും ആണെങ്കില്‍ S<sub>r</sub> (x) =  {y &isin;X : d (x,y) < r} എന്നത് X ന്റെ ഒരു ഉപഗണം ആണ്. ഇതിനെ ഒരു വിവൃത ഗോളം എന്നുപറയുന്നു. S<sub>r</sub> (x) എന്ന വിവൃത ഗോളത്തിന്റെ ആരം r ഉം കേന്ദ്രം r ഉം ആണ്. ഇത്തരം വിവൃത ഗോളങ്ങളുടെ യോഗത്തെ മെട്രിക് സ്പേയ്സിലെ വിവൃത ഗണങ്ങള്‍ എന്നു പറയുന്നു. S<sub>r</sub> (x) എന്നതും ഈ അര്‍ത്ഥത്തില്‍ ഒരു വിവൃത ഗണം ആണ്. X ഉം  &phi;  ഉം വിവൃത ഗണങ്ങള്‍ ആണെന്നു കാണാം. ഈ വിവൃത ഗണങ്ങളുടെ സമൂഹം X ന്റെ ഒരു ടോപ്പോളജിയാണ്. ഇതിനെ മെട്രിക് ടോപ്പോളജി എന്നു പറയുന്നു.
(X,d) ഒരു മെട്രിക് സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. x എന്നത് X ലെ ഒരംഗവും r എന്നത് ഒരു ധന സംഖ്യയും ആണെങ്കില്‍ S<sub>r</sub> (x) =  {y &isin;X : d (x,y) < r} എന്നത് X ന്റെ ഒരു ഉപഗണം ആണ്. ഇതിനെ ഒരു വിവൃത ഗോളം എന്നുപറയുന്നു. S<sub>r</sub> (x) എന്ന വിവൃത ഗോളത്തിന്റെ ആരം r ഉം കേന്ദ്രം r ഉം ആണ്. ഇത്തരം വിവൃത ഗോളങ്ങളുടെ യോഗത്തെ മെട്രിക് സ്പേയ്സിലെ വിവൃത ഗണങ്ങള്‍ എന്നു പറയുന്നു. S<sub>r</sub> (x) എന്നതും ഈ അര്‍ത്ഥത്തില്‍ ഒരു വിവൃത ഗണം ആണ്. X ഉം  &phi;  ഉം വിവൃത ഗണങ്ങള്‍ ആണെന്നു കാണാം. ഈ വിവൃത ഗണങ്ങളുടെ സമൂഹം X ന്റെ ഒരു ടോപ്പോളജിയാണ്. ഇതിനെ മെട്രിക് ടോപ്പോളജി എന്നു പറയുന്നു.
-
X ഏതെങ്കിലും ഒരു അശൂന്യ ഗണം ആണെന്നിരിക്കട്ടെ.  
+
X ഏതെങ്കിലും ഒരു അശൂന്യ ഗണം ആണെന്നിരിക്കട്ടെ. &tau;<sub>1</sub> = {X,&phi;} എന്നത് X ലെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനെ അവിവിക്ത (Indiscrete) ടോപ്പോളജി എന്നു പറയുന്നു. &tau;<sub>2</sub> എന്നത് X ന്റെ എല്ലാ ഉപഗണങ്ങളുടേയും സമൂഹമാണെങ്കില്‍ &tau;<sub>2</sub> ഉം ഒരു ടോപ്പോളജിയാണ്. &tau;<sub>2</sub> നെ വിവിക്ത (Discrete) ടോപ്പോളജി എന്നു പറയുന്നു. X ലെ ഏതൊരു ടോപ്പോളജിയും ഇവയുടെ ഇടയിലായിരിക്കും. അതായത് X ലെ ഏതൊരു ടോപ്പോളജി &tau; യും
 +
&tau;<sub>1</sub> &le; &tau; &le; &tau;<sub>2</sub>  എന്ന നിബന്ധന പാലിക്കും.
-
&tau;1 = {X,&phi;} എന്നത് X ലെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനെ അവിവിക്ത (Indiscrete) ടോപ്പോളജി എന്നു പറയുന്നു. &tau;<sub>2</sub> എന്നത് X ന്റെ എല്ലാ ഉപഗണങ്ങളുടേയും സമൂഹമാണെങ്കില്‍ &tau;<sub>2</sub> ഉം ഒരു ടോപ്പോളജിയാണ്. &tau;<sub>2</sub> നെ വിവിക്ത (Discrete) ടോപ്പോളജി എന്നു പറയുന്നു. X ലെ ഏതൊരു ടോപ്പോളജിയും ഇവയുടെ ഇടയിലായിരിക്കും. അതായത് X ലെ ഏതൊരു ടോപ്പോളജി &tau; യും
+
'''വിവൃത ഗണങ്ങളും സംവൃത ഗണങ്ങളും.''' (X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. &tau; ലെ അംഗങ്ങളെ വിവൃത ഗണങ്ങള്‍ എന്നാണ് പറയുന്നതെന്ന് നേരത്തെ വ്യക്തമാക്കിയിരുന്നു. വിവൃത ഗണങ്ങളുടെ പൂരകങ്ങളെ (complements) സംവൃത ഗണങ്ങള്‍ എന്നു പറയുന്നു. (X,&tau;) എന്ന ടോപ്പോളജീയ സ്പേയ്സില്‍ X,&phi; ഇവ വിവൃതങ്ങളും സംവൃതങ്ങളും ആണ്.
-
&tau;<sub>1</sub>&le;&tau;&le;&tau;<sub>2</sub>  എന്ന നിബന്ധന പാലിക്കും.
+
-
 
+
-
=='''വിവൃത ഗണങ്ങളും സംവൃത ഗണങ്ങളും.''' ==
+
-
(X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. &tau; ലെ അംഗങ്ങളെ വിവൃത ഗണങ്ങള്‍ എന്നാണ് പറയുന്നതെന്ന് നേരത്തെ വ്യക്തമാക്കിയിരുന്നു. വിവൃത ഗണങ്ങളുടെ പൂരകങ്ങളെ (complements) സംവൃത ഗണങ്ങള്‍ എന്നു പറയുന്നു. (X,&tau;) എന്ന ടോപ്പോളജീയ സ്പേയ്സില്‍ X,&phi; ഇവ വിവൃതങ്ങളും സംവൃതങ്ങളും ആണ്.
+
വിവൃത ഗണങ്ങള്‍ പാലിക്കേ വ്യവസ്ഥകള്‍ അടിസ്ഥാനപ്പെടുത്തിയാണ് ടോപ്പോളജി നിര്‍വചിച്ചിരിക്കുന്നത്. ഈ വ്യവസ്ഥകള്‍ക്കു പകരം സംവൃത ഗണങ്ങള്‍ പാലിക്കേ വ്യവസ്ഥകള്‍ ഉപയോഗിച്ചും ടോപ്പോളജി നിര്‍വചിക്കാം. സംവൃത ഗണങ്ങള്‍ പാലിക്കേ വ്യവസ്ഥകള്‍ ഇവയാണ്.
വിവൃത ഗണങ്ങള്‍ പാലിക്കേ വ്യവസ്ഥകള്‍ അടിസ്ഥാനപ്പെടുത്തിയാണ് ടോപ്പോളജി നിര്‍വചിച്ചിരിക്കുന്നത്. ഈ വ്യവസ്ഥകള്‍ക്കു പകരം സംവൃത ഗണങ്ങള്‍ പാലിക്കേ വ്യവസ്ഥകള്‍ ഉപയോഗിച്ചും ടോപ്പോളജി നിര്‍വചിക്കാം. സംവൃത ഗണങ്ങള്‍ പാലിക്കേ വ്യവസ്ഥകള്‍ ഇവയാണ്.
വരി 84: വരി 76:
T<sub>3</sub>' : സംവൃത ഗണങ്ങളുടെ ഏതു പരിമിത യോഗവും സംവൃത ഗണം ആണ്.
T<sub>3</sub>' : സംവൃത ഗണങ്ങളുടെ ഏതു പരിമിത യോഗവും സംവൃത ഗണം ആണ്.
-
=='''ആഭ്യന്തരവും സംവൃതവും.'''==
+
'''ആഭ്യന്തരവും സംവൃതവും.'''(X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സും A &sube; X ഉം ആണെന്നു സങ്കല്പിക്കുക. അ സംവൃതമോ വിവൃതമോ ആകണമെന്നില്ല. &phi; &sube; A ആകയാല്‍ A യ്ക്ക് വിവൃത ഉപഗണം ഉണ്ട് എന്നു കിട്ടുന്നു. A യുടെ വിവൃത ഉപഗണങ്ങളുടെ യോഗം A യുടെ ഉപഗണവും, വിവൃത ഗണവും ആണ്. ഇതിനെ A<sup>0</sup> എന്നാണ് സൂചിപ്പിക്കുക. A<sup>0</sup> എന്നത് A യുടെ ഏറ്റവും വലിയ വിവൃത ഉപഗണം ആണ്. A തന്നെ വിവൃത ഗണം ആണെങ്കില്‍ A<sup>0</sup> = A ആണ്. A<sup>0</sup> യെ A യുടെ ആഭ്യന്തരം എന്നു പറയുന്നു.
-
(X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സും A &sube; X ഉം ആണെന്നു സങ്കല്പിക്കുക. അ സംവൃതമോ വിവൃതമോ ആകണമെന്നില്ല. &phi;&sube; A ആകയാല്‍ A യ്ക്ക് വിവൃത ഉപഗണം ഉണ്ട് എന്നു കിട്ടുന്നു. A യുടെ വിവൃത ഉപഗണങ്ങളുടെ യോഗം A യുടെ ഉപഗണവും, വിവൃത ഗണവും ആണ്. ഇതിനെ A<sup>0</sup> എന്നാണ് സൂചിപ്പിക്കുക. A<sup>0</sup> എന്നത് A യുടെ ഏറ്റവും വലിയ വിവൃത ഉപഗണം ആണ്. A തന്നെ വിവൃത ഗണം ആണെങ്കില്‍ A<sup>0</sup> = A ആണ്. A<sup>0</sup> യെ A യുടെ ആഭ്യന്തരം എന്നു പറയുന്നു.
+
A &sube; X എന്നതില്‍നിന്ന് A യ്ക്ക് സംവൃതമായ അധിഗണങ്ങള്‍ ഉണ്ട് എന്നു വ്യക്തമാകുന്നു. ഇത്തരം സംവൃത അധിഗണങ്ങളുടെ സംഗമം ഒരു സംവൃതഗണവും A യുടെ അധിഗണവും ആണ്. ഇതിനെ  <math>\bar{A} </math> എന്നാണ് സൂചിപ്പിക്കുന്നത്. <math>\bar{A} </math>നെ A യുടെ സംവൃതം (closure) എന്നു പറയുന്നു. A ഉള്‍ക്കൊള്ളുന്ന ഏറ്റവും ചെറിയ സംവൃത ഗണമാണ് . A ഒരു സംവൃത ഗണമാണെങ്കില്‍ <math>\bar{A} </math>  = A ആണ്.
A &sube; X എന്നതില്‍നിന്ന് A യ്ക്ക് സംവൃതമായ അധിഗണങ്ങള്‍ ഉണ്ട് എന്നു വ്യക്തമാകുന്നു. ഇത്തരം സംവൃത അധിഗണങ്ങളുടെ സംഗമം ഒരു സംവൃതഗണവും A യുടെ അധിഗണവും ആണ്. ഇതിനെ  <math>\bar{A} </math> എന്നാണ് സൂചിപ്പിക്കുന്നത്. <math>\bar{A} </math>നെ A യുടെ സംവൃതം (closure) എന്നു പറയുന്നു. A ഉള്‍ക്കൊള്ളുന്ന ഏറ്റവും ചെറിയ സംവൃത ഗണമാണ് . A ഒരു സംവൃത ഗണമാണെങ്കില്‍ <math>\bar{A} </math>  = A ആണ്.
-
=='''സംവൃതം സംബന്ധിച്ച ചില പ്രമേയങ്ങള്‍'''==
+
''സംവൃതം സംബന്ധിച്ച ചില പ്രമേയങ്ങള്‍'''
-
=='''പ്രമേയം 1.'''==
+
'''പ്രമേയം 1.'''X ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. A, B ഇവ X ന്റെ ഉപഗണങ്ങള്‍ ആണെങ്കില്‍ താഴെപ്പറയുന്ന പ്രസ്താവനകള്‍ ശരിയാണ്.
-
X ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. A, B ഇവ X ന്റെ ഉപഗണങ്ങള്‍ ആണെങ്കില്‍ താഴെപ്പറയുന്ന പ്രസ്താവനകള്‍ ശരിയാണ്.
+
[[Image:pno396for1.png]]
[[Image:pno396for1.png]]
വരി 98: വരി 88:
സംവൃത ക്രിയ ഉപയോഗിച്ച് ടോപ്പോളജി നിര്‍വചിക്കാവുന്നതാണ്. അടുത്ത പ്രമേയം ഇതിന്റെ രീതി വ്യക്തമാക്കുന്നു.
സംവൃത ക്രിയ ഉപയോഗിച്ച് ടോപ്പോളജി നിര്‍വചിക്കാവുന്നതാണ്. അടുത്ത പ്രമേയം ഇതിന്റെ രീതി വ്യക്തമാക്കുന്നു.
-
=='''പ്രമേയം 2.'''==
+
'''പ്രമേയം 2.'''X ഒരു അശൂന്യഗണം ആണെന്നു സങ്കല്പിക്കുക.  എന്നത് A &rarr;<math>\bar {A}</math> ന്റെ ഉപഗണങ്ങള്‍ തമ്മിലുള്ള ഒരു ബന്ധം ആണെന്നിരിക്കട്ടെ. താഴെപ്പറയുന്ന നിബന്ധനകള്‍ പാലിക്കുന്നു എന്നു കരുതുക.
-
X ഒരു അശൂന്യഗണം ആണെന്നു സങ്കല്പിക്കുക.  എന്നത് ന്റെ ഉപഗണങ്ങള്‍ തമ്മിലുള്ള ഒരു ബന്ധം ആണെന്നിരിക്കട്ടെ. താഴെപ്പറയുന്ന നിബന്ധനകള്‍ പാലിക്കുന്നു എന്നു കരുതുക.
+
 
 +
[[Image:pno396for2.png]]
-
അപ്പോള്‍ A = A എന്ന വ്യവസ്ഥ പാലിക്കുന്ന ഉപഗണങ്ങള്‍ സംവൃത ഗണങ്ങള്‍ ആകുന്ന ഒരു ടോപ്പോളജി X ന് ഉണ്ടാവും. മാത്രമല്ല ഈ ടോപ്പോളജീയ സ്പേയ്സില്‍ എന്ന ഉപഗണത്തിന്റെ സംവൃതം മുകളില്‍ തന്നിട്ടുള്ള  എന്ന ഗണം ആകുകയും ചെയ്യും.
+
അപ്പോള്‍ A = <math>\bar{A}</math> എന്ന വ്യവസ്ഥ പാലിക്കുന്ന ഉപഗണങ്ങള്‍ സംവൃത ഗണങ്ങള്‍ ആകുന്ന ഒരു ടോപ്പോളജി X ന് ഉണ്ടാവും. മാത്രമല്ല ഈ ടോപ്പോളജീയ സ്പേയ്സില്‍ A എന്ന ഉപഗണത്തിന്റെ സംവൃതം മുകളില്‍ തന്നിട്ടുള്ള  എന്ന ഗണം ആകുകയും ചെയ്യും.
സാമീപ്യം എന്ന ആശയം ടോപ്പോളജീയ സ്പേയ്സില്‍ വളരെ പ്രയോജനകരമാണ്. X ഒരു ടോപ്പോളജീയ സ്പേയ്സും x &isin; Xഉം ആണെന്നിരിക്കട്ടെ. x അംഗമായുള്ള ഒരു വിവൃത ഗണം ഉള്‍ക്കൊള്ളുന്ന ഏതു ഗണത്തേയും x ന്റെ ഒരു സാമീപ്യം എന്നു പറയാം. ഉദാഹരണമായി R എന്നത് വാസ്തവിക സംഖ്യകളുടെ ഗണം സാധാരണ ടോപ്പോളജി ഉള്‍പ്പെടുത്തി കണക്കാക്കുക. 0 എന്ന അംഗത്തിന്റെ സാമീപ്യങ്ങളാണ് (1,1), (2,1), (2,3) തുടങ്ങിയവ.
സാമീപ്യം എന്ന ആശയം ടോപ്പോളജീയ സ്പേയ്സില്‍ വളരെ പ്രയോജനകരമാണ്. X ഒരു ടോപ്പോളജീയ സ്പേയ്സും x &isin; Xഉം ആണെന്നിരിക്കട്ടെ. x അംഗമായുള്ള ഒരു വിവൃത ഗണം ഉള്‍ക്കൊള്ളുന്ന ഏതു ഗണത്തേയും x ന്റെ ഒരു സാമീപ്യം എന്നു പറയാം. ഉദാഹരണമായി R എന്നത് വാസ്തവിക സംഖ്യകളുടെ ഗണം സാധാരണ ടോപ്പോളജി ഉള്‍പ്പെടുത്തി കണക്കാക്കുക. 0 എന്ന അംഗത്തിന്റെ സാമീപ്യങ്ങളാണ് (1,1), (2,1), (2,3) തുടങ്ങിയവ.
-
=='''ആധാരവും ഉപ ആധാരവും.'''==
+
'''ആധാരവും ഉപ ആധാരവും.'''ഒരു ടോപ്പോളജീയ സ്പേയ്സിലെ വിവൃത ഉപഗണങ്ങള്‍ ആണ് അതിലെ ടോപ്പോളജി നിര്‍ണയിക്കുന്നത്. വിവൃത ഉപഗണങ്ങള്‍ പാലിക്കുന്ന വ്യവസ്ഥകള്‍ പ്രകാരം സംഗമം, യോഗം എന്നിവയിലൂടെ വീണ്ടും വിവൃതഗണങ്ങള്‍ സൃഷ്ടിക്കപ്പെടുന്നു. ഉദാഹരണത്തിന് A,B എന്നിവ വിവൃത ഗണങ്ങള്‍ ആണെങ്കില്‍ A &cup;B,A &cap; B  എന്നിവയും വിവൃത ഗണങ്ങള്‍ ആണ്. വിവൃത ഉപഗണങ്ങള്‍ മുഴുവന്‍ ഇപ്രകാരം ചെറിയ ഒരു ഉപഗണ സമൂഹത്തില്‍ നിന്നും സൃഷ്ടിച്ചെടുക്കാനുള്ള അന്വേഷണം ആണ് ആധാരം, ഉപ ആധാരം തുടങ്ങിയ ആശയങ്ങളിലേക്ക് എത്തിക്കുന്നത്.
-
ഒരു ടോപ്പോളജീയ സ്പേയ്സിലെ വിവൃത ഉപഗണങ്ങള്‍ ആണ് അതിലെ ടോപ്പോളജി നിര്‍ണയിക്കുന്നത്. വിവൃത ഉപഗണങ്ങള്‍ പാലിക്കുന്ന വ്യവസ്ഥകള്‍ പ്രകാരം സംഗമം, യോഗം എന്നിവയിലൂടെ വീണ്ടും വിവൃതഗണങ്ങള്‍ സൃഷ്ടിക്കപ്പെടുന്നു. ഉദാഹരണത്തിന് A,B എന്നിവ വിവൃത ഗണങ്ങള്‍ ആണെങ്കില്‍ A &cup;B,A &cap; B  എന്നിവയും വിവൃത ഗണങ്ങള്‍ ആണ്. വിവൃത ഉപഗണങ്ങള്‍ മുഴുവന്‍ ഇപ്രകാരം ചെറിയ ഒരു ഉപഗണ സമൂഹത്തില്‍ നിന്നും സൃഷ്ടിച്ചെടുക്കാനുള്ള അന്വേഷണം ആണ് ആധാരം, ഉപ ആധാരം തുടങ്ങിയ ആശയങ്ങളിലേക്ക് എത്തിക്കുന്നത്.
+
-
(X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. &beta;&sube;&tau; ആകട്ടെ.  &tau; ലെ ഏത് അംഗവും &beta; ലെ അംഗങ്ങളുടെ യോഗം ആണെങ്കില്‍ &beta; യെ (X,&tau;) യുടെ ഒരു ആധാരം എന്നു പറയുന്നു. മറ്റൊരുതരത്തില്‍ പറഞ്ഞാല്‍ &tau;യുടെ ഉപഗണമായ &beta; താഴെപ്പറയുന്ന വ്യവസ്ഥകള്‍ പാലിച്ചാല്‍ അത് &tau; യുടെ ഒരു ആധാരം ആണ്.
+
(X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. &beta; &sube; &tau; ആകട്ടെ.  &tau; ലെ ഏത് അംഗവും &beta; ലെ അംഗങ്ങളുടെ യോഗം ആണെങ്കില്‍ &beta; യെ (X,&tau;) യുടെ ഒരു ആധാരം എന്നു പറയുന്നു. മറ്റൊരുതരത്തില്‍ പറഞ്ഞാല്‍ &tau;യുടെ ഉപഗണമായ &beta; താഴെപ്പറയുന്ന വ്യവസ്ഥകള്‍ പാലിച്ചാല്‍ അത് &tau; യുടെ ഒരു ആധാരം ആണ്.
[[Image:pno397for3.png]]
[[Image:pno397for3.png]]
വരി 120: വരി 110:
[[Image:pno397for4.png]] എന്നത് ഈ ടോപ്പോളജിയുടെ ഒരു ഉപ ആധാരം ആണ്.
[[Image:pno397for4.png]] എന്നത് ഈ ടോപ്പോളജിയുടെ ഒരു ഉപ ആധാരം ആണ്.
-
=='''സന്തത ഫലനങ്ങള്‍.'''==
+
'''സന്തത ഫലനങ്ങള്‍.'''സന്തത ഫലനങ്ങള്‍ കൈകാര്യം ചെയ്യാനുള്ള ഒരു വേദി എന്ന നിലയിലാണ് ടോപ്പോളജീയ സ്പേയ്സുകള്‍ പ്രയോജനപ്പെടുന്നത്. സാമീപ്യം എന്ന ആശയം ഉപയോഗിച്ച് സന്തതസ്വഭാവം വ്യക്തമാക്കുന്നത് എങ്ങനെ എന്നു നോക്കാം.
-
സന്തത ഫലനങ്ങള്‍ കൈകാര്യം ചെയ്യാനുള്ള ഒരു വേദി എന്ന നിലയിലാണ് ടോപ്പോളജീയ സ്പേയ്സുകള്‍ പ്രയോജനപ്പെടുന്നത്. സാമീപ്യം എന്ന ആശയം ഉപയോഗിച്ച് സന്തതസ്വഭാവം വ്യക്തമാക്കുന്നത് എങ്ങനെ എന്നു നോക്കാം.
+
X, Y ഇവ ടോപ്പോളജീയ സ്പേയ്സും f : X &rarr; Y  ഒരു ഫലനവും ആണെന്നിരിക്കട്ടെ. V എന്നത് Y യുടെ ഏതു വിവൃത ഉപഗണം ആണെങ്കിലും f<sup>-1</sup> (V)എന്നത്  X -ന്റെ ഒരു വിവൃത ഉപഗണം ആണെങ്കില്‍ f എന്ന ഫലനം സന്തതം ആണ് എന്നു പറയുന്നു. R വാസ്തവിക സംഖ്യാഗണവും  
X, Y ഇവ ടോപ്പോളജീയ സ്പേയ്സും f : X &rarr; Y  ഒരു ഫലനവും ആണെന്നിരിക്കട്ടെ. V എന്നത് Y യുടെ ഏതു വിവൃത ഉപഗണം ആണെങ്കിലും f<sup>-1</sup> (V)എന്നത്  X -ന്റെ ഒരു വിവൃത ഉപഗണം ആണെങ്കില്‍ f എന്ന ഫലനം സന്തതം ആണ് എന്നു പറയുന്നു. R വാസ്തവിക സംഖ്യാഗണവും  
f : R  &rarr; R ഒരു സന്തതഫലനവും ആണെന്നിരിക്കട്ടെ. R ന് സാധാരണ ടോപ്പോളജി നല്‍കിയാല്‍ ടോപ്പോളജീയ സ്പേയ്സിലെ സന്തത ഫലനത്തിന്റെ നിര്‍വചനം സാധാരണ സന്തത ഫലനത്തിന്റെ നിബന്ധനയ്ക്കു സമാനമാണെന്നു കാണാം.
f : R  &rarr; R ഒരു സന്തതഫലനവും ആണെന്നിരിക്കട്ടെ. R ന് സാധാരണ ടോപ്പോളജി നല്‍കിയാല്‍ ടോപ്പോളജീയ സ്പേയ്സിലെ സന്തത ഫലനത്തിന്റെ നിര്‍വചനം സാധാരണ സന്തത ഫലനത്തിന്റെ നിബന്ധനയ്ക്കു സമാനമാണെന്നു കാണാം.
-
=='''സമരൂപത.'''==
+
'''സമരൂപത.'''ടോപ്പോളജീയ സ്പേയ്സുകള്‍ തമ്മിലുള്ള ഘടനാപരമായ സമാനത കൈകാര്യം ചെയ്യാനും സന്തത ഫലനങ്ങള്‍ ആണ് ഉപയോഗിക്കുന്നത്. രണ്ടു ടോപ്പോളജീയ സ്പേയ്സുകള്‍ സമരൂപങ്ങളായി കണക്കാക്കുന്നത് അവയ്ക്ക് ഒരേ ഘടന ഉള്ളപ്പോഴാണ്. അതായത് രണ്ടു ഗണങ്ങളും അവയുടെ വിവൃത ഉപഗണങ്ങളും പരസ്പരം ഏകൈക പ്രതിലോമത്തില്‍ (one-to-one correspondence) ആയിരിക്കണം. സമരൂപതയുടെ നിര്‍വചനം ഇപ്രകാരം നല്‍കാം.
-
ടോപ്പോളജീയ സ്പേയ്സുകള്‍ തമ്മിലുള്ള ഘടനാപരമായ സമാനത കൈകാര്യം ചെയ്യാനും സന്തത ഫലനങ്ങള്‍ ആണ് ഉപയോഗിക്കുന്നത്. രണ്ടു ടോപ്പോളജീയ സ്പേയ്സുകള്‍ സമരൂപങ്ങളായി കണക്കാക്കുന്നത് അവയ്ക്ക് ഒരേ ഘടന ഉള്ളപ്പോഴാണ്. അതായത് രണ്ടു ഗണങ്ങളും അവയുടെ വിവൃത ഉപഗണങ്ങളും പരസ്പരം ഏകൈക പ്രതിലോമത്തില്‍ (one-to-one correspondence) ആയിരിക്കണം. സമരൂപതയുടെ നിര്‍വചനം ഇപ്രകാരം നല്‍കാം.
+
-
X,Y ഇവ ടോപ്പോളജീയ സ്പേയ്സും f:X &rarr;Y ഒരു ബൈജക്റ്റീവ് ഫലനവും ആണെന്നിരിക്കട്ടെ. f ഉം f<sup>-1</sup>  ഉം സന്തത ഫലനങ്ങള്‍ ആണെങ്കില്‍ X, Y ഇവ സമരൂപങ്ങളാണ് എന്നു പറയുന്നു. ഈ സന്ദര്‍ഭത്തില്‍ f എന്ന ഫലനത്തെ ഒരു സമരൂപത (homomorphism) എന്നും പറയുന്നു.
+
X,Y ഇവ ടോപ്പോളജീയ സ്പേയ്സും f : X &rarr;Y ഒരു ബൈജക്റ്റീവ് ഫലനവും ആണെന്നിരിക്കട്ടെ. f ഉം f<sup>-1</sup>  ഉം സന്തത ഫലനങ്ങള്‍ ആണെങ്കില്‍ X, Y ഇവ സമരൂപങ്ങളാണ് എന്നു പറയുന്നു. ഈ സന്ദര്‍ഭത്തില്‍ f എന്ന ഫലനത്തെ ഒരു സമരൂപത (homomorphism) എന്നും പറയുന്നു.
രണ്ടു ടോപ്പോളജീയ സ്പേയ്സുകള്‍ സമരൂപങ്ങളാണെങ്കില്‍ അവ ടോപ്പോളജീയമായി ഒരുപോലെ പ്രവര്‍ത്തിക്കും എന്നാണ് വിവക്ഷ.
രണ്ടു ടോപ്പോളജീയ സ്പേയ്സുകള്‍ സമരൂപങ്ങളാണെങ്കില്‍ അവ ടോപ്പോളജീയമായി ഒരുപോലെ പ്രവര്‍ത്തിക്കും എന്നാണ് വിവക്ഷ.
-
=='''വിവിധതരം ടോപ്പോളജികള്‍.'''==
+
'''വിവിധതരം ടോപ്പോളജികള്‍.'''സാധാരണ പരിഗണിക്കാറുള്ള ചില ടോപ്പോളജികളെ ഇവിടെ പരാമര്‍ശിക്കാം.
-
സാധാരണ പരിഗണിക്കാറുള്ള ചില ടോപ്പോളജികളെ ഇവിടെ പരാമര്‍ശിക്കാം.
+
-
=='''(i) ആപേക്ഷിക ടോപ്പോളജി.'''==
+
'''(i) ആപേക്ഷിക ടോപ്പോളജി.'''(X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സും Y &sube;X ഉം ആണെന്നിരിക്കട്ടെ. Y യ്ക്ക് X  ന്റെ ടോപ്പോളജിയില്‍ നിന്ന് ലഭ്യമാകുന്ന ഒരു ടോപ്പോളജി ഉണ്ട്. ഇതിനെ Y യുടെ ആപേക്ഷിക ടോപ്പോളജി എന്നു പറയുന്നു. ആപേക്ഷിക ടോപ്പോളജിയില്‍ Y യുടെ ഒരു ഉപഗണമായ A വിവൃതം ആകണമെങ്കില്‍ താഴെപ്പറയുന്ന നിബന്ധന പാലിക്കണം.
-
(X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സും Y &sube;X ഉം ആണെന്നിരിക്കട്ടെ. Y യ്ക്ക് X  ന്റെ ടോപ്പോളജിയില്‍ നിന്ന് ലഭ്യമാകുന്ന ഒരു ടോപ്പോളജി ഉണ്ട്. ഇതിനെ Y യുടെ ആപേക്ഷിക ടോപ്പോളജി എന്നു പറയുന്നു. ആപേക്ഷിക ടോപ്പോളജിയില്‍ Y യുടെ ഒരു ഉപഗണമായ A വിവൃതം ആകണമെങ്കില്‍ താഴെപ്പറയുന്ന നിബന്ധന പാലിക്കണം.
+
-
A = Y  &cup; G ആകുംവിധം G എന്ന വിവൃത ഗണം &tau; ല്‍ ഉണ്ടാകണം. മറ്റൊരുതരത്തില്‍ പറഞ്ഞാല്‍ &tau;<sub>y</sub>  =  {Y &cup; G:G&isin;&tau;} എന്നത് Y യുടെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനെ Y യുടെ ആപേക്ഷിക ടോപ്പോളജി എന്നു പറയുന്നു. Y യെ X ന്റെ ഒരു ഉപതലം എന്നും പറയാറുണ്ട്.
+
A = Y  &cup; G ആകുംവിധം G എന്ന വിവൃത ഗണം &tau; ല്‍ ഉണ്ടാകണം. മറ്റൊരുതരത്തില്‍ പറഞ്ഞാല്‍ &tau;<sub>y</sub>  =  {Y &cup; G:G &isin; &tau;} എന്നത് Y യുടെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനെ Y യുടെ ആപേക്ഷിക ടോപ്പോളജി എന്നു പറയുന്നു. Y യെ X ന്റെ ഒരു ഉപതലം എന്നും പറയാറുണ്ട്.
-
=='''(ii) ഗുണന ടോപ്പോളജി.''' ==
+
'''(ii) ഗുണന ടോപ്പോളജി.''' X, Y ഇവ ടോപ്പോളജീയ സ്പേയ്സുകളാണെങ്കില്‍ X &times; Y ല്‍ X,Y ഇവയില്‍ നിന്നു ലഭ്യമായ ഒരു ടോപ്പോളജി നിര്‍വചിക്കാന്‍ കഴിയും. U, V ഇവ യഥാക്രമം X, Y ഇവയിലെ വിവൃതഗണങ്ങള്‍ ആണെങ്കില്‍ U &times; V ആധാരത്തിലെ അംഗം ആകുംവിധം ആണ് X &times;Y ലെ ടോപ്പോളജി നിര്‍ണയിക്കുന്നത്. അതായത് &beta; = {U &times; V :U,V ഇവ യഥാക്രമം X, Y ഇവയില്‍ വിവൃതം ആണ്} എന്നത് ഒരു ആധാരം ആയി X &times; Y ല്‍ കിട്ടുന്ന ടോപ്പോളജിയെ ഗുണന ടോപ്പോളജി എന്നു പറയുന്നു.
-
X, Y ഇവ ടോപ്പോളജീയ സ്പേയ്സുകളാണെങ്കില്‍ X &times; Y ല്‍ X,Y ഇവയില്‍ നിന്നു ലഭ്യമായ ഒരു ടോപ്പോളജി നിര്‍വചിക്കാന്‍ കഴിയും. U, V ഇവ യഥാക്രമം X, Y ഇവയിലെ വിവൃതഗണങ്ങള്‍ ആണെങ്കില്‍ U &times; V ആധാരത്തിലെ അംഗം ആകുംവിധം ആണ് X &times;Y ലെ ടോപ്പോളജി നിര്‍ണയിക്കുന്നത്. അതായത് &beta; = {U &times; V :U,V ഇവ യഥാക്രമം X, Y ഇവയില്‍ വിവൃതം ആണ്} എന്നത് ഒരു ആധാരം ആയി X &times; Y ല്‍ കിട്ടുന്ന ടോപ്പോളജിയെ ഗുണന ടോപ്പോളജി എന്നു പറയുന്നു.
+
-
ഈ ടോപ്പോളജി മറ്റൊരു രൂപത്തിലും പ്രതിപാദിക്കാം. S = {X x V:V,Y ലെ വിവൃതഗണം} &cup;{U xY:U,X ലെ വിവൃത ഗണം} എന്നത് ഉപആധാരം ആയി X x Y ല്‍ കിട്ടുന്ന ടോപ്പോളജിയും മുകളില്‍ കൊടുത്ത ഗുണന ടോപ്പോളജി തന്നെ ആണ്. രണ്ടാമത്തെ രീതിയിലുള്ള പ്രതിപാദനത്തിന് അനന്തഗുണനത്തിലേക്ക് കൂടി വ്യാപിക്കാം എന്ന സവിശേഷത ഉണ്ട്. [[Image:pno398for6.png]]എന്നത് ഒരു അനന്തഗുണനഫലം ആണെന്നു കരുതുക. ഓരോ X<sub>i</sub> ഉം ടോപ്പോളജീയ സ്പേയ്സ് ആണെങ്കില്‍ X ല്‍ ഗുണന ടോപ്പോളജി നിര്‍വചിക്കാനാവും. P<sub>i</sub>:X &rarr;X<sub>i</sub> പ്രൊജക്ഷന്‍ഫലനം ആണെങ്കില്‍S={P<sub>i</sub><sup>1</sup>(U<sub>i</sub>):U<sub>i</sub>,X<sub>i</sub>  ലെ വിവൃതഗണം} ഉപആധാരം ആയി X ല്‍ കിട്ടുന്ന ടോപ്പോളജി ആണ് X ലെ ഗുണന ടോപ്പോളജി.
+
ഈ ടോപ്പോളജി മറ്റൊരു രൂപത്തിലും പ്രതിപാദിക്കാം. S = {X x V:V,Y ലെ വിവൃതഗണം} &cup;{U xY:U,X ലെ വിവൃത ഗണം} എന്നത് ഉപആധാരം ആയി X x Y ല്‍ കിട്ടുന്ന ടോപ്പോളജിയും മുകളില്‍ കൊടുത്ത ഗുണന ടോപ്പോളജി തന്നെ ആണ്. രണ്ടാമത്തെ രീതിയിലുള്ള പ്രതിപാദനത്തിന് അനന്തഗുണനത്തിലേക്ക് കൂടി വ്യാപിക്കാം എന്ന സവിശേഷത ഉണ്ട്. [[Image:pno398for6.png]]എന്നത് ഒരു അനന്തഗുണനഫലം ആണെന്നു കരുതുക. ഓരോ X<sub>i</sub> ഉം ടോപ്പോളജീയ സ്പേയ്സ് ആണെങ്കില്‍ X ല്‍ ഗുണന ടോപ്പോളജി നിര്‍വചിക്കാനാവും. P<sub>i</sub>:X &rarr;X<sub>i</sub> പ്രൊജക്ഷന്‍ഫലനം ആണെങ്കില്‍ S = {P<sub>i</sub><sup>-1</sup> (U<sub>i</sub>) : U<sub>i</sub>, X<sub>i</sub>  ലെ വിവൃതഗണം} ഉപആധാരം ആയി X ല്‍ കിട്ടുന്ന ടോപ്പോളജി ആണ് X ലെ ഗുണന ടോപ്പോളജി.
-
=='''(iii) ഹരണ ടോപ്പോളജി.'''==
+
'''(iii) ഹരണ ടോപ്പോളജി.'''X ഒരു ഗണവും P ഒരു സമതാബന്ധവും (equivalence ralation) ആണെങ്കില്‍ സമതാഗണങ്ങളുടെ സമൂഹത്തെ X ന്റെ P ഹരണഫലം എന്നാണ് പറയുന്നത്. ഇത് X / P എന്ന് എഴുതുന്നു. (X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെങ്കില്‍ X / P ല്‍ ഒരു ടോപ്പോളജി  X ല്‍ നിന്നും ലഭ്യമാണ്. ഇത് നിര്‍വചിക്കാന്‍ X ല്‍ നിന്ന് X / P യിലേക്കുള്ള ഹരണഫലനം ഉപയോഗപ്പെടുത്തുന്നു. P: X &rarr;X/ P ആകട്ടെ ഈ ഹരണഫലനം. x &isin;X ആണെങ്കില്‍ p(x) എന്നത് x ഉള്‍ക്കൊള്ളുന്ന സമതാഗണം ആണ്. ഇവിടെ &tau;<sub>p</sub> {W &sube; X/P: p<sup>-1</sup>
-
X ഒരു ഗണവും P ഒരു സമതാബന്ധവും (equivalence ralation) ആണെങ്കില്‍ സമതാഗണങ്ങളുടെ സമൂഹത്തെ X ന്റെ P ഹരണഫലം എന്നാണ് പറയുന്നത്. ഇത് X / P എന്ന് എഴുതുന്നു. (X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെങ്കില്‍ X / P ല്‍ ഒരു ടോപ്പോളജി  X ല്‍ നിന്നും ലഭ്യമാണ്. ഇത് നിര്‍വചിക്കാന്‍ X ല്‍ നിന്ന് X / P യിലേക്കുള്ള ഹരണഫലനം ഉപയോഗപ്പെടുത്തുന്നു. P: X &rarr;X/ P ആകട്ടെ ഈ ഹരണഫലനം. x &isin;X ആണെങ്കില്‍ p(x) എന്നത് x ഉള്‍ക്കൊള്ളുന്ന സമതാഗണം ആണ്. ഇവിടെ &tau;<sub>p</sub>{W &sube; X/P:p<sup>1</sup>(W) &isin; &tau; } എന്നത്  
+
(W) &isin; &tau; } എന്നത് X / P ലെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനെ ഹരണ ടോപ്പോളജി എന്നു പറയുന്നു.
-
X / P ലെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനെ ഹരണ ടോപ്പോളജി എന്നു പറയുന്നു.
+
-
ഹരണ ടോപ്പോളജി മറ്റൊരു രീതിയിലും നിര്‍വചിക്കാം. (X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സും f : X &rarr;A,A റേഞ്ചായുള്ള ഒരു ഫലനവും ആണെന്നിരിക്കട്ടെ. അപ്പോള്‍[[Image:pno398for.png]] എന്നത് A -ലെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനേയും ഹരണ ടോപ്പോളജി എന്നു പറയാം.
+
ഹരണ ടോപ്പോളജി മറ്റൊരു രീതിയിലും നിര്‍വചിക്കാം. (X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സും f : X &rarr;A,A റേഞ്ചായുള്ള ഒരു ഫലനവും ആണെന്നിരിക്കട്ടെ. അപ്പോള്‍ &tau;<sub>q</sub> {G &sube; A:f<sup>-1</sup> (G) &isin; &tau;}എന്നത് A -ലെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനേയും ഹരണ ടോപ്പോളജി എന്നു പറയാം.
-
=='''ടോപ്പോളജീയ സവിശേഷതകള്‍ (Topological properties).'''==
+
'''ടോപ്പോളജീയ സവിശേഷതകള്‍ (Topological properties).''' പലപ്പോഴും ചില സവിശേഷതകള്‍ ഉള്ള ടോപ്പോളജീയ സ്പേയ്സുകള്‍ ആണ് പ്രായോഗികമായി ഉപകരിക്കപ്പെടുന്നത്. ഉദാഹരണത്തിന് വാസ്തവിക സംഖ്യകളുടെ ടോപ്പോളജീയ സ്പേയ്സിന്റെ ഒരു സവിശേഷതയാണ് അവിച്ഛിന്നത (connectedness). (X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ.  X -നെ സംഗമം ശൂന്യമായ രണ്ടു അശൂന്യ വിവൃതഗണങ്ങളുടെ യോഗം ആയി എഴുതാന്‍ സാധ്യമല്ല എങ്കില്‍ ​X​-നെ ഒരു അവിച്ഛിന്ന സ്പേയ്സ് എന്നു വിളിക്കുന്നു. വാസ്തവിക സംഖ്യാതലം, R, സംഗമം ശൂന്യമായ രണ്ടു അശൂന്യ വിവൃതഗണങ്ങളുടെ യോഗം ആയി എഴുതാന്‍ പറ്റാത്തതാണ്. എന്നാല്‍ എണ്ണല്‍ സംഖ്യകളുടെ ഗണം R ന്റെ ഒരു ഉപസ്പേയ്സായി കണക്കാക്കിയാല്‍ അത് അവിച്ഛിന്നം അല്ല. അവിച്ഛിന്ന തലങ്ങള്‍ക്ക് പല പ്രത്യേകതകളും ഉണ്ട്. ഉദാഹരണത്തിന് X ഒരു അവിച്ഛിന്ന സ്പേയ്സ് ആണെങ്കില്‍ X ല്‍ നിന്ന് മുകളില്‍ പറഞ്ഞ എണ്ണല്‍ സംഖ്യാസ്പേയ്സിലേക്കുള്ള ഏതു സന്തത ഫലനവും ഒരു സ്ഥിരസംഖ്യാഫലനം (constant function) ആണ്.
-
പലപ്പോഴും ചില സവിശേഷതകള്‍ ഉള്ള ടോപ്പോളജീയ സ്പേയ്സുകള്‍ ആണ് പ്രായോഗികമായി ഉപകരിക്കപ്പെടുന്നത്. ഉദാഹരണത്തിന് വാസ്തവിക സംഖ്യകളുടെ ടോപ്പോളജീയ സ്പേയ്സിന്റെ ഒരു സവിശേഷതയാണ് അവിച്ഛിന്നത (connectedness). (X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ.  X -നെ സംഗമം ശൂന്യമായ രണ്ടു അശൂന്യ വിവൃതഗണങ്ങളുടെ യോഗം ആയി എഴുതാന്‍ സാധ്യമല്ല എങ്കില്‍ ​X​-നെ ഒരു അവിച്ഛിന്ന സ്പേയ്സ് എന്നു വിളിക്കുന്നു. വാസ്തവിക സംഖ്യാതലം, R, സംഗമം ശൂന്യമായ രണ്ടു അശൂന്യ വിവൃതഗണങ്ങളുടെ യോഗം ആയി എഴുതാന്‍ പറ്റാത്തതാണ്. എന്നാല്‍ എണ്ണല്‍ സംഖ്യകളുടെ ഗണം R ന്റെ ഒരു ഉപസ്പേയ്സായി കണക്കാക്കിയാല്‍ അത് അവിച്ഛിന്നം അല്ല. അവിച്ഛിന്ന തലങ്ങള്‍ക്ക് പല പ്രത്യേകതകളും ഉണ്ട്. ഉദാഹരണത്തിന് X ഒരു അവിച്ഛിന്ന സ്പേയ്സ് ആണെങ്കില്‍ X ല്‍ നിന്ന് മുകളില്‍ പറഞ്ഞ എണ്ണല്‍ സംഖ്യാസ്പേയ്സിലേക്കുള്ള ഏതു സന്തത ഫലനവും ഒരു സ്ഥിരസംഖ്യാഫലനം (constant function) ആണ്.
+
വാസ്തവിക സംഖ്യാസ്പേയ്സില്‍ ഇല്ലാത്തതും എന്നാല്‍ ഏതു സംവൃത അന്തരാളം, [a,b] യ്ക്കും ഉള്ളതുമായ ഒരു സവിശേഷതയാണ് കോംപാക്റ്റ്നെസ്. ഒരു തരത്തിലുള്ള പരിമിതത്വമാണ് ഇതിലൂടെ പ്രകടമാകുന്നത്. (X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ &Gamma; = {G<sub>1</sub>:i&isin;I} X ലെ വിവൃതഗണങ്ങളുടെ ഒരു സമൂഹം ആകട്ടെ. X = [[Image:pno399fo.png]] ആണെങ്കില്‍ &Gamma; യെ X ന്റെ ഒരു ആവരണം എന്നു പറയുന്നു. X ന്റെ ഏതു ആവരണത്തിലും ഒരു പരിമിത ഉപആവരണം ഉണ്ടെങ്കില്‍ X ഒരു കോംപാക്റ്റ് സ്പേയ്സ് ആണ് എന്നു പറയുന്നു. X ഒരു പരിമിത ഗണം ആണെങ്കിലും, &tau; ഒരു പരിമിത സമൂഹം ആണെങ്കിലും X കോംപാക്റ്റ് സ്പേയ്സ് ആണ്. വാസ്തവിക സംഖ്യാസ്പേയ്സിന്റെ എല്ലാ കോംപാക്റ്റ് ഉപസ്പേയ്സുകളും ഹെയ് ന്‍- ബോറല്‍ (Heine-Borel) പ്രമേയം വഴി ലഭ്യമാണ്. അതു പ്രകാരം സംവൃതവും പരിമേയവും (bounded) ആയ ഉപസ്പേയ്സുകള്‍ മാത്രമാണ് വാസ്തവിക സംഖ്യാസ്പേയ്സിന്റെ കോംപാക്റ്റ് ആയ ഉപസ്പേയ്സുകള്‍.
വാസ്തവിക സംഖ്യാസ്പേയ്സില്‍ ഇല്ലാത്തതും എന്നാല്‍ ഏതു സംവൃത അന്തരാളം, [a,b] യ്ക്കും ഉള്ളതുമായ ഒരു സവിശേഷതയാണ് കോംപാക്റ്റ്നെസ്. ഒരു തരത്തിലുള്ള പരിമിതത്വമാണ് ഇതിലൂടെ പ്രകടമാകുന്നത്. (X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ &Gamma; = {G<sub>1</sub>:i&isin;I} X ലെ വിവൃതഗണങ്ങളുടെ ഒരു സമൂഹം ആകട്ടെ. X = [[Image:pno399fo.png]] ആണെങ്കില്‍ &Gamma; യെ X ന്റെ ഒരു ആവരണം എന്നു പറയുന്നു. X ന്റെ ഏതു ആവരണത്തിലും ഒരു പരിമിത ഉപആവരണം ഉണ്ടെങ്കില്‍ X ഒരു കോംപാക്റ്റ് സ്പേയ്സ് ആണ് എന്നു പറയുന്നു. X ഒരു പരിമിത ഗണം ആണെങ്കിലും, &tau; ഒരു പരിമിത സമൂഹം ആണെങ്കിലും X കോംപാക്റ്റ് സ്പേയ്സ് ആണ്. വാസ്തവിക സംഖ്യാസ്പേയ്സിന്റെ എല്ലാ കോംപാക്റ്റ് ഉപസ്പേയ്സുകളും ഹെയ് ന്‍- ബോറല്‍ (Heine-Borel) പ്രമേയം വഴി ലഭ്യമാണ്. അതു പ്രകാരം സംവൃതവും പരിമേയവും (bounded) ആയ ഉപസ്പേയ്സുകള്‍ മാത്രമാണ് വാസ്തവിക സംഖ്യാസ്പേയ്സിന്റെ കോംപാക്റ്റ് ആയ ഉപസ്പേയ്സുകള്‍.
-
=='''വേര്‍തിരിവ് ആക്സിയങ്ങള്‍ (Separation axioms).'''==
+
'''വേര്‍തിരിവ് ആക്സിയങ്ങള്‍ (Separation axioms).''' ടോപ്പോളജീയ സ്പേയ്സിനെ അവയിലുള്ള വിവൃത ഗണങ്ങളുടെ ലഭ്യതയുടെ അടിസ്ഥാനത്തില്‍ T<sub>0</sub>,T<sub>1</sub>,T<sub>2</sub>,T<sub>3</sub>,
-
ടോപ്പോളജീയ സ്പേയ്സിനെ അവയിലുള്ള വിവൃത ഗണങ്ങളുടെ ലഭ്യതയുടെ അടിസ്ഥാനത്തില്‍ T<sub>0</sub>,T<sub>1</sub>,T<sub>2</sub>,T<sub>3</sub>,
+
T<sub>4</sub> എന്നിങ്ങനെ വിവിധ തട്ടുകളിലായി തരംതിരിക്കാറുണ്ട്. (​X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ.x,y ഇവ X ലെ ഏതെങ്കിലും രണ്ടു വ്യത്യസ്ത അംഗങ്ങള്‍ ആകട്ടെ. x ഉള്‍ക്കൊള്ളുന്നതും y അംഗമല്ലാത്തതുമായ ഒരു ഗണമോ y ഉള്‍ക്കൊള്ളുന്നതും x അംഗമല്ലാത്തതുമായ ഒരു ഗണമോ &tau;  ല്‍ ഉണ്ടെങ്കില്‍, (​X,&tau;) ഒരു T<sub>0</sub> - സ്പേയ്സ് ആണ് എന്നു പറയുന്നു.
T<sub>4</sub> എന്നിങ്ങനെ വിവിധ തട്ടുകളിലായി തരംതിരിക്കാറുണ്ട്. (​X,&tau;) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ.x,y ഇവ X ലെ ഏതെങ്കിലും രണ്ടു വ്യത്യസ്ത അംഗങ്ങള്‍ ആകട്ടെ. x ഉള്‍ക്കൊള്ളുന്നതും y അംഗമല്ലാത്തതുമായ ഒരു ഗണമോ y ഉള്‍ക്കൊള്ളുന്നതും x അംഗമല്ലാത്തതുമായ ഒരു ഗണമോ &tau;  ല്‍ ഉണ്ടെങ്കില്‍, (​X,&tau;) ഒരു T<sub>0</sub> - സ്പേയ്സ് ആണ് എന്നു പറയുന്നു.
വരി 172: വരി 154:
T<sub>1</sub> സ്പേയ്സിലും പെടുന്നില്ല.
T<sub>1</sub> സ്പേയ്സിലും പെടുന്നില്ല.
-
=='''2. ബീജീയ ടോപ്പോളജി.'''==
+
'''2. ബീജീയ ടോപ്പോളജി.'''ടോപ്പോളജീയ സ്പേയ്സിനെ സംബന്ധിച്ച പഠനത്തില്‍ ബീജഗണിത ആശയങ്ങള്‍ ഉള്‍പ്പെടുത്തി കൈകാര്യം ചെയ്യുന്ന ശാഖയാണ് ബീജീയ ടോപ്പോളജി. ഇവിടെ കൈകാര്യം ചെയ്യപ്പെടുന്ന പ്രശ്നങ്ങള്‍ പൊതു ടോപ്പോളജിയില്‍ പരിഗണിക്കുന്നവയില്‍ നിന്ന് പലപ്പോഴും വ്യത്യസ്തമാണ്. പൊതു ടോപ്പോളജിയിലും ജ്യാമിതിയിലും ഉത്ഭവിക്കുന്ന ചില പ്രശ്നങ്ങള്‍ക്ക് ഉചിതമായ നിര്‍ധാരണം ബീജീയ സങ്കേതങ്ങളില്‍ക്കൂടി പലപ്പോഴും ലഭ്യമാണ്. സ്ഥിരബിന്ദു (fixed point) പ്രശ്നങ്ങള്‍, സമരൂപതാപ്രശ്നങ്ങള്‍ എന്നിവ പലപ്പോഴും ബീജീയ ടോപ്പോളജിയുടെ സിദ്ധാന്തങ്ങള്‍ ഉപയോഗിച്ച് എളുപ്പത്തില്‍ കൈകാര്യം ചെയ്യാറുണ്ട്. ഉദാഹരണത്തിന് R<sup>2</sup> ഉം R<sup>3</sup> ഉം സമരൂപങ്ങളല്ല എന്നു തെളിയിക്കണമെന്നിരിക്കട്ടെ. അവ തമ്മില്‍ ഒരു സമരൂപത നിലവിലില്ല എന്നു തെളിയിക്കാന്‍ ഫലനങ്ങള്‍ ഉപയോഗിച്ച് എളുപ്പമല്ല. ബീജീയടോപ്പോളജിയില്‍ ഇത് തെളിയിക്കുന്നത് ഓരോ സ്പേയ്സിനേയും ഓരോ ഗ്രൂപ്പുമായി ബന്ധിപ്പിച്ചാണ്. ഈ ബന്ധം സമരൂപത സംരക്ഷിക്കുന്നതാകണം. അപ്പോള്‍ R<sup>2</sup> നെ ബന്ധപ്പെടുത്തുന്ന ഗ്രൂപ്പും R<sup>3</sup> നെ ബന്ധപ്പെടുത്തുന്ന ഗ്രൂപ്പും സമരൂപം അല്ലെങ്കില്‍ R<sup>2</sup> ഉം R<sup>3</sup> ഉം സമരൂപം അല്ല എന്നു കിട്ടും. ഹോമോളജി ഗ്രൂപ്പ് എന്ന ആശയം ആണ് ഇവിടെ പ്രയോഗിക്കുന്നത്. ഹോമോളജി ഗ്രൂപ്പ്, ഹോമോട്ടോപ്പി ഗ്രൂപ്പ് എന്നീ ഗ്രൂപ്പുകള്‍ ആണ് സാധാരണയായി ടോപ്പോളജീയ സ്പേയ്സുമായി ബന്ധപ്പെട്ട് പരിഗണിക്കാറുള്ളത്.
-
ടോപ്പോളജീയ സ്പേയ്സിനെ സംബന്ധിച്ച പഠനത്തില്‍ ബീജഗണിത ആശയങ്ങള്‍ ഉള്‍പ്പെടുത്തി കൈകാര്യം ചെയ്യുന്ന ശാഖയാണ് ബീജീയ ടോപ്പോളജി. ഇവിടെ കൈകാര്യം ചെയ്യപ്പെടുന്ന പ്രശ്നങ്ങള്‍ പൊതു ടോപ്പോളജിയില്‍ പരിഗണിക്കുന്നവയില്‍ നിന്ന് പലപ്പോഴും വ്യത്യസ്തമാണ്. പൊതു ടോപ്പോളജിയിലും ജ്യാമിതിയിലും ഉത്ഭവിക്കുന്ന ചില പ്രശ്നങ്ങള്‍ക്ക് ഉചിതമായ നിര്‍ധാരണം ബീജീയ സങ്കേതങ്ങളില്‍ക്കൂടി പലപ്പോഴും ലഭ്യമാണ്. സ്ഥിരബിന്ദു (fixed point) പ്രശ്നങ്ങള്‍, സമരൂപതാപ്രശ്നങ്ങള്‍ എന്നിവ പലപ്പോഴും ബീജീയ ടോപ്പോളജിയുടെ സിദ്ധാന്തങ്ങള്‍ ഉപയോഗിച്ച് എളുപ്പത്തില്‍ കൈകാര്യം ചെയ്യാറുണ്ട്. ഉദാഹരണത്തിന് R<sup>2</sup> ഉം R<sup>3</sup> ഉം സമരൂപങ്ങളല്ല എന്നു തെളിയിക്കണമെന്നിരിക്കട്ടെ. അവ തമ്മില്‍ ഒരു സമരൂപത നിലവിലില്ല എന്നു തെളിയിക്കാന്‍ ഫലനങ്ങള്‍ ഉപയോഗിച്ച് എളുപ്പമല്ല. ബീജീയടോപ്പോളജിയില്‍ ഇത് തെളിയിക്കുന്നത് ഓരോ സ്പേയ്സിനേയും ഓരോ ഗ്രൂപ്പുമായി ബന്ധിപ്പിച്ചാണ്. ഈ ബന്ധം സമരൂപത സംരക്ഷിക്കുന്നതാകണം. അപ്പോള്‍ R<sup>2</sup> നെ ബന്ധപ്പെടുത്തുന്ന ഗ്രൂപ്പും R<sup>3</sup> നെ ബന്ധപ്പെടുത്തുന്ന ഗ്രൂപ്പും സമരൂപം അല്ലെങ്കില്‍ R<sup>2</sup> ഉം R<sup>3</sup> ഉം സമരൂപം അല്ല എന്നു കിട്ടും. ഹോമോളജി ഗ്രൂപ്പ് എന്ന ആശയം ആണ് ഇവിടെ പ്രയോഗിക്കുന്നത്. ഹോമോളജി ഗ്രൂപ്പ്, ഹോമോട്ടോപ്പി ഗ്രൂപ്പ് എന്നീ ഗ്രൂപ്പുകള്‍ ആണ് സാധാരണയായി ടോപ്പോളജീയ സ്പേയ്സുമായി ബന്ധപ്പെട്ട് പരിഗണിക്കാറുള്ളത്.
+
-
=='''ഹോമോട്ടോപ്പി.'''==
+
'''ഹോമോട്ടോപ്പി.'''ടോപ്പോളജീയ സ്പേയ്സിലെ സന്തതഫലനങ്ങള്‍ തമ്മില്‍ ഉള്ള ഒരു ബന്ധമാണ്  
-
ടോപ്പോളജീയ സ്പേയ്സിലെ സന്തതഫലനങ്ങള്‍ തമ്മില്‍ ഉള്ള ഒരു ബന്ധമാണ്  
+
ഹോമോട്ടോപ്പി. X, Y ഇവ ടോപ്പോളജീയ സ്പേയ്സുകളും f,g :X &rarr;Y സന്തതഫലനങ്ങളും ആണെന്നിരിക്കട്ടെ. I = [0,1] ആകട്ടെ. F: X &times;I &rarr;Y എന്ന ഒരു സന്തതഫലനം താഴെപ്പറയുന്ന നിബന്ധനപ്രകാരം ഉണ്ടെങ്കില്‍ f ഉം g ഉം തമ്മില്‍ ഹോമോട്ടോപ്പി ബന്ധം ഉണ്ട് എന്നു പറയുന്നു.
ഹോമോട്ടോപ്പി. X, Y ഇവ ടോപ്പോളജീയ സ്പേയ്സുകളും f,g :X &rarr;Y സന്തതഫലനങ്ങളും ആണെന്നിരിക്കട്ടെ. I = [0,1] ആകട്ടെ. F: X &times;I &rarr;Y എന്ന ഒരു സന്തതഫലനം താഴെപ്പറയുന്ന നിബന്ധനപ്രകാരം ഉണ്ടെങ്കില്‍ f ഉം g ഉം തമ്മില്‍ ഹോമോട്ടോപ്പി ബന്ധം ഉണ്ട് എന്നു പറയുന്നു.
വരി 183: വരി 163:
F നെ f,g ഇവ തമ്മിലുള്ള ഒരു ഹോമോട്ടോപ്പി എന്നും പറയുന്നു.
F നെ f,g ഇവ തമ്മിലുള്ള ഒരു ഹോമോട്ടോപ്പി എന്നും പറയുന്നു.
-
=='''പ്രാമാണിക ഗ്രൂപ്പ് (Fundamental group).'''==
+
'''പ്രാമാണിക ഗ്രൂപ്പ് (Fundamental group).'''ടോപ്പോളജീയ സ്പേയ്സിന്റെ പഠനത്തില്‍ പ്രയോഗിക്കപ്പെടുന്ന ഒരു ഗ്രൂപ്പാണ് പ്രാമാണിക ഗ്രൂപ്പ് (Fundamental group) എന്ന പേരില്‍ അറിയപ്പെടുന്നത്. ഈ ഗ്രൂപ്പിന്റെ സ്വഭാവത്തില്‍ നിന്ന് അതു നല്‍കുന്ന ടോപ്പോളജീയ സ്പേയ്സിനെ സംബന്ധിച്ച് കുറേ കാര്യങ്ങള്‍ വ്യക്തമാക്കാന്‍ സാധിക്കും. I = [0,1] എന്ന സംവൃത അന്തരാളത്തില്‍ നിന്നും X എന്ന ടോപ്പോളജീയ സ്പേയ്സിലേക്കുള്ള സന്തതഫലനങ്ങളില്‍ നിന്നാണ് ഈ ഗ്രൂപ്പ് രൂപപ്പെടുന്നത്. ഇത്തരം സന്തതഫലനങ്ങളെ പഥം എന്നു പറയുന്നു. u : I &rarr;X ഒരു പഥം ആണെങ്കില്‍ u(0),u(1) ഇവയെ യഥാക്രമം u എന്ന പഥത്തിന്റെ ആദ്യബിന്ദു എന്നും അവസാനബിന്ദു എന്നും പറയുന്നു. u(0) = x<sub>0</sub>, u (1) = x<sub>1</sub> ആണെങ്കില്‍ x<sub>0</sub> ല്‍ നിന്ന് x<sub>1</sub>ലേക്കുള്ള ഒരു പഥമാണ് u.x<sub>0</sub>,x<sub>1</sub> &isin; X ഉം u,v ഇവ x<sub>0</sub> ല്‍ നിന്ന് x<sub>1</sub> ലേക്കുള്ള പഥങ്ങളും ആണെന്നിരിക്കട്ടെ. F :I &times; I &rarr;X എന്നത് u ല്‍ നിന്ന്  v -ലേക്കുള്ള ഒരു ഹോമോട്ടോപ്പി ആണെന്നിരിക്കട്ടെ. ഉപരിയായി ഓരോ t &isin; I  യ്ക്കും F(0,t ) = x<sub>0</sub>, F (1,t) = x<sub>1</sub> എന്നീ വ്യവസ്ഥകള്‍ കൂടി പാലിക്കുന്നു എങ്കില്‍  F- നെ ഒരു പഥ ഹോമോട്ടോപ്പി എന്നു പറയുന്നു. അപ്പോള്‍ u,v ഇവ പഥ ഹോമോട്ടോപ്പിക് ആണ് എന്നും പറയാം.
-
ടോപ്പോളജീയ സ്പേയ്സിന്റെ പഠനത്തില്‍ പ്രയോഗിക്കപ്പെടുന്ന ഒരു ഗ്രൂപ്പാണ് പ്രാമാണിക ഗ്രൂപ്പ് (Fundamental group) എന്ന പേരില്‍ അറിയപ്പെടുന്നത്. ഈ ഗ്രൂപ്പിന്റെ സ്വഭാവത്തില്‍ നിന്ന് അതു നല്‍കുന്ന ടോപ്പോളജീയ സ്പേയ്സിനെ സംബന്ധിച്ച് കുറേ കാര്യങ്ങള്‍ വ്യക്തമാക്കാന്‍ സാധിക്കും. I = [0,1] എന്ന സംവൃത അന്തരാളത്തില്‍ നിന്നും X എന്ന ടോപ്പോളജീയ സ്പേയ്സിലേക്കുള്ള സന്തതഫലനങ്ങളില്‍ നിന്നാണ് ഈ ഗ്രൂപ്പ് രൂപപ്പെടുന്നത്. ഇത്തരം സന്തതഫലനങ്ങളെ പഥം എന്നു പറയുന്നു. u : I &rarr;X ഒരു പഥം ആണെങ്കില്‍ u(0),u(1) ഇവയെ യഥാക്രമം u എന്ന പഥത്തിന്റെ ആദ്യബിന്ദു എന്നും അവസാനബിന്ദു എന്നും പറയുന്നു. u(0) = x<sub>0</sub>, u (1) = x<sub>1</sub> ആണെങ്കില്‍ x<sub>0</sub> ല്‍ നിന്ന് x<sub>1</sub>ലേക്കുള്ള ഒരു പഥമാണ് u.x<sub>0</sub>,x<sub>1</sub> &isin; X ഉം u,v ഇവ x<sub>0</sub> ല്‍ നിന്ന് x<sub>1</sub> ലേക്കുള്ള പഥങ്ങളും ആണെന്നിരിക്കട്ടെ. F :I &times; I &rarr;X എന്നത് u ല്‍ നിന്ന്  v -ലേക്കുള്ള ഒരു ഹോമോട്ടോപ്പി ആണെന്നിരിക്കട്ടെ. ഉപരിയായി ഓരോ t &isin; I  യ്ക്കും F(0,t ) = x<sub>0</sub>, F (1,t) = x<sub>1</sub> എന്നീ വ്യവസ്ഥകള്‍ കൂടി പാലിക്കുന്നു എങ്കില്‍  F- നെ ഒരു പഥ ഹോമോട്ടോപ്പി എന്നു പറയുന്നു. അപ്പോള്‍ u,v ഇവ പഥ ഹോമോട്ടോപ്പിക് ആണ് എന്നും പറയാം.
+
x<sub>0</sub>, x<sub>1</sub>, x<sub>2</sub> ഇവ X എന്ന ടോപ്പോളജീയ സ്പേയ്സിലെ ബിന്ദുക്കളും u,v ഇവ യഥാക്രമം x<sub>0</sub> ല്‍ നിന്ന് x<sub>1</sub> ലേക്കും x<sub>1</sub> ല്‍ നിന്ന് x<sub>2</sub> ലേക്കുള്ള പഥങ്ങളും ആണെന്നിരിക്കട്ടെ. അപ്പോള്‍, u,v ഇവയുടെ കൂടിച്ചേരല്‍ വഴി u.v എന്ന ഒരു പഥം സൃഷ്ടിക്കപ്പെടുന്നു. u.v നിര്‍വചിക്കപ്പെടുന്നത് ഇപ്രകാരമാണ്. t  &isin; [0,1]  ആണെങ്കില്‍
x<sub>0</sub>, x<sub>1</sub>, x<sub>2</sub> ഇവ X എന്ന ടോപ്പോളജീയ സ്പേയ്സിലെ ബിന്ദുക്കളും u,v ഇവ യഥാക്രമം x<sub>0</sub> ല്‍ നിന്ന് x<sub>1</sub> ലേക്കും x<sub>1</sub> ല്‍ നിന്ന് x<sub>2</sub> ലേക്കുള്ള പഥങ്ങളും ആണെന്നിരിക്കട്ടെ. അപ്പോള്‍, u,v ഇവയുടെ കൂടിച്ചേരല്‍ വഴി u.v എന്ന ഒരു പഥം സൃഷ്ടിക്കപ്പെടുന്നു. u.v നിര്‍വചിക്കപ്പെടുന്നത് ഇപ്രകാരമാണ്. t  &isin; [0,1]  ആണെങ്കില്‍
വരി 199: വരി 178:
X പഥ അവിച്ഛിന്നം (path connected) ആണെങ്കില്‍ &pi; (X,x<sub>0</sub>) എന്ന പ്രാമാണിക ഗ്രൂപ്പ് x<sub>0</sub>-ല്‍ നിന്നും സ്വതന്ത്രമായിരിക്കും. അതായത് x<sub>0</sub>, x<sub>1</sub> &isin; X ആണെങ്കില്‍ &pi; (X, x<sub>0</sub>) ഉം &pi; (X,x<sub>1</sub>) ഉം സമരൂപഗ്രൂപ്പുകളായിരിക്കും. ഇത്തരം സന്ദര്‍ഭങ്ങളില്‍ &pi; (X,x<sub>0</sub>) നെ &pi;(X) എന്നു പറയാം. ഉദാഹരണത്തിന് വാസ്തവിക സംഖ്യാസ്പേയ്സിന്റെ പ്രാമാണിക ഗ്രൂപ്പ് ഒരംഗം മാത്രമുള്ള കേവല ഗ്രൂപ്പാണ്. എന്നാല്‍ S<sup>1</sup> = {(x,y)&isin;R&times;R :x<sup>2</sup> + y<sup>2</sup> = 1} എന്ന വൃത്തത്തിന്റെ പ്രാമാണിക ഗ്രൂപ്പ്  Z എന്ന പൂര്‍ണ സംഖ്യാഗ്രൂപ്പിന് സമരൂപം ആണ്.
X പഥ അവിച്ഛിന്നം (path connected) ആണെങ്കില്‍ &pi; (X,x<sub>0</sub>) എന്ന പ്രാമാണിക ഗ്രൂപ്പ് x<sub>0</sub>-ല്‍ നിന്നും സ്വതന്ത്രമായിരിക്കും. അതായത് x<sub>0</sub>, x<sub>1</sub> &isin; X ആണെങ്കില്‍ &pi; (X, x<sub>0</sub>) ഉം &pi; (X,x<sub>1</sub>) ഉം സമരൂപഗ്രൂപ്പുകളായിരിക്കും. ഇത്തരം സന്ദര്‍ഭങ്ങളില്‍ &pi; (X,x<sub>0</sub>) നെ &pi;(X) എന്നു പറയാം. ഉദാഹരണത്തിന് വാസ്തവിക സംഖ്യാസ്പേയ്സിന്റെ പ്രാമാണിക ഗ്രൂപ്പ് ഒരംഗം മാത്രമുള്ള കേവല ഗ്രൂപ്പാണ്. എന്നാല്‍ S<sup>1</sup> = {(x,y)&isin;R&times;R :x<sup>2</sup> + y<sup>2</sup> = 1} എന്ന വൃത്തത്തിന്റെ പ്രാമാണിക ഗ്രൂപ്പ്  Z എന്ന പൂര്‍ണ സംഖ്യാഗ്രൂപ്പിന് സമരൂപം ആണ്.
-
=='''ഹോമോളജി ഗ്രൂപ്പ്.'''==
+
'''ഹോമോളജി ഗ്രൂപ്പ്.'''ടോപ്പോളജീയ സ്പേയ്സിന്റെ പഠനത്തില്‍ ഉപയോഗപ്പെടുത്തുന്ന മറ്റൊരു ഗ്രൂപ്പാണ് ഹോമോളജി ഗ്രൂപ്പ്. ഇത് പ്രാമാണിക ഗ്രൂപ്പിനേക്കാള്‍ കൂടുതല്‍ സങ്കീര്‍ണമായുള്ള ഒന്നാണ്. അതുകൊണ്ട് ഇവ കൂടുതല്‍ പ്രയോജനകരവും ആണ്. പ്രാമാണിക ഗ്രൂപ്പില്‍ക്കൂടി വ്യക്തമാകാത്ത പല സ്വഭാവവിശേഷങ്ങളും ഹോമോളജി ഗ്രൂപ്പില്‍ക്കൂടി വ്യക്തമാക്കാന്‍ സാധിക്കും. ഉദാഹരണത്തിന് R<sup>2</sup>, R<sup>3</sup> എന്നിവയുടെ പ്രാമാണിക ഗ്രൂപ്പുകള്‍ സമരൂപങ്ങളാണ്. അതിനാല്‍ R<sup>2</sup>, R<sup>3</sup>  എന്നീ ടോപ്പോളജീയ സ്പേയ്സുകള്‍ സമരൂപങ്ങള്‍ ആണോ എന്ന പ്രശ്നം പ്രാമാണിക ഗ്രൂപ്പ് ഉപയോഗിച്ച് പരിഹരിക്കാന്‍ സാധിക്കുന്നില്ല. എന്നാല്‍ ഹോമോളജി ഗ്രൂപ്പില്‍ ഇവ തമ്മിലുള്ള വ്യത്യാസം പ്രതിഫലിക്കുന്നുമുണ്ട്. R<sup>2</sup>, R<sup>3</sup> എന്നിവയുടെ ഹോമോളജി ഗ്രൂപ്പുകള്‍ സമരൂപങ്ങള്‍ അല്ല എന്നു കാണാവുന്നതാണ്. ഇതില്‍ നിന്ന് ആ സ്പേയ്സുകള്‍ സമരൂപങ്ങള്‍ അല്ല എന്ന് സിദ്ധിക്കുന്നു.
-
ടോപ്പോളജീയ സ്പേയ്സിന്റെ പഠനത്തില്‍ ഉപയോഗപ്പെടുത്തുന്ന മറ്റൊരു ഗ്രൂപ്പാണ് ഹോമോളജി ഗ്രൂപ്പ്. ഇത് പ്രാമാണിക ഗ്രൂപ്പിനേക്കാള്‍ കൂടുതല്‍ സങ്കീര്‍ണമായുള്ള ഒന്നാണ്. അതുകൊണ്ട് ഇവ കൂടുതല്‍ പ്രയോജനകരവും ആണ്. പ്രാമാണിക ഗ്രൂപ്പില്‍ക്കൂടി വ്യക്തമാകാത്ത പല സ്വഭാവവിശേഷങ്ങളും ഹോമോളജി ഗ്രൂപ്പില്‍ക്കൂടി വ്യക്തമാക്കാന്‍ സാധിക്കും. ഉദാഹരണത്തിന് R<sup>2</sup>, R<sup>3</sup> എന്നിവയുടെ പ്രാമാണിക ഗ്രൂപ്പുകള്‍ സമരൂപങ്ങളാണ്. അതിനാല്‍ R<sup>2</sup>, R<sup>3</sup>  എന്നീ ടോപ്പോളജീയ സ്പേയ്സുകള്‍ സമരൂപങ്ങള്‍ ആണോ എന്ന പ്രശ്നം പ്രാമാണിക ഗ്രൂപ്പ് ഉപയോഗിച്ച് പരിഹരിക്കാന്‍ സാധിക്കുന്നില്ല. എന്നാല്‍ ഹോമോളജി ഗ്രൂപ്പില്‍ ഇവ തമ്മിലുള്ള വ്യത്യാസം പ്രതിഫലിക്കുന്നുമുണ്ട്. R<sup>2</sup>, R<sup>3</sup> എന്നിവയുടെ ഹോമോളജി ഗ്രൂപ്പുകള്‍ സമരൂപങ്ങള്‍ അല്ല എന്നു കാണാവുന്നതാണ്. ഇതില്‍ നിന്ന് ആ സ്പേയ്സുകള്‍ സമരൂപങ്ങള്‍ അല്ല എന്ന് സിദ്ധിക്കുന്നു.
+
ബീജീയ ടോപ്പോളജി പരിഗണിക്കുന്ന മറ്റൊരു പ്രശ്നം പ്രതലങ്ങളെ സംബന്ധിച്ചുള്ളതാണ്. പ്രതലങ്ങളും വര്‍ഗീകരണം ഉള്‍പ്പെടെയുള്ള പ്രശ്നങ്ങളും കാര്യക്ഷമമായി ഈ ശാഖയില്‍ കൈകാര്യം ചെയ്യുന്നുണ്ട്. ജ്യാമിതീയ ടോപ്പോളജി എന്ന പേരിലും ഈ ശാഖ അറിയപ്പെടുന്നു.
ബീജീയ ടോപ്പോളജി പരിഗണിക്കുന്ന മറ്റൊരു പ്രശ്നം പ്രതലങ്ങളെ സംബന്ധിച്ചുള്ളതാണ്. പ്രതലങ്ങളും വര്‍ഗീകരണം ഉള്‍പ്പെടെയുള്ള പ്രശ്നങ്ങളും കാര്യക്ഷമമായി ഈ ശാഖയില്‍ കൈകാര്യം ചെയ്യുന്നുണ്ട്. ജ്യാമിതീയ ടോപ്പോളജി എന്ന പേരിലും ഈ ശാഖ അറിയപ്പെടുന്നു.
(ഡോ. എസ്. മാധവന്‍, ഡോ. എ.ആര്‍. രാജന്‍)
(ഡോ. എസ്. മാധവന്‍, ഡോ. എ.ആര്‍. രാജന്‍)

Current revision as of 05:57, 22 ജനുവരി 2009

ടോപ്പോളജി

Topology

ആധുനിക ഗണിതശാസ്ത്രത്തിന്റെ ഒരു ശാഖ. 20-ാം ശ. -ത്തിന്റെ ആദ്യവര്‍ഷങ്ങളിലാണ് ഈ ശാഖ സ്വതന്ത്ര വളര്‍ച്ച പ്രാപിച്ചത്. വസ്തുവിന്റെ ജ്യാമിതീയ സവിശേഷതകളേക്കാള്‍, സമരൂപ വിരൂപണം(homomorphic deformation) കൊണ്ട് ആ വസ്തുവില്‍ മാറ്റമില്ലാതെ തുടരുന്ന ഗുണവിശേഷങ്ങളാണ് ടോപ്പോളജിയില്‍ പഠനവിഷയമാക്കുന്നത്. അതിനാല്‍ 'സ്പേയ്സിന്റെ ഗുണധര്‍മങ്ങളെക്കുറിച്ചുള്ള പഠനം' എന്ന് ടോപ്പോളജിയെ നിര്‍വചിക്കാം. ഗണിതീയ വിശ്ലേഷണം (analysis), ജ്യാമിതീയ ഘടന എന്നീ മേഖലകളിലെ ചില പ്രശ്നങ്ങളാണ് ഈ ശാഖയുടെ വളര്‍ച്ചയ്ക്ക് തുടക്കം കുറിച്ചത്. ഗണിതശാസ്ത്രത്തിന്റെ വിവിധ നൂതന ശാഖകളില്‍ ഇന്ന് ടോപ്പോളജി ഉപയുക്തമാക്കുന്നുണ്ട്. ഫലന വിശ്ലേഷണം (Functional analysis), വാസ്തവിക വിശ്ലേഷണം (Real analysis), ത്രിവിമീയ ജ്യാമിതി (Three dimensional geometry) തുടങ്ങിയ ഒട്ടേറെ ശാഖകളിലും ടോപ്പോളജി ഒരു അടിസ്ഥാന ഘടകമായി മാറിക്കഴിഞ്ഞു.

ടോപ്പോളജിക്ക് രണ്ടു പ്രധാന ശാഖകളാണുള്ളത്; പൊതു (General) ടോപ്പോളജിയും ബീജീയ (Algebraic) ടോപ്പോളജിയും. ഗണിത വിശ്ലേഷണവുമായി ബന്ധപ്പെട്ട പ്രശ്നങ്ങള്‍ കൈകാര്യം ചെയ്യാനുള്ള വിശാലമായ ഒരു വേദി എന്ന നിലയ്ക്കാണ് പൊതു ടോപ്പോളജി വികസിച്ചു വന്നത്. ജ്യാമിതീയ പഠനത്തില്‍ നിന്നുണ്ടായ പ്രശ്നങ്ങള്‍ കൈകാര്യം ചെയ്യുന്ന ശാഖയാണ് ബീജീയ ടോപ്പോളജി. ഗ്രൂപ്പ് തിയറി ഉള്‍പ്പെടെയുള്ള സിദ്ധാന്തങ്ങള്‍ ഉപയോഗപ്പെടുത്തുന്നു എന്നതാണ് ബീജീയ ടോപ്പോളജിയുടെ സവിശേഷത.

പൊതു ടോപ്പോളജി.വാസ്തവിക സംഖ്യാ ഫലനങ്ങളുടെ പഠനമാണ് ഈ ശാഖയുടെ വികാസത്തിനു പ്രചോദനം നല്‍കിയത്; പ്രധാനമായും സന്തത (continuous) ഫലനങ്ങളുടെ പഠനം. കുറേക്കൂടി അമൂര്‍ത്തമായ തലത്തില്‍ സന്തത ഫലനങ്ങളെ വീക്ഷിക്കാനുള്ള ശ്രമം പൊതു ടോപ്പോളജിയില്‍ ദൃശ്യമാണ്. സന്തത സ്വഭാവം വ്യക്തമാക്കാന്‍ അവശ്യം വേണ്ട ഘടകങ്ങളുടെ അന്വേഷണം പുതിയ സ്പേയ്സിന്റെ ആവിഷ്ക്കാരത്തിലേക്കു നയിക്കുന്നു. ടോപ്പോളജീയ സ്പേയ്സ്, മെട്രിക് സ്പേയ്സ് എന്നിവ ഇത്തരത്തില്‍ നിര്‍വചിക്കപ്പെട്ടവയാണ്. വാസ്തവിക സംഖ്യകളുടെ ഫലനത്തെ ഇത്തരം അമൂര്‍ത്ത തലങ്ങളിലെ ഫലനങ്ങളുടെ ഒരു പ്രത്യേക ഇനമായി കണക്കാക്കാമെന്നതാണ് ഈ അമൂര്‍ത്തവത്ക്കരണത്തിന്റെ പ്രസക്തി.

മെട്രിക് സ്പേയ്സ്.സംഖ്യകള്‍ തമ്മിലുള്ള ദൂരം എന്നത് സന്തത ഫലനങ്ങളുടെ നിര്‍വചനത്തിലും ശ്രേണികളുടെ അഭിസരണത്തിലും (convergence) ഉപയോഗപ്പെടുത്തുന്ന ഒരു ആശയമാണ്. ഉദാഹരണത്തിന് {an} എന്ന വാസ്തവിക സംഖ്യാശ്രേണിയുടെ അഭിസരണം പരിഗണിക്കുക. ഈ ശ്രേണി ι എന്ന വാസ്തവിക സംഖ്യയിലേക്ക് അഭിസരണം ചെയ്യുന്നു എന്നതിനര്‍ഥം {an} ഉം ι ഉം തമ്മിലുള്ള ദൂരം ക്രമേണ കുറഞ്ഞു കുറഞ്ഞ് {an}എന്ന ശ്രേണി നോട് എത്ര വേണമെങ്കിലും അടുത്തു വരുന്നു എന്നതാണ്. ഇതിനെ കൂടുതല്‍ കൃത്യമായി പറയുന്നത് താഴെ കൊടുക്കും വിധം ആണ്.

ഏതൊരു വാസ്തവിക സംഖ്യ ε > 0 തന്നിരുന്നാലും അതിനോടു ബന്ധപ്പെട്ട് N എന്ന ഒരു പൂര്‍ണസംഖ്യ താഴെപ്പറയുന്ന നിബന്ധന അനുസരിക്കുന്നതായി ഉണ്ടാകണം.

നിബന്ധന : n ≥‍ N ആണെങ്കില്‍ | anl | < εആണ്.

ഇവിടെ | anl | എന്നത് an ഉം ι ഉം തമ്മിലുള്ള ദൂരം ആണ് എന്നു കണക്കാക്കാം. വാസ്തവിക സംഖ്യകള്‍ തമ്മിലുള്ള ദൂരം ഇപ്രകാരമാണ് നിര്‍വചിക്കപ്പെട്ടിരിക്കുന്നത്. ഇവിടെ ശ്രദ്ധേയമായ മറ്റൊരു കാര്യം ദൂരം എന്ന ആശയം കൊണ്ട് ഒരു ശ്രേണിയുടെ അഭിസരണം വ്യക്തമാക്കാം എന്നതാണ്. അതായത് | anl | < εഎന്ന നിബന്ധന an ഉം ι ഉം തമ്മിലുള്ള ദൂരം < ε എന്നു മാറ്റി എഴുതാവുന്നതാണ്. ഈ ദൂരത്തെ d (an,ι) എന്ന് സൂചിപ്പിച്ചാല്‍ മുകളില്‍ പറഞ്ഞ നിബന്ധന d (an, ι) < ε എന്നാകും.

ഈ പ്രസ്താവന, രേഖീയ സംഖ്യകളല്ലാത്ത ഒരു ഗണത്തിലും ദൂരം എന്ന ആശയം നിലവിലുണ്ടെങ്കില്‍ ശ്രേണികളുടെ അഭിസരണം പ്രതിപാദിക്കാന്‍ ഉപയോഗപ്പെടും. അത്തരം ഒരു ഗണ (set) ത്തില്‍ ദൂരം എന്ന ആശയം നിര്‍വചിക്കപ്പെട്ടിരിക്കണം. ഈവിധത്തിലുള്ള പരിഗണനയാണ് മെട്രിക് തലം എന്ന ആശയത്തിന് രൂപം നല്‍കിയത്. ദൂരം എന്ന ആശയത്തിന്റെ അമൂര്‍ത്തീകരണമാണ് മെട്രിക് എന്നതുകൊണ്ട് അര്‍ഥമാക്കുന്നത്. മെട്രിക്കിന്റെ നിര്‍വചനം ഇപ്രകാരമാണ്:

​X ഒരു അശൂന്യ ഗണം (Non empty set) ആണെന്നിരിക്കട്ടെ. R വാസ്തവിക സംഖ്യകളുടെ ഗണവും d: X × X → R ഒരു ഫലനവും ആകട്ടെ. താഴെപ്പറയുന്ന നിബന്ധനകള്‍ പൂര്‍ത്തിയാക്കുന്നു എങ്കില്‍ d ഒരു മെട്രിക് ആണ് എന്നു പറയുന്നു.

Image:395formuls1.png

X-ല്‍ ഇങ്ങനെ ഒരു മെട്രിക്, d, നിര്‍വചിച്ചിട്ടുണ്ടെങ്കില്‍ (X,d) എന്ന ജോടിയെ ഒരു മെട്രിക് സ്പേയ്സ് എന്നു വിളിക്കുന്നു.

ഉദാഹരണത്തിന് വാസ്തവിക സംഖ്യകളുടെ ഗണത്തില്‍ d(x,y) = | xy | ഒരു മെട്രിക് ആണ്.

പലതരത്തില്‍ മെട്രിക് നിര്‍ദേശിക്കപ്പെടാം. ഉദാഹരണത്തിന് X ഏതെങ്കിലുമൊരു അശൂന്യ ഗണം ആകട്ടെ.x,y ഇവ X -ല്‍ ആണെങ്കില്‍

Image:395formula2.png

എന്നത് X ലെ ഒരു മെട്രിക് ആണ്. വാസ്തവിക സംഖ്യാഗണത്തിന്റെ വര്‍ഗമായ R2 ലെ ചില മെട്രിക്കുകള്‍ താഴെക്കൊടുക്കുന്നു. ഇവയില്‍ x = (x1x2),y=(y1y2) എന്നിരിക്കട്ടെ.

ഇതിനെ യൂക്ളിഡിയന്‍ മെട്രിക് എന്നു പറയുന്നു.

സന്തത ഫലനങ്ങള്‍. മെട്രിക് തലങ്ങളില്‍ ദൂരം എന്ന ആശയം ഉള്ളതുകൊണ്ട് ശ്രേണികളുടെ അഭിസരണം പരിഗണിക്കാവുന്നതാണ്. അതുപോലെ തന്നെ ഫലനങ്ങളുടെ സന്തതത്വവും ഇത്തരം സ്പേയ്സുകളില്‍ പ്രതിപാദിക്കാവുന്നതാണ്.

രേഖീയ സംഖ്യകളുടെ ഒരു ഫലനമായ f ന്റെ സന്തതത്വം ഒരു ബിന്ദുവില്‍ പ്രകടമാക്കുന്ന രീതി ശ്രദ്ധിക്കുക.x0 എന്ന ബിന്ദുവില്‍ f സന്തതമാണെന്നതിന്റെ അര്‍ഥം x എന്ന ബിന്ദു x0 നോട് അടുക്കുന്തോറും f(x), f(x0) നോട് അടുക്കുന്നു എന്നാണ്. ഈ സാമീപ്യം വിടവില്ലാതെ തുടരും എന്നതാണ് സന്തതഫലനങ്ങളുടെ സ്വഭാവം. ഇവിടെ സാമീപ്യം മനസ്സിലാക്കുന്നത് ദൂരം ഉപയോഗിച്ചാണ്. ദൂരം മെട്രിക് ഉപയോഗിച്ചും വ്യക്തമാക്കുന്നു. അപ്പോള്‍ f(x), f(x0) നോട് സമീപമാണെന്നത് d(f(x), f(x0)) ചെറുതാണ് എന്നതിനു തുല്യമാണ്.

ഈ രീതിയില്‍ (X,d1), (Y,d2) ഇവ മെട്രിക് സ്പേയ്സുകളും f : X → Y ഒരു ഫലനവും ആണെങ്കില്‍ f ന്റെ സന്തതത്വം ഇങ്ങനെ പ്രകടമാക്കാം. d1(x, x0) ചെറുതാകുന്തോറും d2 (f(x), f(x0)) എത്രവേണമെങ്കിലും ചെറുതായിക്കൊണ്ടിരിക്കുമെങ്കില്‍ f എന്ന ഫലനം x0 എന്ന ബിന്ദുവില്‍ സന്തതം ആണ് എന്നു പറയാം. കൂടുതല്‍ കൃത്യതയോടെ പറഞ്ഞാല്‍ ഏതൊരു വാസ്തവിക സംഖ്യ ε>0 തന്നിരുന്നാലും അതുമായി ബന്ധപ്പെടുത്തി δ> 0 എന്ന ഒരു വാസ്തവിക സംഖ്യ താഴെപ്പറയുന്ന നിബന്ധന പാലിച്ച് ഉണ്ടാകുമെങ്കില്‍ f എന്ന ഫലനം x0 എന്ന ബിന്ദുവില്‍ സന്തതമാണ്.

നിബന്ധന: d1 (x,x0) < δ ആണെങ്കില്‍ d2 (f(x), f(x0)) < ε ആയിരിക്കും.

സാമീപ്യം. സാമീപ്യം എന്ന ആശയത്തെ കൂടുതല്‍ കൃത്യതയോടെ നിര്‍വചിച്ചാല്‍ സന്തതസ്വഭാവം വ്യക്തമാക്കാന്‍ ഈ ആശയം മതിയാകും എന്നു കാണാം. ഉദാഹരണത്തിന് f(x), f(x0)ന് സമീപം ആണ് എന്നതിനെ f(x), f(x0) ന്റെ ഒരു സാമീപ്യ മേഖലയില്‍ ആണ് എന്നും പറയാം. അങ്ങനെ ഓരോ ബിന്ദുവിനും സാമീപ്യ മേഖലകള്‍ നിര്‍ണയിച്ചാല്‍ അതിന്റെ അടിസ്ഥാനത്തില്‍ ശ്രേണികളുടെ അഭിസരണം, ഫലനങ്ങളുടെ സന്തതത്വം ഇവ പരിഗണിക്കാവുന്നതാണ്. ഇത്തരം ഒരു സമീപനമാണ് പൊതു ടോപ്പോളജിയില്‍ സ്വീകരിച്ചിട്ടുള്ളത്. ദൂരം എന്ന ആശയത്തില്‍ നിന്നാണ് സാമീപ്യം എന്ന ആശയം ഉടലെടുക്കുന്നതെങ്കിലും, സാമീപ്യം എന്ന ആശയം സ്വതന്ത്രമായി വ്യവഹരിക്കാവുന്നതാണ്. ഈ ദിശയിലുള്ള ശ്രമമാണ് പൊതു ടോപ്പോളജിയിലൂടെ പ്രകടമാകുന്നത്. 1906-ല്‍ ഫ്രെഷെ (Frechet) യുടെ മെട്രിക് സ്പേയ്സിനെപ്പറ്റിയുള്ള പഠനം, 1909-ല്‍ റീസ്സിന്റെ സീമാബിന്ദുക്കളെപ്പറ്റിയുള്ള പഠനം, 1913-ലെ വെയ്ലിന്റെ സാമീപ്യങ്ങളെ ആശ്രയിച്ചുള്ള സ്പേയ്സുകളുടെ പഠനം എന്നിവയാണ് ഈ ദിശയിലുള്ള ആദ്യ ശ്രമങ്ങള്‍. 1914-ല്‍ ഹൗസ്ഡോര്‍ഫ് രചിച്ച പ്രബന്ധത്തില്‍ ടോപ്പോളജീയ സ്പേയ്സ് കൂടുതല്‍ വ്യക്തതയോടെ നിര്‍വചിച്ചു. ഇതോടെ പൊതു ടോപ്പോളജി കൂടുതല്‍ പ്രയോഗക്ഷമമായി മാറുകയും ചെയ്തു.

ടോപ്പോളജീയ സ്പേയ്സ്.X ഒരു അശൂന്യ ഗണവും τഎന്നത് X-ന്റെ ഉപഗണങ്ങളുടെ ഒരു സമൂഹവും (class) ആണെന്നിരിക്കട്ടെ. താഴെപ്പറയുന്ന നിബന്ധനകള്‍ പാലിച്ചാല്‍ X ലുള്ള ഒരു ടോപ്പോളജിയാണ് τ എന്നുപറയാം. Image:396formula1.png

X എന്ന ഗണവും അതിലെ τ എന്ന ടോപ്പോളജിയും ചേര്‍ന്ന ജോടിയെ (X,τ) എന്നു സൂചിപ്പിക്കുന്നു. ഇതിനെ ഒരു ടോപ്പോളജീയ സ്പേയ്സ് എന്നു പറയുന്നു.

(X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെങ്കില്‍ τ ലെ അംഗങ്ങളെ വിവൃത ഗണങ്ങള്‍ (open sets) എന്നു പറയും. (T1), (T2),(T3) എന്നീ ടോപ്പോളജിയുടെ നിബന്ധനകളെ വിവൃത ഗണങ്ങളുടെ സ്വഭാവമായി വിവരിക്കാം.

Image:396formula2.png

(4) R, വാസ്തവിക സംഖ്യകളുടെ ഗണം ആണെന്നിരിക്കട്ടെ. (a,b) എന്നത് a മുതല്‍ b വരെയുള്ള വാസ്തവിക സംഖ്യകളുടെ ഗണം ആണ്. a,b എന്നീ അഗ്രബിന്ദുക്കള്‍ ഉള്‍പ്പെട്ടിട്ടില്ലാത്തതിനാല്‍ ഇതിനെ ഒരു വിവൃത അന്തരാളം എന്നു പറയുന്നു. വിവൃത അന്തരാളങ്ങളുടെ യോഗം ആയി വരുന്ന ഗണങ്ങള്‍ R ന്റെ ഒരു ടോപ്പോളജിയാണ്. R, φ ഇവ വിവൃത അന്തരാളങ്ങളായി കണക്കാക്കാം. ഈ ടോപ്പോളജി R ന്റെ സാധാരണ ടോപ്പോളജി എന്നാണ് അറിയപ്പെടുന്നത്.

(5) ഏതു മെട്രിക് സ്പേയ്സും ഒരു ടോപ്പോളജിയ സ്പേയ്സ് ആയി പരിഗണിക്കാം. മെട്രിക് രൂപം നല്‍കുന്ന ഒരു ടോപ്പോളജി ഓരോ മെട്രിക് സ്പേയ്സിലും നിര്‍വചിക്കാവുന്നതാണ്. ഇതു താഴെപ്പറയുന്ന പ്രകാരം നിര്‍വചിക്കാം.

(X,d) ഒരു മെട്രിക് സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. x എന്നത് X ലെ ഒരംഗവും r എന്നത് ഒരു ധന സംഖ്യയും ആണെങ്കില്‍ Sr (x) = {y ∈X : d (x,y) < r} എന്നത് X ന്റെ ഒരു ഉപഗണം ആണ്. ഇതിനെ ഒരു വിവൃത ഗോളം എന്നുപറയുന്നു. Sr (x) എന്ന വിവൃത ഗോളത്തിന്റെ ആരം r ഉം കേന്ദ്രം r ഉം ആണ്. ഇത്തരം വിവൃത ഗോളങ്ങളുടെ യോഗത്തെ മെട്രിക് സ്പേയ്സിലെ വിവൃത ഗണങ്ങള്‍ എന്നു പറയുന്നു. Sr (x) എന്നതും ഈ അര്‍ത്ഥത്തില്‍ ഒരു വിവൃത ഗണം ആണ്. X ഉം φ ഉം വിവൃത ഗണങ്ങള്‍ ആണെന്നു കാണാം. ഈ വിവൃത ഗണങ്ങളുടെ സമൂഹം X ന്റെ ഒരു ടോപ്പോളജിയാണ്. ഇതിനെ മെട്രിക് ടോപ്പോളജി എന്നു പറയുന്നു.

X ഏതെങ്കിലും ഒരു അശൂന്യ ഗണം ആണെന്നിരിക്കട്ടെ. τ1 = {X,φ} എന്നത് X ലെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനെ അവിവിക്ത (Indiscrete) ടോപ്പോളജി എന്നു പറയുന്നു. τ2 എന്നത് X ന്റെ എല്ലാ ഉപഗണങ്ങളുടേയും സമൂഹമാണെങ്കില്‍ τ2 ഉം ഒരു ടോപ്പോളജിയാണ്. τ2 നെ വിവിക്ത (Discrete) ടോപ്പോളജി എന്നു പറയുന്നു. X ലെ ഏതൊരു ടോപ്പോളജിയും ഇവയുടെ ഇടയിലായിരിക്കും. അതായത് X ലെ ഏതൊരു ടോപ്പോളജി τ യും τ1 ≤ τ ≤ τ2 എന്ന നിബന്ധന പാലിക്കും.

വിവൃത ഗണങ്ങളും സംവൃത ഗണങ്ങളും. (X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. τ ലെ അംഗങ്ങളെ വിവൃത ഗണങ്ങള്‍ എന്നാണ് പറയുന്നതെന്ന് നേരത്തെ വ്യക്തമാക്കിയിരുന്നു. വിവൃത ഗണങ്ങളുടെ പൂരകങ്ങളെ (complements) സംവൃത ഗണങ്ങള്‍ എന്നു പറയുന്നു. (X,τ) എന്ന ടോപ്പോളജീയ സ്പേയ്സില്‍ X,φ ഇവ വിവൃതങ്ങളും സംവൃതങ്ങളും ആണ്.

വിവൃത ഗണങ്ങള്‍ പാലിക്കേ വ്യവസ്ഥകള്‍ അടിസ്ഥാനപ്പെടുത്തിയാണ് ടോപ്പോളജി നിര്‍വചിച്ചിരിക്കുന്നത്. ഈ വ്യവസ്ഥകള്‍ക്കു പകരം സംവൃത ഗണങ്ങള്‍ പാലിക്കേ വ്യവസ്ഥകള്‍ ഉപയോഗിച്ചും ടോപ്പോളജി നിര്‍വചിക്കാം. സംവൃത ഗണങ്ങള്‍ പാലിക്കേ വ്യവസ്ഥകള്‍ ഇവയാണ്.

T1' : X, φ ഇവ സംവൃത ഗണങ്ങള്‍ ആണ്.

T2' : സംവൃത ഗണങ്ങളുടെ ഏതു സംഗമവും (intersection) സംവൃത ഗണം ആണ്.

T3' : സംവൃത ഗണങ്ങളുടെ ഏതു പരിമിത യോഗവും സംവൃത ഗണം ആണ്.

ആഭ്യന്തരവും സംവൃതവും.(X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സും A ⊆ X ഉം ആണെന്നു സങ്കല്പിക്കുക. അ സംവൃതമോ വിവൃതമോ ആകണമെന്നില്ല. φ ⊆ A ആകയാല്‍ A യ്ക്ക് വിവൃത ഉപഗണം ഉണ്ട് എന്നു കിട്ടുന്നു. A യുടെ വിവൃത ഉപഗണങ്ങളുടെ യോഗം A യുടെ ഉപഗണവും, വിവൃത ഗണവും ആണ്. ഇതിനെ A0 എന്നാണ് സൂചിപ്പിക്കുക. A0 എന്നത് A യുടെ ഏറ്റവും വലിയ വിവൃത ഉപഗണം ആണ്. A തന്നെ വിവൃത ഗണം ആണെങ്കില്‍ A0 = A ആണ്. A0 യെ A യുടെ ആഭ്യന്തരം എന്നു പറയുന്നു.

A ⊆ X എന്നതില്‍നിന്ന് A യ്ക്ക് സംവൃതമായ അധിഗണങ്ങള്‍ ഉണ്ട് എന്നു വ്യക്തമാകുന്നു. ഇത്തരം സംവൃത അധിഗണങ്ങളുടെ സംഗമം ഒരു സംവൃതഗണവും A യുടെ അധിഗണവും ആണ്. ഇതിനെ \bar{A} എന്നാണ് സൂചിപ്പിക്കുന്നത്. \bar{A} നെ A യുടെ സംവൃതം (closure) എന്നു പറയുന്നു. A ഉള്‍ക്കൊള്ളുന്ന ഏറ്റവും ചെറിയ സംവൃത ഗണമാണ് . A ഒരു സംവൃത ഗണമാണെങ്കില്‍ \bar{A} = A ആണ്.

സംവൃതം സംബന്ധിച്ച ചില പ്രമേയങ്ങള്‍'

പ്രമേയം 1.X ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. A, B ഇവ X ന്റെ ഉപഗണങ്ങള്‍ ആണെങ്കില്‍ താഴെപ്പറയുന്ന പ്രസ്താവനകള്‍ ശരിയാണ്.

Image:pno396for1.png

സംവൃത ക്രിയ ഉപയോഗിച്ച് ടോപ്പോളജി നിര്‍വചിക്കാവുന്നതാണ്. അടുത്ത പ്രമേയം ഇതിന്റെ രീതി വ്യക്തമാക്കുന്നു.

പ്രമേയം 2.X ഒരു അശൂന്യഗണം ആണെന്നു സങ്കല്പിക്കുക. എന്നത് A →\bar {A} ന്റെ ഉപഗണങ്ങള്‍ തമ്മിലുള്ള ഒരു ബന്ധം ആണെന്നിരിക്കട്ടെ. താഴെപ്പറയുന്ന നിബന്ധനകള്‍ പാലിക്കുന്നു എന്നു കരുതുക.

Image:pno396for2.png

അപ്പോള്‍ A = \bar{A} എന്ന വ്യവസ്ഥ പാലിക്കുന്ന ഉപഗണങ്ങള്‍ സംവൃത ഗണങ്ങള്‍ ആകുന്ന ഒരു ടോപ്പോളജി X ന് ഉണ്ടാവും. മാത്രമല്ല ഈ ടോപ്പോളജീയ സ്പേയ്സില്‍ A എന്ന ഉപഗണത്തിന്റെ സംവൃതം മുകളില്‍ തന്നിട്ടുള്ള എന്ന ഗണം ആകുകയും ചെയ്യും.

സാമീപ്യം എന്ന ആശയം ടോപ്പോളജീയ സ്പേയ്സില്‍ വളരെ പ്രയോജനകരമാണ്. X ഒരു ടോപ്പോളജീയ സ്പേയ്സും x ∈ Xഉം ആണെന്നിരിക്കട്ടെ. x അംഗമായുള്ള ഒരു വിവൃത ഗണം ഉള്‍ക്കൊള്ളുന്ന ഏതു ഗണത്തേയും x ന്റെ ഒരു സാമീപ്യം എന്നു പറയാം. ഉദാഹരണമായി R എന്നത് വാസ്തവിക സംഖ്യകളുടെ ഗണം സാധാരണ ടോപ്പോളജി ഉള്‍പ്പെടുത്തി കണക്കാക്കുക. 0 എന്ന അംഗത്തിന്റെ സാമീപ്യങ്ങളാണ് (1,1), (2,1), (2,3) തുടങ്ങിയവ.

ആധാരവും ഉപ ആധാരവും.ഒരു ടോപ്പോളജീയ സ്പേയ്സിലെ വിവൃത ഉപഗണങ്ങള്‍ ആണ് അതിലെ ടോപ്പോളജി നിര്‍ണയിക്കുന്നത്. വിവൃത ഉപഗണങ്ങള്‍ പാലിക്കുന്ന വ്യവസ്ഥകള്‍ പ്രകാരം സംഗമം, യോഗം എന്നിവയിലൂടെ വീണ്ടും വിവൃതഗണങ്ങള്‍ സൃഷ്ടിക്കപ്പെടുന്നു. ഉദാഹരണത്തിന് A,B എന്നിവ വിവൃത ഗണങ്ങള്‍ ആണെങ്കില്‍ A ∪B,A ∩ B എന്നിവയും വിവൃത ഗണങ്ങള്‍ ആണ്. വിവൃത ഉപഗണങ്ങള്‍ മുഴുവന്‍ ഇപ്രകാരം ചെറിയ ഒരു ഉപഗണ സമൂഹത്തില്‍ നിന്നും സൃഷ്ടിച്ചെടുക്കാനുള്ള അന്വേഷണം ആണ് ആധാരം, ഉപ ആധാരം തുടങ്ങിയ ആശയങ്ങളിലേക്ക് എത്തിക്കുന്നത്.

(X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. β ⊆ τ ആകട്ടെ. τ ലെ ഏത് അംഗവും β ലെ അംഗങ്ങളുടെ യോഗം ആണെങ്കില്‍ β യെ (X,τ) യുടെ ഒരു ആധാരം എന്നു പറയുന്നു. മറ്റൊരുതരത്തില്‍ പറഞ്ഞാല്‍ τയുടെ ഉപഗണമായ β താഴെപ്പറയുന്ന വ്യവസ്ഥകള്‍ പാലിച്ചാല്‍ അത് τ യുടെ ഒരു ആധാരം ആണ്.

Image:pno397for3.png

ഒരു ടോപ്പോളജി വ്യക്തമാക്കാന്‍ അതിന്റെ എല്ലാ വിവൃതഗണങ്ങളും പറയുന്നതിനു പകരം അതിന്റെ ഒരു ആധാരം നല്‍കിയാല്‍മതി എന്നതാണ് ആധാരം എന്ന ആശയത്തിന്റെ പ്രാധാന്യം.

ചെറിയ ഗണ സമൂഹം കൊണ്ട് ടോപ്പോളജി നിര്‍ണയിക്കുന്ന പ്രക്രിയ കുറേക്കൂടി മുന്നോട്ടു കൊണ്ടുപോയാല്‍ ലഭിക്കുന്നതാണ് ഉപ ആധാരം. (​X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സും S ⊆τ ഉം ആകട്ടെ. S ലെ അംഗങ്ങളുടെ സംഗമം ആയി വരുന്ന ഗണങ്ങള്‍ τ യുടെ ഒരു ആധാരം ആണെങ്കില്‍ S നെ τ യുടെ ഒരു ഉപ ആധാരം എന്നു പറയുന്നു.

ഉദാഹരണത്തിന് വാസ്തവിക സംഖ്യാഗണത്തിന്റെ ടോപ്പോളജി പരിഗണിക്കുക. β = {(a, b) : a < b} എന്നത് ഈ ടോപ്പോളജിയുടെ ഒരു ആധാരം ആണ്. അതുപോലെ Image:pno397for4.png എന്നത് ഈ ടോപ്പോളജിയുടെ ഒരു ഉപ ആധാരം ആണ്.

സന്തത ഫലനങ്ങള്‍.സന്തത ഫലനങ്ങള്‍ കൈകാര്യം ചെയ്യാനുള്ള ഒരു വേദി എന്ന നിലയിലാണ് ടോപ്പോളജീയ സ്പേയ്സുകള്‍ പ്രയോജനപ്പെടുന്നത്. സാമീപ്യം എന്ന ആശയം ഉപയോഗിച്ച് സന്തതസ്വഭാവം വ്യക്തമാക്കുന്നത് എങ്ങനെ എന്നു നോക്കാം.

X, Y ഇവ ടോപ്പോളജീയ സ്പേയ്സും f : X → Y ഒരു ഫലനവും ആണെന്നിരിക്കട്ടെ. V എന്നത് Y യുടെ ഏതു വിവൃത ഉപഗണം ആണെങ്കിലും f-1 (V)എന്നത് X -ന്റെ ഒരു വിവൃത ഉപഗണം ആണെങ്കില്‍ f എന്ന ഫലനം സന്തതം ആണ് എന്നു പറയുന്നു. R വാസ്തവിക സംഖ്യാഗണവും f : R → R ഒരു സന്തതഫലനവും ആണെന്നിരിക്കട്ടെ. R ന് സാധാരണ ടോപ്പോളജി നല്‍കിയാല്‍ ടോപ്പോളജീയ സ്പേയ്സിലെ സന്തത ഫലനത്തിന്റെ നിര്‍വചനം സാധാരണ സന്തത ഫലനത്തിന്റെ നിബന്ധനയ്ക്കു സമാനമാണെന്നു കാണാം.

സമരൂപത.ടോപ്പോളജീയ സ്പേയ്സുകള്‍ തമ്മിലുള്ള ഘടനാപരമായ സമാനത കൈകാര്യം ചെയ്യാനും സന്തത ഫലനങ്ങള്‍ ആണ് ഉപയോഗിക്കുന്നത്. രണ്ടു ടോപ്പോളജീയ സ്പേയ്സുകള്‍ സമരൂപങ്ങളായി കണക്കാക്കുന്നത് അവയ്ക്ക് ഒരേ ഘടന ഉള്ളപ്പോഴാണ്. അതായത് രണ്ടു ഗണങ്ങളും അവയുടെ വിവൃത ഉപഗണങ്ങളും പരസ്പരം ഏകൈക പ്രതിലോമത്തില്‍ (one-to-one correspondence) ആയിരിക്കണം. സമരൂപതയുടെ നിര്‍വചനം ഇപ്രകാരം നല്‍കാം.

X,Y ഇവ ടോപ്പോളജീയ സ്പേയ്സും f : X →Y ഒരു ബൈജക്റ്റീവ് ഫലനവും ആണെന്നിരിക്കട്ടെ. f ഉം f-1 ഉം സന്തത ഫലനങ്ങള്‍ ആണെങ്കില്‍ X, Y ഇവ സമരൂപങ്ങളാണ് എന്നു പറയുന്നു. ഈ സന്ദര്‍ഭത്തില്‍ f എന്ന ഫലനത്തെ ഒരു സമരൂപത (homomorphism) എന്നും പറയുന്നു.

രണ്ടു ടോപ്പോളജീയ സ്പേയ്സുകള്‍ സമരൂപങ്ങളാണെങ്കില്‍ അവ ടോപ്പോളജീയമായി ഒരുപോലെ പ്രവര്‍ത്തിക്കും എന്നാണ് വിവക്ഷ.

വിവിധതരം ടോപ്പോളജികള്‍.സാധാരണ പരിഗണിക്കാറുള്ള ചില ടോപ്പോളജികളെ ഇവിടെ പരാമര്‍ശിക്കാം.

(i) ആപേക്ഷിക ടോപ്പോളജി.(X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സും Y ⊆X ഉം ആണെന്നിരിക്കട്ടെ. Y യ്ക്ക് X ന്റെ ടോപ്പോളജിയില്‍ നിന്ന് ലഭ്യമാകുന്ന ഒരു ടോപ്പോളജി ഉണ്ട്. ഇതിനെ Y യുടെ ആപേക്ഷിക ടോപ്പോളജി എന്നു പറയുന്നു. ആപേക്ഷിക ടോപ്പോളജിയില്‍ Y യുടെ ഒരു ഉപഗണമായ A വിവൃതം ആകണമെങ്കില്‍ താഴെപ്പറയുന്ന നിബന്ധന പാലിക്കണം.

A = Y ∪ G ആകുംവിധം G എന്ന വിവൃത ഗണം τ ല്‍ ഉണ്ടാകണം. മറ്റൊരുതരത്തില്‍ പറഞ്ഞാല്‍ τy = {Y ∪ G:G ∈ τ} എന്നത് Y യുടെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനെ Y യുടെ ആപേക്ഷിക ടോപ്പോളജി എന്നു പറയുന്നു. Y യെ X ന്റെ ഒരു ഉപതലം എന്നും പറയാറുണ്ട്.

(ii) ഗുണന ടോപ്പോളജി. X, Y ഇവ ടോപ്പോളജീയ സ്പേയ്സുകളാണെങ്കില്‍ X × Y ല്‍ X,Y ഇവയില്‍ നിന്നു ലഭ്യമായ ഒരു ടോപ്പോളജി നിര്‍വചിക്കാന്‍ കഴിയും. U, V ഇവ യഥാക്രമം X, Y ഇവയിലെ വിവൃതഗണങ്ങള്‍ ആണെങ്കില്‍ U × V ആധാരത്തിലെ അംഗം ആകുംവിധം ആണ് X ×Y ലെ ടോപ്പോളജി നിര്‍ണയിക്കുന്നത്. അതായത് β = {U × V :U,V ഇവ യഥാക്രമം X, Y ഇവയില്‍ വിവൃതം ആണ്} എന്നത് ഒരു ആധാരം ആയി X × Y ല്‍ കിട്ടുന്ന ടോപ്പോളജിയെ ഗുണന ടോപ്പോളജി എന്നു പറയുന്നു.

ഈ ടോപ്പോളജി മറ്റൊരു രൂപത്തിലും പ്രതിപാദിക്കാം. S = {X x V:V,Y ലെ വിവൃതഗണം} ∪{U xY:U,X ലെ വിവൃത ഗണം} എന്നത് ഉപആധാരം ആയി X x Y ല്‍ കിട്ടുന്ന ടോപ്പോളജിയും മുകളില്‍ കൊടുത്ത ഗുണന ടോപ്പോളജി തന്നെ ആണ്. രണ്ടാമത്തെ രീതിയിലുള്ള പ്രതിപാദനത്തിന് അനന്തഗുണനത്തിലേക്ക് കൂടി വ്യാപിക്കാം എന്ന സവിശേഷത ഉണ്ട്. Image:pno398for6.pngഎന്നത് ഒരു അനന്തഗുണനഫലം ആണെന്നു കരുതുക. ഓരോ Xi ഉം ടോപ്പോളജീയ സ്പേയ്സ് ആണെങ്കില്‍ X ല്‍ ഗുണന ടോപ്പോളജി നിര്‍വചിക്കാനാവും. Pi:X →Xi പ്രൊജക്ഷന്‍ഫലനം ആണെങ്കില്‍ S = {Pi-1 (Ui) : Ui, Xi ലെ വിവൃതഗണം} ഉപആധാരം ആയി X ല്‍ കിട്ടുന്ന ടോപ്പോളജി ആണ് X ലെ ഗുണന ടോപ്പോളജി.

(iii) ഹരണ ടോപ്പോളജി.X ഒരു ഗണവും P ഒരു സമതാബന്ധവും (equivalence ralation) ആണെങ്കില്‍ സമതാഗണങ്ങളുടെ സമൂഹത്തെ X ന്റെ P ഹരണഫലം എന്നാണ് പറയുന്നത്. ഇത് X / P എന്ന് എഴുതുന്നു. (X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെങ്കില്‍ X / P ല്‍ ഒരു ടോപ്പോളജി X ല്‍ നിന്നും ലഭ്യമാണ്. ഇത് നിര്‍വചിക്കാന്‍ X ല്‍ നിന്ന് X / P യിലേക്കുള്ള ഹരണഫലനം ഉപയോഗപ്പെടുത്തുന്നു. P: X →X/ P ആകട്ടെ ഈ ഹരണഫലനം. x ∈X ആണെങ്കില്‍ p(x) എന്നത് x ഉള്‍ക്കൊള്ളുന്ന സമതാഗണം ആണ്. ഇവിടെ τp {W ⊆ X/P: p-1 (W) ∈ τ } എന്നത് X / P ലെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനെ ഹരണ ടോപ്പോളജി എന്നു പറയുന്നു.

ഹരണ ടോപ്പോളജി മറ്റൊരു രീതിയിലും നിര്‍വചിക്കാം. (X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സും f : X →A,A റേഞ്ചായുള്ള ഒരു ഫലനവും ആണെന്നിരിക്കട്ടെ. അപ്പോള്‍ τq {G ⊆ A:f-1 (G) ∈ τ}എന്നത് A -ലെ ഒരു ടോപ്പോളജി ആണ്. ഇതിനേയും ഹരണ ടോപ്പോളജി എന്നു പറയാം.

ടോപ്പോളജീയ സവിശേഷതകള്‍ (Topological properties). പലപ്പോഴും ചില സവിശേഷതകള്‍ ഉള്ള ടോപ്പോളജീയ സ്പേയ്സുകള്‍ ആണ് പ്രായോഗികമായി ഉപകരിക്കപ്പെടുന്നത്. ഉദാഹരണത്തിന് വാസ്തവിക സംഖ്യകളുടെ ടോപ്പോളജീയ സ്പേയ്സിന്റെ ഒരു സവിശേഷതയാണ് അവിച്ഛിന്നത (connectedness). (X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. X -നെ സംഗമം ശൂന്യമായ രണ്ടു അശൂന്യ വിവൃതഗണങ്ങളുടെ യോഗം ആയി എഴുതാന്‍ സാധ്യമല്ല എങ്കില്‍ ​X​-നെ ഒരു അവിച്ഛിന്ന സ്പേയ്സ് എന്നു വിളിക്കുന്നു. വാസ്തവിക സംഖ്യാതലം, R, സംഗമം ശൂന്യമായ രണ്ടു അശൂന്യ വിവൃതഗണങ്ങളുടെ യോഗം ആയി എഴുതാന്‍ പറ്റാത്തതാണ്. എന്നാല്‍ എണ്ണല്‍ സംഖ്യകളുടെ ഗണം R ന്റെ ഒരു ഉപസ്പേയ്സായി കണക്കാക്കിയാല്‍ അത് അവിച്ഛിന്നം അല്ല. അവിച്ഛിന്ന തലങ്ങള്‍ക്ക് പല പ്രത്യേകതകളും ഉണ്ട്. ഉദാഹരണത്തിന് X ഒരു അവിച്ഛിന്ന സ്പേയ്സ് ആണെങ്കില്‍ X ല്‍ നിന്ന് മുകളില്‍ പറഞ്ഞ എണ്ണല്‍ സംഖ്യാസ്പേയ്സിലേക്കുള്ള ഏതു സന്തത ഫലനവും ഒരു സ്ഥിരസംഖ്യാഫലനം (constant function) ആണ്.

വാസ്തവിക സംഖ്യാസ്പേയ്സില്‍ ഇല്ലാത്തതും എന്നാല്‍ ഏതു സംവൃത അന്തരാളം, [a,b] യ്ക്കും ഉള്ളതുമായ ഒരു സവിശേഷതയാണ് കോംപാക്റ്റ്നെസ്. ഒരു തരത്തിലുള്ള പരിമിതത്വമാണ് ഇതിലൂടെ പ്രകടമാകുന്നത്. (X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ Γ = {G1:i∈I} X ലെ വിവൃതഗണങ്ങളുടെ ഒരു സമൂഹം ആകട്ടെ. X = Image:pno399fo.png ആണെങ്കില്‍ Γ യെ X ന്റെ ഒരു ആവരണം എന്നു പറയുന്നു. X ന്റെ ഏതു ആവരണത്തിലും ഒരു പരിമിത ഉപആവരണം ഉണ്ടെങ്കില്‍ X ഒരു കോംപാക്റ്റ് സ്പേയ്സ് ആണ് എന്നു പറയുന്നു. X ഒരു പരിമിത ഗണം ആണെങ്കിലും, τ ഒരു പരിമിത സമൂഹം ആണെങ്കിലും X കോംപാക്റ്റ് സ്പേയ്സ് ആണ്. വാസ്തവിക സംഖ്യാസ്പേയ്സിന്റെ എല്ലാ കോംപാക്റ്റ് ഉപസ്പേയ്സുകളും ഹെയ് ന്‍- ബോറല്‍ (Heine-Borel) പ്രമേയം വഴി ലഭ്യമാണ്. അതു പ്രകാരം സംവൃതവും പരിമേയവും (bounded) ആയ ഉപസ്പേയ്സുകള്‍ മാത്രമാണ് വാസ്തവിക സംഖ്യാസ്പേയ്സിന്റെ കോംപാക്റ്റ് ആയ ഉപസ്പേയ്സുകള്‍.

വേര്‍തിരിവ് ആക്സിയങ്ങള്‍ (Separation axioms). ടോപ്പോളജീയ സ്പേയ്സിനെ അവയിലുള്ള വിവൃത ഗണങ്ങളുടെ ലഭ്യതയുടെ അടിസ്ഥാനത്തില്‍ T0,T1,T2,T3, T4 എന്നിങ്ങനെ വിവിധ തട്ടുകളിലായി തരംതിരിക്കാറുണ്ട്. (​X,τ) ഒരു ടോപ്പോളജീയ സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ.x,y ഇവ X ലെ ഏതെങ്കിലും രണ്ടു വ്യത്യസ്ത അംഗങ്ങള്‍ ആകട്ടെ. x ഉള്‍ക്കൊള്ളുന്നതും y അംഗമല്ലാത്തതുമായ ഒരു ഗണമോ y ഉള്‍ക്കൊള്ളുന്നതും x അംഗമല്ലാത്തതുമായ ഒരു ഗണമോ τ ല്‍ ഉണ്ടെങ്കില്‍, (​X,τ) ഒരു T0 - സ്പേയ്സ് ആണ് എന്നു പറയുന്നു.

x ഉള്‍പ്പെടുന്നതും y അംഗമല്ലാത്തതുമായ ഒരു വിവൃത ഗണവും, y ഉള്‍പ്പെടുന്നതും x അംഗമല്ലാത്തതുമായ ഒരു വിവൃത ഗണവും X ന് ഉണ്ടെങ്കില്‍ ​X നെ ഒരു T1 സ്പേയ്സ് എന്നു പറയുന്നു.

എല്ലാ T1 സ്പേയ്സും T0 സ്പേയ്സ് ആണെന്നത് വ്യക്തമാണ്.

x അംഗമായ ഒരു വിവൃത ഗണവും, y അംഗമായ മറ്റൊരു വിവൃത ഗണവും പരസ്പരം സംഗമം ശൂന്യമായതായി ഉണ്ടെങ്കില്‍ ​X നെ ഒരു T2 സ്പേയ്സ് എന്നു വിളിക്കുന്നു. ഇവിടെ എല്ലാ T2 സ്പേയ്സും T1 സ്പേയ്സാണ് എന്നത് വ്യക്തമാണ്. എല്ലാ മെട്രിക് സ്പേയ്സുകളും T2 സ്പേയ്സ് ആണെന്നതും എളുപ്പത്തില്‍ തെളിയിക്കാവുന്നതാണ്. (X,τ) ഒരു T1 സ്പേയ്സ് ആണെന്നിരിക്കട്ടെ. x ∈ A ഉം F ⊆ B എന്നത് x അംഗമല്ലാത്ത ഏതെങ്കിലും ഒരു സംവൃത ഗണവും ആണെന്നിരിക്കട്ടെ. സംഗമം ശൂന്യമായ A, B എന്നീ വിവൃത ഗണങ്ങള്‍ x ∈ A,F ⊆ B ആകുംവിധം ഉണ്ടെങ്കില്‍ ​ Xനെ ഒരു T3 സ്പേയ്സ് എന്നു വിളിക്കുന്നു.

എല്ലാ T3 സ്പേയ്സും T2 സ്പേയ്സ് ആണെന്ന് കാണാവുന്നതാണ്.

(X,τ) ഒരു T1സ്പേയ്സും A,B ഇവ സംഗമം ശൂന്യമായ ഏതെങ്കിലും രണ്ടു സംവൃത ഗണങ്ങളും ആണെന്നിരിക്കട്ടെ. G,H ഇവ സംഗമം ശൂന്യമായ വിവൃത ഗണങ്ങളും A ⊆G, B ⊆ H എന്നീ വ്യവസ്ഥകള്‍ പാലിക്കുന്നതും ആയി ഉണ്ടെങ്കില്‍ ​​X ഒരു T4 സ്പേയ്സ് ആണെന്നു പറയുന്നു. എല്ലാ T4 സ്പേയ്സും T3 സ്പേയ്സ് ആണെന്ന് കാണാവുന്നതാണ്. എല്ലാ മെട്രിക് സ്പേയ്സും T4 സ്പേയ്സ് ആണ് എന്നു കാണാം. X = {1, 2},τ = {X,φ} ആണെങ്കില്‍ (X,τ) മുകളില്‍ പറഞ്ഞ ഒരു T1 സ്പേയ്സിലും പെടുന്നില്ല.

2. ബീജീയ ടോപ്പോളജി.ടോപ്പോളജീയ സ്പേയ്സിനെ സംബന്ധിച്ച പഠനത്തില്‍ ബീജഗണിത ആശയങ്ങള്‍ ഉള്‍പ്പെടുത്തി കൈകാര്യം ചെയ്യുന്ന ശാഖയാണ് ബീജീയ ടോപ്പോളജി. ഇവിടെ കൈകാര്യം ചെയ്യപ്പെടുന്ന പ്രശ്നങ്ങള്‍ പൊതു ടോപ്പോളജിയില്‍ പരിഗണിക്കുന്നവയില്‍ നിന്ന് പലപ്പോഴും വ്യത്യസ്തമാണ്. പൊതു ടോപ്പോളജിയിലും ജ്യാമിതിയിലും ഉത്ഭവിക്കുന്ന ചില പ്രശ്നങ്ങള്‍ക്ക് ഉചിതമായ നിര്‍ധാരണം ബീജീയ സങ്കേതങ്ങളില്‍ക്കൂടി പലപ്പോഴും ലഭ്യമാണ്. സ്ഥിരബിന്ദു (fixed point) പ്രശ്നങ്ങള്‍, സമരൂപതാപ്രശ്നങ്ങള്‍ എന്നിവ പലപ്പോഴും ബീജീയ ടോപ്പോളജിയുടെ സിദ്ധാന്തങ്ങള്‍ ഉപയോഗിച്ച് എളുപ്പത്തില്‍ കൈകാര്യം ചെയ്യാറുണ്ട്. ഉദാഹരണത്തിന് R2 ഉം R3 ഉം സമരൂപങ്ങളല്ല എന്നു തെളിയിക്കണമെന്നിരിക്കട്ടെ. അവ തമ്മില്‍ ഒരു സമരൂപത നിലവിലില്ല എന്നു തെളിയിക്കാന്‍ ഫലനങ്ങള്‍ ഉപയോഗിച്ച് എളുപ്പമല്ല. ബീജീയടോപ്പോളജിയില്‍ ഇത് തെളിയിക്കുന്നത് ഓരോ സ്പേയ്സിനേയും ഓരോ ഗ്രൂപ്പുമായി ബന്ധിപ്പിച്ചാണ്. ഈ ബന്ധം സമരൂപത സംരക്ഷിക്കുന്നതാകണം. അപ്പോള്‍ R2 നെ ബന്ധപ്പെടുത്തുന്ന ഗ്രൂപ്പും R3 നെ ബന്ധപ്പെടുത്തുന്ന ഗ്രൂപ്പും സമരൂപം അല്ലെങ്കില്‍ R2 ഉം R3 ഉം സമരൂപം അല്ല എന്നു കിട്ടും. ഹോമോളജി ഗ്രൂപ്പ് എന്ന ആശയം ആണ് ഇവിടെ പ്രയോഗിക്കുന്നത്. ഹോമോളജി ഗ്രൂപ്പ്, ഹോമോട്ടോപ്പി ഗ്രൂപ്പ് എന്നീ ഗ്രൂപ്പുകള്‍ ആണ് സാധാരണയായി ടോപ്പോളജീയ സ്പേയ്സുമായി ബന്ധപ്പെട്ട് പരിഗണിക്കാറുള്ളത്.

ഹോമോട്ടോപ്പി.ടോപ്പോളജീയ സ്പേയ്സിലെ സന്തതഫലനങ്ങള്‍ തമ്മില്‍ ഉള്ള ഒരു ബന്ധമാണ് ഹോമോട്ടോപ്പി. X, Y ഇവ ടോപ്പോളജീയ സ്പേയ്സുകളും f,g :X →Y സന്തതഫലനങ്ങളും ആണെന്നിരിക്കട്ടെ. I = [0,1] ആകട്ടെ. F: X ×I →Y എന്ന ഒരു സന്തതഫലനം താഴെപ്പറയുന്ന നിബന്ധനപ്രകാരം ഉണ്ടെങ്കില്‍ f ഉം g ഉം തമ്മില്‍ ഹോമോട്ടോപ്പി ബന്ധം ഉണ്ട് എന്നു പറയുന്നു.

Image:pno399for4.png

F നെ f,g ഇവ തമ്മിലുള്ള ഒരു ഹോമോട്ടോപ്പി എന്നും പറയുന്നു.

പ്രാമാണിക ഗ്രൂപ്പ് (Fundamental group).ടോപ്പോളജീയ സ്പേയ്സിന്റെ പഠനത്തില്‍ പ്രയോഗിക്കപ്പെടുന്ന ഒരു ഗ്രൂപ്പാണ് പ്രാമാണിക ഗ്രൂപ്പ് (Fundamental group) എന്ന പേരില്‍ അറിയപ്പെടുന്നത്. ഈ ഗ്രൂപ്പിന്റെ സ്വഭാവത്തില്‍ നിന്ന് അതു നല്‍കുന്ന ടോപ്പോളജീയ സ്പേയ്സിനെ സംബന്ധിച്ച് കുറേ കാര്യങ്ങള്‍ വ്യക്തമാക്കാന്‍ സാധിക്കും. I = [0,1] എന്ന സംവൃത അന്തരാളത്തില്‍ നിന്നും X എന്ന ടോപ്പോളജീയ സ്പേയ്സിലേക്കുള്ള സന്തതഫലനങ്ങളില്‍ നിന്നാണ് ഈ ഗ്രൂപ്പ് രൂപപ്പെടുന്നത്. ഇത്തരം സന്തതഫലനങ്ങളെ പഥം എന്നു പറയുന്നു. u : I →X ഒരു പഥം ആണെങ്കില്‍ u(0),u(1) ഇവയെ യഥാക്രമം u എന്ന പഥത്തിന്റെ ആദ്യബിന്ദു എന്നും അവസാനബിന്ദു എന്നും പറയുന്നു. u(0) = x0, u (1) = x1 ആണെങ്കില്‍ x0 ല്‍ നിന്ന് x1ലേക്കുള്ള ഒരു പഥമാണ് u.x0,x1 ∈ X ഉം u,v ഇവ x0 ല്‍ നിന്ന് x1 ലേക്കുള്ള പഥങ്ങളും ആണെന്നിരിക്കട്ടെ. F :I × I →X എന്നത് u ല്‍ നിന്ന് v -ലേക്കുള്ള ഒരു ഹോമോട്ടോപ്പി ആണെന്നിരിക്കട്ടെ. ഉപരിയായി ഓരോ t ∈ I യ്ക്കും F(0,t ) = x0, F (1,t) = x1 എന്നീ വ്യവസ്ഥകള്‍ കൂടി പാലിക്കുന്നു എങ്കില്‍ F- നെ ഒരു പഥ ഹോമോട്ടോപ്പി എന്നു പറയുന്നു. അപ്പോള്‍ u,v ഇവ പഥ ഹോമോട്ടോപ്പിക് ആണ് എന്നും പറയാം.

x0, x1, x2 ഇവ X എന്ന ടോപ്പോളജീയ സ്പേയ്സിലെ ബിന്ദുക്കളും u,v ഇവ യഥാക്രമം x0 ല്‍ നിന്ന് x1 ലേക്കും x1 ല്‍ നിന്ന് x2 ലേക്കുള്ള പഥങ്ങളും ആണെന്നിരിക്കട്ടെ. അപ്പോള്‍, u,v ഇവയുടെ കൂടിച്ചേരല്‍ വഴി u.v എന്ന ഒരു പഥം സൃഷ്ടിക്കപ്പെടുന്നു. u.v നിര്‍വചിക്കപ്പെടുന്നത് ഇപ്രകാരമാണ്. t ∈ [0,1] ആണെങ്കില്‍

u-v ഒരു പഥം ആണെന്ന കാര്യം വ്യക്തമാണ്. അതുപോലെ തന്നെ വ്യക്തമാണ് u-v യുടെ ആദ്യബിന്ദു x0 ഉം അവസാനബിന്ദു x2 ഉം ആണെന്നതും.

u എന്ന ഒരു പഥത്തിന്റെ ആദ്യബിന്ദുവും അവസാനബിന്ദുവും x0 എന്ന ഒരേ ബിന്ദു ആണെങ്കില്‍ u-നെ ഒരു ലൂപ്പ് എന്നു വിളിക്കുന്നു. കൂടുതല്‍ കൃത്യമായി x0 ല്‍ ഉള്ള ഒരു ലൂപ്പ് എന്നു പറയാം. x0-ലുള്ള ഏതു ജോടി ലൂപ്പുകളും തമ്മില്‍ ഒരു ഗുണനം സാധ്യമാണ്. ഈ ഗുണനക്രിയ ആണ് പ്രാമാണിക ഗ്രൂപ്പിന്റെ അടിസ്ഥാനമായ ക്രിയ.

X ഒരു ടോപ്പോളജീയ സ്പേയ്സും x0 ∈ X ഉം ആണെങ്കില്‍ X ന്റെ x0 ആധാരമായുള്ള പ്രാമാണിക ഗ്രൂപ്പിനെ π (X,x0) എന്നാണ് സൂചിപ്പിക്കുന്നത്. ഇതിലെ അംഗങ്ങള്‍ x0 ലുള്ള ലൂപ്പുകളുടെ ഹോമോട്ടോപ്പിക സമൂഹങ്ങള്‍ ആണ്. u എന്ന ലൂപ്പിന്റെ ഹോമോട്ടോപ്പിക സമൂഹത്തെ [u] എന്ന് സൂചിപ്പിച്ചാല്‍ π (X, x0) ലെ ഗുണനക്രിയ [u] . [v] = [u-v] എന്ന് നിര്‍വചിക്കാം. ഇവിടെ [u-v] എന്നത് u-v എന്ന ലൂപ്പിന്റെ ഹോമോട്ടോപ്പിക സമൂഹം ആണ്. ഈ ക്രിയയില്‍ π (X, x0) ഒരു ഗ്രൂപ്പാണ് എന്നത് തെളിയിക്കാവുന്നതാണ്. ഇതാണ് പ്രാമാണിക ഗ്രൂപ്പ്.

X പഥ അവിച്ഛിന്നം (path connected) ആണെങ്കില്‍ π (X,x0) എന്ന പ്രാമാണിക ഗ്രൂപ്പ് x0-ല്‍ നിന്നും സ്വതന്ത്രമായിരിക്കും. അതായത് x0, x1 ∈ X ആണെങ്കില്‍ π (X, x0) ഉം π (X,x1) ഉം സമരൂപഗ്രൂപ്പുകളായിരിക്കും. ഇത്തരം സന്ദര്‍ഭങ്ങളില്‍ π (X,x0) നെ π(X) എന്നു പറയാം. ഉദാഹരണത്തിന് വാസ്തവിക സംഖ്യാസ്പേയ്സിന്റെ പ്രാമാണിക ഗ്രൂപ്പ് ഒരംഗം മാത്രമുള്ള കേവല ഗ്രൂപ്പാണ്. എന്നാല്‍ S1 = {(x,y)∈R×R :x2 + y2 = 1} എന്ന വൃത്തത്തിന്റെ പ്രാമാണിക ഗ്രൂപ്പ് Z എന്ന പൂര്‍ണ സംഖ്യാഗ്രൂപ്പിന് സമരൂപം ആണ്.

ഹോമോളജി ഗ്രൂപ്പ്.ടോപ്പോളജീയ സ്പേയ്സിന്റെ പഠനത്തില്‍ ഉപയോഗപ്പെടുത്തുന്ന മറ്റൊരു ഗ്രൂപ്പാണ് ഹോമോളജി ഗ്രൂപ്പ്. ഇത് പ്രാമാണിക ഗ്രൂപ്പിനേക്കാള്‍ കൂടുതല്‍ സങ്കീര്‍ണമായുള്ള ഒന്നാണ്. അതുകൊണ്ട് ഇവ കൂടുതല്‍ പ്രയോജനകരവും ആണ്. പ്രാമാണിക ഗ്രൂപ്പില്‍ക്കൂടി വ്യക്തമാകാത്ത പല സ്വഭാവവിശേഷങ്ങളും ഹോമോളജി ഗ്രൂപ്പില്‍ക്കൂടി വ്യക്തമാക്കാന്‍ സാധിക്കും. ഉദാഹരണത്തിന് R2, R3 എന്നിവയുടെ പ്രാമാണിക ഗ്രൂപ്പുകള്‍ സമരൂപങ്ങളാണ്. അതിനാല്‍ R2, R3 എന്നീ ടോപ്പോളജീയ സ്പേയ്സുകള്‍ സമരൂപങ്ങള്‍ ആണോ എന്ന പ്രശ്നം പ്രാമാണിക ഗ്രൂപ്പ് ഉപയോഗിച്ച് പരിഹരിക്കാന്‍ സാധിക്കുന്നില്ല. എന്നാല്‍ ഹോമോളജി ഗ്രൂപ്പില്‍ ഇവ തമ്മിലുള്ള വ്യത്യാസം പ്രതിഫലിക്കുന്നുമുണ്ട്. R2, R3 എന്നിവയുടെ ഹോമോളജി ഗ്രൂപ്പുകള്‍ സമരൂപങ്ങള്‍ അല്ല എന്നു കാണാവുന്നതാണ്. ഇതില്‍ നിന്ന് ആ സ്പേയ്സുകള്‍ സമരൂപങ്ങള്‍ അല്ല എന്ന് സിദ്ധിക്കുന്നു.

ബീജീയ ടോപ്പോളജി പരിഗണിക്കുന്ന മറ്റൊരു പ്രശ്നം പ്രതലങ്ങളെ സംബന്ധിച്ചുള്ളതാണ്. പ്രതലങ്ങളും വര്‍ഗീകരണം ഉള്‍പ്പെടെയുള്ള പ്രശ്നങ്ങളും കാര്യക്ഷമമായി ഈ ശാഖയില്‍ കൈകാര്യം ചെയ്യുന്നുണ്ട്. ജ്യാമിതീയ ടോപ്പോളജി എന്ന പേരിലും ഈ ശാഖ അറിയപ്പെടുന്നു.

(ഡോ. എസ്. മാധവന്‍, ഡോ. എ.ആര്‍. രാജന്‍)

താളിന്റെ അനുബന്ധങ്ങള്‍
സ്വകാര്യതാളുകള്‍