قضیه نگاشت باز

در ریاضیات دو قضیه با نام «قضیه نگاشت باز»  وجود دارد.

 آنالیز تابعی 
در آنالیز تابعی، قضیهٔ نگاشت باز که همچنین با نام قضیهٔ شوائر–باناخ شناخته شده‌است یک نتیجهٔ اصلی است که بیان می‌کند: اگر A: X → Y عملگر خطی پیوسته پوشا در فضای باناخ X و Y باشد، آنگاه A یک نگاشت باز است (اگر U یک مجموعه باز در X باشد، آنگاه A(U) یک مجموعه بازدر Y است).

برای اثبات از قضیهٔ رسته‌ای بئر استفاده می‌شود.

قضیه نگاشت باز دو نتیجه مهم دارد:
 اگر A: X → Y یک عملگر خطی پیوسته دوسو در فضای باناخ X و Y باشد، آنگاه عملگر وارون A−۱: Y → X یک عملگر خطی پیوسته دوسو است.
 اگر A: X → Y یک عملگر خطی در فضای باناخ X و Y باشد و اگر برای هر دنباله (xn) در X با xn → ۰ و Axn → y تابعیت می‌کند که y = ۰، آنگاه A پیوسته‌است (قضیه نمودار بسته).

 آنالیز مختلط 
در آنالیز مختلط قضیه نگاشت باز بیان می‌کند که اگر U یک مجموعه باز همبند در صفحهٔ مختلط C باشد و f: U → C یک تابع هولومورفیک غیر ثابت باشد، آنگاه f یک نگاشت باز است (زیر مجموعه‌های باز U را به زیرمجموعه‌های باز C می‌نگارد).

قضیه برای مثال اشاره به این مطلب می‌کند که یک تابع هولومورفیک غیر ثابت نمی‌تواند یک قرص باز را به توی بخشی از یک خط بنگارد.

 برهان 
ابتدا فرض کنید f یک تابع غیر ثابت هولومورفیک و U یک زیرمجموعه باز همبند در صفحهٔ مختلط است. اگر هر نقطه در  یک نقطهٔ داخلی  باشد آنگاه  باز است؛ بنابراین اگر هر نقطه در  که محتوی یک دیسک است، شامل  باشد آنگاه  باز است.

اطراف هر نقطه در ، یک گوی مناسب در  وجود دارد. یک  دلخواه در  و نقطهٔ تصویر آن  را در نظر بگیرید. اگر  آنگاه  یک ریشه تابع  است. تابع  ممکن است ریشه دیگری در فاصله  از  داشته باشد. فاصله از  تا یک نقطه که در U نیست نوشته می‌شود . هر گوی B با شعاع کمتر از مینیمم  و  داخل U خواهد بود و حداقل یکی وجود دارد زیرا .

گوی  را اطراف  با شعاع  و عناصر  در نظر می‌گیریم. از قضیه روشه یا آرگومان اصلی توابع  و  برای هر  با فاصله  از f()، دارای تعداد یکسانی ریشه هستند. فرض کنید  ریشه یا یکی از ریشه‌های  باشد؛ بنابراین، برای هر  در ، یک  در  وجود دارد که ، تصویر  یک زیر مجموعه از تصویر  است که یک زیر مجموعه  است.
پس  یک نقطه درونی  بای هر  دلخواه، و قضیه ثابت شده‌است.

 منابع 


رده:آنالیز تابعی
رده:آنالیز مختلط
رده:قضایای آنالیز تابعی
رده:قضیه‌های ریاضی