อ่าน 2 นาที
แผนที่เมตริก
ใน ทฤษฎี ทางคณิตศาสตร์ของปริภูมิเมตริกแผนที่เมตริกคือฟังก์ชันระหว่างปริภูมิเมตริกที่ไม่เพิ่มระยะทางใดๆ แผนที่เหล่านี้คือมอร์ฟิซึมในหมวดหมู่ของปริภูมิเมตริก Met ฟังก์ชัน...
แผนที่เมตริก
ใน ทฤษฎี ทางคณิตศาสตร์ของปริภูมิเมตริกแผนที่เมตริกคือฟังก์ชันระหว่างปริภูมิเมตริกที่ไม่เพิ่มระยะทางใดๆ แผนที่เหล่านี้คือมอร์ฟิซึมในหมวดหมู่ของปริภูมิเมตริก Met [ 1 ] ฟังก์ชัน ดังกล่าวเป็น ฟังก์ชันต่อเนื่องเสมอ เรียกอีกอย่างว่าฟังก์ชันลิปชิตซ์ที่ มีค่าคง ที่ลิปชิตซ์เท่ากับ 1 แผนที่ที่ไม่ขยายตัวแผนที่ที่ไม่ขยายการหดตัวแบบอ่อนหรือแผนที่ สั้น
โดยเฉพาะอย่างยิ่ง สมมติว่าและเป็นปริภูมิเมตริก และเป็นฟังก์ชันจากไปยังดังนั้น เราจะมีแผนที่เมตริก เมื่อสำหรับจุด ใดๆ และในโดย ที่และแทนเมตริกบนและตามลำดับ
ตัวอย่าง
พิจารณาปริภูมิเมตริกที่มีเมตริกแบบยุคลิดฟังก์ชันจะเป็นแผนที่เมตริก เนื่องจากสำหรับ. ในตัวอย่างนี้ ค่าคงที่ลิปชิตซ์คือ 1 ซึ่งหมายความว่าเป็นแผนที่เมตริก
ประเภทของแผนที่ระบบเมตริก
การประกอบฟังก์ชันของแผนที่เมตริกสองแผนที่ก็คือแผนที่เมตริกอีกแผนที่หนึ่ง และแผนที่เอกลักษณ์ บนปริภูมิเมตริกก็เป็นแผนที่เมตริก ซึ่งก็คือองค์ประกอบเอกลักษณ์สำหรับการประกอบฟังก์ชันด้วย ดังนั้น ปริภูมิเมตริกและแผนที่เมตริกจึงรวมกันเป็นหมวดหมู่Met Met เป็นหมวดหมู่ย่อยของหมวดหมู่ของปริภูมิเมตริกและฟังก์ชันลิปชิตซ์ แผนที่ระหว่างปริภูมิเมตริกจะเป็นไอโซเมตรีก็ต่อเมื่อเป็นแผนที่เมตริกแบบหนึ่งต่อหนึ่งทั่วถึง ซึ่ง ผกผันของมันก็เป็นแผนที่เมตริกด้วย ดังนั้น ไอโซมอร์ฟิซึมในMet ก็ คือไอโซเมตรีอย่างแม่นยำ
เวอร์ชันหลายค่า
ฟังก์ชันจากปริภูมิเมตริกไปยังกลุ่มของเซตย่อยที่ไม่ว่างของปริภูมิเมตริกนั้นเรียกว่าเป็นฟังก์ชันลิปชิตซ์ (Lipschitz) ถ้ามีอยู่จริงที่ทำให้ สำหรับทุก โดยที่คือระยะทางเฮาส์ดอร์ฟ (Hausdorff distance ) เมื่อเรียกว่าฟังก์ชันไม่ขยายตัว (nonexpansive ) และเมื่อเรียกว่าฟังก์ชันหดตัว (contraction )
ดูเพิ่มเติม
- การหดตัว (ทฤษฎีตัวดำเนินการ) – ตัวดำเนินการที่มีขอบเขตและมีบรรทัดฐานย่อยหน่วย
- การทำแผนที่การหดตัว – ฟังก์ชันที่ลดระยะห่างระหว่างจุดทั้งหมด
- ปัจจัยการยืด – พารามิเตอร์ทางคณิตศาสตร์ของการฝังข้อมูล
- แผนที่การหดตัวย่อย – ฟังก์ชันที่ลดระยะห่างระหว่างจุดทั้งหมด
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ แผนที่เมตริก
ใน ทฤษฎี ทางคณิตศาสตร์ของปริภูมิเมตริกแผนที่เมตริกคือฟังก์ชันระหว่างปริภูมิเมตริกที่ไม่เพิ่มระยะทางใดๆ แผนที่เหล่านี้คือมอร์ฟิซึมในหมวดหมู่ของปริภูมิเมตริก Met ฟังก์ชัน...
ตัวอย่าง
พิจารณาปริภูมิเมตริกที่มี เมตริกแบบยุคลิด ฟังก์ชันจะเป็นแผนที่เมตริก เนื่องจากสำหรับ.
ประเภทของแผนที่ระบบเมตริก
การ ประกอบฟังก์ชัน ของแผนที่เมตริกสองแผนที่ก็คือแผนที่เมตริกอีกแผนที่หนึ่ง และ แผนที่เอกลักษณ์ บนปริภูมิเมตริกก็เป็นแผนที่เมตริก ซึ่งก็คือ องค์ประกอบเอกลักษณ์ สำหรับการประกอบฟังก์ชันด้วย ดังนั้น ปริภูมิเมตริกและแผนที่เมตริกจึงรวมกันเป็น หมวดหมู่ Met Met เป็น...
เวอร์ชันหลายค่า
ฟังก์ชันจากปริภูมิเมตริกไปยังกลุ่มของเซตย่อยที่ไม่ว่างของปริภูมิเมตริกนั้นเรียกว่าเป็นฟังก์ชันลิปชิตซ์ (Lipschitz) ถ้ามีอยู่จริงที่ทำให้ สำหรับทุก โดยที่คือ ระยะทางเฮาส์ดอร์ฟ (Hausdorff distance ) เมื่อเรียกว่าฟังก์ชัน ไม่ขยายตัว (nonexpansive )...