กลับไปหน้าบทความ

อ่าน 5 นาที

แผนที่เปิดเกือบสมบูรณ์

ในคณิตศาสตร์วิเคราะห์เชิงฟังก์ชันและสาขาที่เกี่ยวข้องแผนที่เกือบเปิดระหว่างปริภูมิเชิงทอพอโลยีคือแผนที่ที่ตรงตามเงื่อนไขที่คล้ายคลึงกัน แต่มีความอ่อนกว่า...

แผนที่เปิดเกือบสมบูรณ์

ในคณิตศาสตร์วิเคราะห์เชิงฟังก์ชันและสาขาที่เกี่ยวข้องแผนที่เกือบเปิดระหว่างปริภูมิเชิงทอพอโลยีคือแผนที่ที่ตรงตามเงื่อนไขที่คล้ายคลึงกัน แต่มีความอ่อนกว่า เงื่อนไขของการเป็นแผนที่เปิด ดังที่อธิบายไว้ด้านล่าง สำหรับ ปริภูมิเวกเตอร์เชิงทอพอ โล ยีบางประเภท ตัวดำเนินการเชิงเส้น แบบ ทั่วถึง ทั้งหมดจำเป็นต้องเป็นแผนที่เกือบเปิด

คำจำกัดความ

เมื่อกำหนดแผนที่แบบทั่วถึงจุดหนึ่งเรียกว่า aจุดเปิดสำหรับและกล่าวได้ว่าเปิดที่(หรือแผนที่เปิดที่) ถ้าสำหรับทุกย่านเปิดของเป็นย่านของใน(โปรดทราบว่าย่านนั้นไม่จำเป็นต้องเป็นเปิด)

ฟังก์ชันทั่วถึง (surjective map) เรียกว่าฟังก์ชันเปิด (open map)ถ้ามันเปิดที่ทุกจุดในโดเมนของมัน ในขณะที่มันเรียกว่าฟังก์ชันเกือบเปิด (almost open map) ถ้า ไฟเบอร์แต่ละตัวของมันมีจุดเปิดอยู่บางจุด กล่าวอย่างชัดเจน ฟังก์ชันทั่วถึงจะเรียกว่าเกือบเปิดถ้าสำหรับทุก ๆจะมีบางค่า ที่ทำให้ เปิดที่ ทุกฟังก์ชันทั่วถึงเกือบเปิดจำเป็นต้องเป็นฟังก์ชันเปิดแผนที่เสมือนเปิด (แนะนำโดยAlexander Arhangelskiiในปี 1963) ซึ่งตามคำนิยามหมายความว่า สำหรับทุกๆและทุกๆ ย่านของ(นั่นคือ)จะต้องเป็นย่านของ

แผนที่เชิงเส้นแบบเปิดเกือบสมบูรณ์

แผนที่เชิงเส้นระหว่างปริภูมิเวกเตอร์เชิงทอพอโลยี (TVS) สองปริภูมิเรียกว่าอะไร?แผนที่เชิงเส้นเกือบเปิดหรือแผนที่เชิงเส้นเกือบเปิดหากสำหรับย่านใกล้เคียงใดๆของในการปิดของในเป็นย่านใกล้เคียงของจุดกำเนิด ที่สำคัญ ผู้เขียนบางคนใช้คำจำกัดความที่แตกต่างกันของ "แผนที่เกือบเปิด" ซึ่งพวกเขากำหนดให้แผนที่เชิงเส้นต้องเป็นไปตามเงื่อนไขต่อไปนี้แทน: สำหรับย่านใกล้เคียงใดๆของในการปิดของใน(แทนที่จะเป็น ใน) เป็นย่านใกล้เคียงของจุดกำเนิด บทความนี้จะไม่ใช้คำจำกัดความนี้ [ 1 ]

ถ้าแผนที่เชิงเส้นเกือบเปิด (almost open map) แล้ว เนื่องจากเป็นปริภูมิย่อยเวกเตอร์ของที่บรรจุบริเวณใกล้เคียงจุดกำเนิดในแผนที่นั้น แผนที่ เชิงเส้น จึงต้องเป็นการส่งแบบทั่วถึง (surjective ) ด้วยเหตุนี้ ผู้เขียนหลายคนจึงกำหนดให้การส่งแบบทั่วถึงเป็นส่วนหนึ่งของนิยามของ "เกือบเปิด"

ถ้าเป็นตัวดำเนินการเชิงเส้นแบบหนึ่งต่อหนึ่งทั่วถึง แล้วจะเป็นเกือบเปิดก็ต่อเมื่อเป็นเกือบต่อเนื่อง[ 1 ]

ความสัมพันธ์กับแผนที่เปิด

