In this space, the usual metric is

In this space, the usual metric is replaced by partial metric with an interesting
property that the self-distance of any point of space may not be zero.
Further, Matthews showed that the Banach contraction principle is valid in
partial metric space and can be applied in program verification.

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

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

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

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

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

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