be a complete metric space, let ψ b

be a complete metric space, let ψ be an altering distance function, and let

ผลลัพธ์ (ไทย) 1:

มีพื้นที่วัดสมบูรณ์ ให้ψเป็นฟังก์ชั่นจากการดัดแปลง และให้

ผลลัพธ์ (ไทย) 2:

เป็นพื้นที่ตัวชี้วัดที่สมบูรณ์ให้ψเป็นฟังก์ชั่นการเปลี่ยนแปลงระยะทางและให้

ผลลัพธ์ (ไทย) 3:

เป็นสมบูรณ์เมตริกพื้นที่ให้ψเป็นการแก้ไขฟังก์ชันระยะทาง และให้