پایه (توپولوژی)

هنگام کار با فضاها و ساختارهای ریاضی در اختیار داشتن زیرمجموعه‌ای که به کمک آن بتوان کلیه خواص فضا را، بدون نیازی به بررسی همه عناصر فضا، مورد مطالعه قرار داد بسیار سودمند است. مفهوم **پایه** در ریاضیات به چنین زیرمجموعه‌هایی از فضاها و ساختارهای ریاضی اشاره داد و تعریف آن برحسب نوع ساختارها و فضاهای ریاضی مورد بحث متفاوت است.

در توپولوژی پایه یک فضای توپولوژیک مجموعه از مجموعه باز فضای است که به کمک آن می‌توان کلیه مجموعه‌های باز فضا را به کمک اجتماعات اعضای آن ساخت و به این ترتیب نیازی به بررسی کلیه مجموعه‌های باز فضا نخواهد بود.

## تعریف
فرض کنید \left(X,\tau  \right) یک توپولوژی باشد. [خانواده] \mathcal{B} از مجموعه‌های باز را یک پایه برای توپولوژی \tau  روی *X* می‌گوییم هرگاه هر مجموعه باز از \left(X,\tau  \right) به صورت اجتماعی از اعضای \mathcal{B} قابل نمایش باشد. به عبارت دیگر برای هر G\in \tau  و هر x\in G، B_{x}\in \mathcal{B} موجود باشد که x\in B_{x}\subseteq {G}.

به عنوان مثال مجموعه اعداد حقیقی را با توپولوژی اقلیدسی در نظر بگیرید. مجموعه همه بازه‌های باز مجموعه اعداد حقیقی، پایه‌ای برای توپولوژی اقلیدسی روی اعداد حقیقی است.

حال مجموعه {*B*={[a,b):a,b∈***R***,a\tau =\bigcup{\mathcal{B}}. به‌سادگی می‌توان بررسی نمود که یک توپولوژی روی اعداد حقیقی است، که آن را توپولوژی حد پایین می‌نامیم، و فضای توپولوژیک \left(\mathbb{R},\tau  \right) را با \mathbb{R}_{\ell} نمایش می‌دهیم. به این ترتیب \mathcal{B} یک پایه برای توپولوژی حد پایین است.

آنچه در مثال فوق مشاهد می‌شود حالتی است که با در دست داشتن مجموعه \mathcal{B} از زیرمجموعه‌های اعداد حقیقی یک توپولوژی روی آن تعریف می‌کنیم که \mathcal{B} یک پایه برای آن است. حال پرسشی که پیش می‌آید این است که چه هنگام مجموعه‌ای از زیرمجموعه‌های یک مجموعه می‌تواند تشکیل یک پایه برای یک توپولوژی روی آن فضا را بدهد؟ قضیه زیر پاسخ دهنده این پرسش است.

**قضیه:** مجموعه \mathcal{B} از زیرمجموعه‌های مجموعه ناتهی *X* پایه‌ای برای یک توپولوژی روی *X* است هرگاه:
# X=\bigcup{\mathcal{B}}
# برای هر G_{1},G_{2}\in \mathcal{B} و هر x\in G_{1}\cap G_{2}، G_{3}\in \mathcal{B} موجود باشد که

::x\in  G_{3}\subseteq G_{1}\cap G_{2}

## پایه موضعی
فرض کنید \left(X,\tau  \right) یک فضای توپولوژیک باشد و *x*∈*X*. در این صورت مجموعه *B* از مجموعه‌های باز شامل *x* را یک **پایه موضعی** برای عنصر *x* می‌گوییم هرگاه هر مجموعه باز در *X* و شامل *x* شامل عضوی از *B* باشد. به عبارت دیگر برای هر مجموعه باز *G* در *X* که *x*∈G، مجموعه *U* در *B* موجود باشد که x\in U\subseteq G

به عنوان مثال اگر \left(X,\tau  \right) فضای توپولوژیک گسسته باشد،{{*B*=',\mathcal{B} به ترتیب پایه‌هایی برای این دو توپولوژی باشند. در این صورت توپولوژی ' موجود باشد که
x\in {B}'\subseteq B.

به عنوان مثال با بررسی پایه‌های توپولوژی اقلیدسی و حد پایین می‌توان دید که توپولوژی حد پایین از توپولوژی اقلیدسی ظریفتر است.

## اصول شمارایی و مفهوم پایه
اصول شمارایی همانند اصول جداسازی خواص مهمی را در مورد توپولوژی‌های صادق در این اصول تضمین می‌کنند. تعریف اصول شمارایی بر مفهوم پایه استوار است. فرض کنید
\left(X,\tau  \right) یک فضای توپولوژیک باشد.
فضای توپولوژیک *X* را صادق در اولین اصل شمارایی، یا شمارای اول می‌گوییم هرگاه هر عضو *X* دارای پایه‌ای موضعی و شمارا باشد. به عنوان مثال فضای توپولوژیک گسسته و اقلیدسی در اولین اصل شمارایی صادق است.

همچنین \left(X,\tau  \right) را صادق در دومین اصل شمارایی یا شمارای دوم می‌گوییم هرگاه دارای پایه‌ای شمارای باشد. به عنوان مثال فضای توپولوژیک اقلیدسی شمارای دوم است چرا که مجموعه همه گوی‌های باز حول نقاط گویا با شعاع گویا تشکیل یک پایه شمارای برای این فضا می‌دهند.

## معرفی پایه چند توپولوژی مهم
به کمک مفهوم پایه توپولوژی می‌توان توپولوژی‌های گوناگونی روی مجموعه‌های مختلف تعریف نمود، چنان‌که بدون وجود مفهوم پایه تعریف این توپولوژی‌ها غیرممکن یا دست‌کم بس دشوار می‌نماید. نمونه‌ای از این توپولوژی‌ها عبارتند از:
* توپولوژی حد پایین
* توپولوژی دو مبدأیی
* توپولوژی شعاع راست

## منابع

* 
* 

رده:توپولوژی
رده:توپولوژی عمومی