ทุกแผนที่เปิด แบบทั่วถึง (surjective open map ) เป็นแผนที่เกือบเปิด (almost open map) แต่โดยทั่วไปแล้ว ข้อความกลับกันนั้นไม่จำเป็นต้องเป็นจริงเสมอไป ถ้าการส่งแบบทั่วถึงเป็นแผนที่เกือบเปิดแล้ว มันจะเป็นแผนที่เปิดก็ต่อเมื่อมันตรงตามเงื่อนไขต่อไปนี้ (เงื่อนไขที่ไม่ขึ้น อยู่กับ โทโพโลยีของ แต่อย่างใด):

เมื่อใดก็ตาม ที่อยู่ใน ไฟเบอร์เดียวกันของ(นั่นคือ) แล้วสำหรับทุกย่านใกล้เคียงของ จะมีย่านใกล้เคียง ของบางย่าน ที่ สอดคล้องกับเงื่อนไขที่ว่า

ถ้าฟังก์ชันเป็นฟังก์ชันต่อเนื่อง เงื่อนไขข้างต้นก็จำเป็นสำหรับฟังก์ชันนั้นที่จะเป็นฟังก์ชันเปิดด้วย กล่าวคือ ถ้าฟังก์ชันเป็นฟังก์ชันทั่วถึงต่อเนื่อง ฟังก์ชันนั้นจะเป็นฟังก์ชันเปิดก็ต่อเมื่อฟังก์ชันนั้นเกือบเปิดและเป็นไปตามเงื่อนไขข้างต้น

ทฤษฎีบทการแมปแบบเปิด

ทฤษฎีบท : [ 1 ]ถ้าเป็นตัวดำเนินการเชิงเส้นแบบทั่วถึงจากปริภูมิที่นูนเฉพาะที่ไปยังปริภูมิทรงกระบอกแล้วจะเป็นเกือบเปิด
ทฤษฎีบท : [ 1 ]ถ้าเป็นตัวดำเนินการเชิงเส้นแบบทั่วถึงจาก TVS ไปยังปริภูมิแบร์แล้วเกือบจะเปิด

ทฤษฎีบททั้งสองข้างต้นไม่จำเป็นต้องให้แผนที่เชิงเส้นแบบทั่วถึงเป็นไปตามเงื่อนไขทางโทโพโลยี ใดๆ

ทฤษฎีบท : [ 1 ]ถ้าเป็นTVS ที่สมบูรณ์แบบที่สามารถกำหนดเมตริกเทียมได้เป็นTVS ของ Hausdorff และเป็นการส่งแบบปิดและเกือบเปิดเชิงเส้น แล้วเป็นแผนที่เปิด
ทฤษฎีบท : [ 1 ]สมมติว่าเป็นตัวดำเนินการเชิงเส้นต่อเนื่องจากTVS ที่สมบูรณ์แบบที่สามารถระบุเมตริกเทียมได้ไปยัง TVS ของ Hausdorff ถ้าภาพของไม่น้อยในแล้วเป็นแผนที่เปิดแบบทั่วถึง และเป็นปริภูมิเมตริกที่สมบูรณ์แบบ

ดูเพิ่มเติม

บรรณานุกรม

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Almost_open_map&oldid=1322449767 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ แผนที่เปิดเกือบสมบูรณ์

ในคณิตศาสตร์วิเคราะห์เชิงฟังก์ชันและสาขาที่เกี่ยวข้องแผนที่เกือบเปิดระหว่างปริภูมิเชิงทอพอโลยีคือแผนที่ที่ตรงตามเงื่อนไขที่คล้ายคลึงกัน แต่มีความอ่อนกว่า...

คำจำกัดความ

เมื่อกำหนดแผนที่แบบทั่วถึงจุดหนึ่งเรียกว่า a เอฟ : X → วาย , {\displaystyle f:X\to Y,} x ∈ X {\displaystyle x\in X} จุดเปิด สำหรับและกล่าวได้ว่า เปิดที่ (หรือ แผนที่เปิดที่ ) ถ้าสำหรับทุกย่านเปิดของเป็น ย่าน ของใน(โปรดทราบว่าย่านนั้นไม่จำเป็นต้องเป็น เปิด )...

ความสัมพันธ์กับแผนที่เปิด

ทุก แผนที่เปิด แบบทั่วถึง (surjective open map ) เป็นแผนที่เกือบเปิด (almost open map) แต่โดยทั่วไปแล้ว ข้อความกลับกันนั้นไม่จำเป็นต้องเป็นจริงเสมอไป ถ้าการส่งแบบทั่วถึงเป็นแผนที่เกือบเปิดแล้ว มันจะเป็นแผนที่เปิดก็ต่อเมื่อมันตรงตามเงื่อนไขต่อไปนี้...

ทฤษฎีบทการแมปแบบเปิด

ทฤษฎีบททั้งสองข้างต้น ไม่ จำเป็นต้องให้แผนที่เชิงเส้นแบบทั่วถึงเป็นไปตามเงื่อนไขทางโทโพโลยี ใดๆ