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

อ่าน 28 นาที

เวฟเล็ตสปลายน์

ใน ทฤษฎีทางคณิตศาสตร์ ของ เวฟเล็ต เวฟ เล็ตแบบสปลายน์ คือเวฟเล็ตที่สร้างขึ้นโดยใช้ ฟังก์ชันสปลายน์ [ 1 ] มี เวฟเล็ตแบบสปลายน์หลายประเภท เวฟเล็ตแบบสปลายน์แบบแทรกสอดที่แนะนำโดย CK...

เวฟเล็ตสปลายน์

ภาพเคลื่อนไหวแสดงเวฟเล็ต B-spline หลักที่มีขอบเขตจำกัดของลำดับที่ 1, 2, 3, 4 และ 5

ในทฤษฎีทางคณิตศาสตร์ของเวฟเล็ตเวฟเล็ตแบบสปลายน์คือเวฟเล็ตที่สร้างขึ้นโดยใช้ฟังก์ชันสปลายน์ [ 1 ] มีเวฟเล็ตแบบสปลายน์หลายประเภท เวฟเล็ตแบบสปลายน์แบบแทรกสอดที่แนะนำโดย CK Chui และ JZ Wang นั้นอิงตามสูตรการแทรกสอดแบบสปลายน์ บางอย่าง [ 2 ]แม้ว่าเวฟเล็ตเหล่านี้จะตั้งฉากกันแต่ก็ไม่มีส่วนรองรับที่กระชับมีเวฟเล็ตบางประเภทที่มีเอกลักษณ์ในบางแง่ สร้างขึ้นโดยใช้B-splineและมีส่วนรองรับที่กระชับ แม้ว่าเวฟเล็ตเหล่านี้จะไม่ตั้งฉากกัน แต่ก็มีคุณสมบัติพิเศษบางอย่างที่ทำให้ได้รับความนิยมอย่างมาก[ 3 ] บางครั้งมีการใช้ คำว่าเวฟเล็ตแบบสปลายน์เพื่ออ้างถึงเวฟเล็ตในกลุ่มเวฟเล็ตแบบสปลายน์นี้ เวฟเล็ตพิเศษเหล่านี้ยังเรียกว่าเวฟเล็ต B-splineและเวฟเล็ต B-spline แบบคาร์ดินัล [ 4 ] เวฟเล็ต Battle-Lemarie ก็เป็นเวฟเล็ตที่สร้างขึ้นโดยใช้ฟังก์ชันสปลายน์เช่นกัน[ 5 ]

สปลายบีคาร์ดินัล

ให้n เป็น จำนวนเต็มที่ไม่เป็นลบที่กำหนด ไว้ ให้C nแทนเซตของฟังก์ชันค่าจริง ทั้งหมด ที่นิยามบนเซตของ จำนวนจริงโดยที่แต่ละฟังก์ชันในเซตนี้ รวมทั้งอนุพันธ์n อันดับแรกของฟังก์ชันนั้น มีความต่อเนื่องทุกที่ลำดับอนันต์สองด้าน . . . x −2 , x −1 , x 0 , x 1 , x 2 , . . . โดยที่x r < x r +1สำหรับทุกrและโดยที่x rเข้าใกล้ ±∞ เมื่อ r เข้าใกล้ ±∞ เรียกว่ากำหนดเซตของปม สปลายน์อันดับn ที่มีเซตของปม { x r } คือฟังก์ชันS ( x ) ในC nโดยที่สำหรับแต่ละrการจำกัดของS ( x ) บนช่วง [ x r , x r +1 ) ตรงกับพหุนามที่มีสัมประสิทธิ์จริงดีกรีไม่เกินnในx

ถ้าระยะห่างx r +1 - x rโดยที่rเป็นจำนวนเต็มใดๆ ระหว่างปมที่อยู่ติดกันในชุดของปมมีค่าคงที่ สปลายนั้นเรียกว่าสปลายเชิงคาร์ดินัลชุดของจำนวนเต็มZ = {. . ., -2, -1, 0, 1, 2, . . .} เป็นตัวเลือกมาตรฐานสำหรับชุดของปมของสปลายเชิงคาร์ดินัล เว้นแต่จะระบุไว้เป็นอย่างอื่น โดยทั่วไปจะถือว่าชุดของปมคือชุดของจำนวนเต็ม

สปลายบีเชิงคาร์ดินัลเป็นสปลายเชิงคาร์ดินัลชนิดพิเศษ สำหรับจำนวนเต็มบวกm ใดๆ สปลายบีเชิงคาร์ดินัลอันดับmซึ่งเขียนแทนด้วยN m ( x ) จะถูกนิยามแบบเวียนเกิดดังต่อไปนี้

, สำหรับ.

ในบทความนี้จะกล่าวถึงสูตรที่เป็นรูปธรรมสำหรับ B-spline หลักทุกอันดับจนถึง 5 และกราฟของ B-spline เหล่านั้นในภายหลัง

คุณสมบัติของ B-spline หลัก

คุณสมบัติพื้นฐาน

  1. ช่วงรองรับของคือช่วงปิด
  2. ฟังก์ชันนี้มีค่าไม่เป็นลบ นั่นคือสำหรับ
  3. สำหรับทุกคน
  4. สปลายบีเชิงคาร์ดินัลลำดับmและm-1มีความสัมพันธ์กันโดยเอกลักษณ์: .
  5. ฟังก์ชันนี้มีความสมมาตรเกี่ยวกับนั่นคือ.
  6. อนุพันธ์ของหาได้จาก.

ความสัมพันธ์สองระดับ

สปลายบีเชิงคาร์ดินัลลำดับmสอดคล้องกับความสัมพันธ์สองระดับต่อไปนี้:

.

อสังหาริมทรัพย์รีเอซ

สปลายบีเชิงคาร์ดินัลอันดับmมีคุณสมบัติต่อไปนี้ ซึ่งรู้จักกันในชื่อคุณสมบัติของรีซ: มีจำนวนจริงบวกสองจำนวนและอยู่จริง โดยที่สำหรับลำดับสองด้านที่หาผลรวมกำลังสองได้และสำหรับx ใด ๆ

บรรทัดฐานในปริภูมิ ℓ² อยู่ ที่ไหน

สปลายบีคาร์ดินัลลำดับเล็ก

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

สปลายบีคงที่

บีสปลายลำดับที่ 1 ซึ่งก็คือ บีสปลายคงที่ ถูกกำหนดโดย

ความสัมพันธ์แบบสองระดับสำหรับ B-spline นี้คือ

สปลายบีคงที่

สปลายบีเชิงเส้น

บีสปลายลำดับที่ 2 ซึ่งก็คือ บีสปลายเชิงเส้น มีค่าดังนี้

ความสัมพันธ์แบบสองระดับสำหรับเวฟเล็ตนี้คือ

สปลายบีเชิงเส้น

สปลายบีแบบกำลังสอง

บีสปลายลำดับที่ 3 ซึ่งก็คือ บีสปลายกำลังสอง มีค่าดังนี้

ความสัมพันธ์แบบสองระดับสำหรับเวฟเล็ตนี้คือ

สปลายบีแบบกำลังสอง

สปลายบีลูกบาศก์

บีสปลายลูกบาศก์คือบีสปลายหลักอันดับ 4 ซึ่งใช้สัญลักษณ์ โดยกำหนดโดยนิพจน์ต่อไปนี้:

ความสัมพันธ์สองระดับสำหรับ B-spline ลูกบาศก์คือ

สปลายบีลูกบาศก์

บี-สปลายแบบไบควอดราติก

บีสปลายแบบไบควอดราติก คือ บีสปลายหลักลำดับที่ 5 ซึ่งแทนด้วย โดยกำหนดโดย

ความสัมพันธ์แบบสองระดับคือ

ควินติก บี-สปลายน์

B-spline อันดับห้า คือ B-spline อันดับ 6 ที่มีสัญลักษณ์ โดยกำหนดโดย

การวิเคราะห์หลายระดับความละเอียดที่สร้างขึ้นโดย B-spline หลัก

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

  • สำหรับจำนวนเต็มใดๆให้กำหนดฟังก์ชัน.
  • สำหรับจำนวนเต็มแต่ละจำนวนให้กำหนดปริภูมิย่อยของเป็นส่วนปิดของปริภูมิเชิงเส้นของเซต

การที่สิ่งเหล่านี้กำหนดการวิเคราะห์แบบหลายระดับความละเอียดนั้น เป็นผลมาจากสิ่งต่อไปนี้:

  1. พื้นที่เหล่านี้ตรงตามคุณสมบัติของที่พัก: .
  2. การปิดล้อมของการรวมกันของปริภูมิย่อยทั้งหมดคือปริภูมิทั้งหมด
  3. จุดตัดของปริภูมิย่อยทั้งหมดคือเซตที่มีสมาชิกเพียงตัวเดียว ซึ่งประกอบด้วยฟังก์ชันศูนย์เพียงฟังก์ชันเดียว
  4. สำหรับจำนวนเต็มแต่ละชุดจะเป็นฐานที่ไม่มีเงื่อนไขสำหรับ(ลำดับ { x n } ในปริภูมิ Banach Xเป็นฐานที่ไม่มีเงื่อนไขสำหรับปริภูมิXถ้าการเรียงสับเปลี่ยนทุกแบบของลำดับ { x n } ก็เป็นฐานสำหรับปริภูมิX เดียวกัน ด้วย[ 6 ] )

เวฟเล็ตจากบีสปลายน์หลัก

ให้mเป็นจำนวนเต็มบวกคงที่ และเป็น B-spline เชิงคาร์ดินัลลำดับmฟังก์ชันในเป็นเวฟเล็ตพื้นฐานที่สัมพันธ์กับฟังก์ชัน B-spline เชิงคาร์ดินัลถ้าการปิดในของช่วงเชิงเส้นของเซต(การปิดนี้แทนด้วย) คือส่วนเติมเต็มเชิงตั้งฉากของในตัวห้อยmในใช้เพื่อระบุว่าเป็นเวฟเล็ตพื้นฐานที่สัมพันธ์กับ B-spline เชิงคาร์ดินัลลำดับmไม่มีเวฟเล็ตพื้นฐานที่สัมพันธ์กับ B-spline เชิงคาร์ดินัล เพียงหนึ่งเดียว เวฟเล็ตพื้นฐาน บางส่วนเหล่านี้จะกล่าวถึงในส่วนต่อไป

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

สปลายการแทรกสอดพื้นฐาน

คำจำกัดความ

ให้mเป็นจำนวนเต็มบวกคงที่ และให้เป็น B-spline คาร์ดินัลลำดับmเมื่อกำหนดลำดับของจำนวนจริงมาให้ ปัญหาคือการหาลำดับของจำนวนจริงที่ทำให้

สำหรับทุกคน

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

,

คือปัญหาการแทรกสอดสปลายคาร์ดินัลพื้นฐานคำตอบของปัญหานี้จะให้สปลายแทรกสอดคาร์ดินัลพื้นฐานอันดับmสปลายนี้แสดงด้วยและกำหนดโดย

โดยที่ลำดับดังกล่าวเป็นคำตอบของระบบสมการต่อไปนี้:

ขั้นตอนการค้นหาเส้นโค้งสปลายน์การประมาณค่าหลักพื้นฐาน

สามารถกำหนดเส้นโค้งสปลายการประมาณค่าหลักพื้นฐาน ได้โดยใช้ การแปลง Zโดยใช้สัญลักษณ์ต่อไปนี้

จากสมการที่กำหนดลำดับ นั้น จะเห็นได้ ว่า

ซึ่งเราได้รับจากสิ่งนั้น

.

สิ่งนี้สามารถนำไปใช้เพื่อให้ได้สูตรที่เป็นรูปธรรมสำหรับ.

ตัวอย่าง

ตัวอย่างที่เป็นรูปธรรมคืออาจมีการสอบสวนคดี คำจำกัดความของ สิ่งนี้ บ่งชี้ว่า

ค่าที่ไม่เป็นศูนย์เพียงค่าเดียวของคือค่าที่กำหนดโดยและค่าที่สอดคล้องกันคือ

ดังนั้นจึงลดเหลือ

ซึ่งจะได้นิพจน์ต่อไปนี้สำหรับ.

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

เวฟเล็ตโดยใช้สปลายการประมาณค่าแบบพื้นฐาน

สำหรับจำนวนเต็มบวกmฟังก์ชันที่กำหนดโดย

เป็นเวฟเล็ตพื้นฐานที่สัมพันธ์กับบีสปไลน์หลักลำดับที่ n ตัว ห้อย Iในเวฟเล็ต นี้ ใช้เพื่อระบุว่าเวฟเล็ตนี้มีพื้นฐานมาจากสูตรสปไลน์แบบสอดแทรก เวฟเล็ตพื้นฐานนี้ไม่รองรับแบบกระชับ (compact-supported)

ตัวอย่าง

เวฟเล็ตลำดับที่ 2 โดยใช้สปลายแบบแทรกสอด มีค่าดังนี้

นิพจน์ในตอนนี้ให้ผลลัพธ์เป็นสูตรดังต่อไปนี้:

ตอนนี้ การใช้สูตรสำหรับอนุพันธ์ของในรูปของฟังก์ชันสามารถเขียนได้ในรูปแบบต่อไปนี้:

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

ความสัมพันธ์สองระดับ

ความสัมพันธ์สองระดับสำหรับฟังก์ชันเวฟเล็ตกำหนดโดย

ที่ไหน

เวฟเล็ต B-spline ที่รองรับขนาดกะทัดรัด

เวฟเล็ตสปลายที่สร้างขึ้นโดยใช้เวฟเล็ตแบบแทรกสอดนั้นไม่ได้รองรับแบบกระชับ เวฟเล็ต B-spline ที่รองรับแบบกระชับถูกค้นพบโดย Charles K. Chui และ Jian-zhong Wang และตีพิมพ์ในปี 1991 [ 3 ] [ 7 ]เวฟเล็ต B-spline ที่รองรับแบบกระชับเมื่อเทียบกับ B-spline หลักลำดับmที่ค้นพบโดย Chui และ Wang และแสดงด้วยมีช่วงการรองรับเป็นเวฟเล็ตเหล่านี้มีความเป็นเอกลักษณ์ในแง่หนึ่งซึ่งจะอธิบายต่อไป

คำนิยาม

เวฟเล็ต B-spline ที่มีขอบเขตจำกัดของลำดับmกำหนดโดย

นี่คือ สปลายลำดับที่ mในกรณีพิเศษ เวฟเล็ต B-spline ที่รองรับอย่างกะทัดรัดลำดับที่ 1 คือ

ซึ่งก็คือ เวฟเล็ตฮาร์ (Haar wavelet ) ที่เป็นที่รู้จักกันดี

คุณสมบัติ

  1. ช่วงรองรับของคือช่วงปิด
  2. เวฟเล็ตเป็นเวฟเล็ตที่ไม่ซ้ำกันที่มีส่วนรองรับขั้นต่ำในความหมายต่อไปนี้: ถ้าสร้างและมีส่วนรองรับที่ไม่เกินความยาวแล้วสำหรับค่าคงที่ที่ไม่เป็นศูนย์บางค่า และสำหรับจำนวนเต็ม บางค่า[ 8 ]
  3. สมมาตรสำหรับค่าm ที่เป็นเลขคู่ และปฏิสมมาตรสำหรับค่าm ที่เป็นเลข คี่

ความสัมพันธ์สองระดับ

สอดคล้องกับความสัมพันธ์แบบสองระดับ:

ที่ไหน.

ความสัมพันธ์การแยกส่วน

ความสัมพันธ์การแยกส่วนสำหรับเวฟเล็ต B-spline ที่รองรับอย่างกะทัดรัดมีรูปแบบดังต่อไปนี้:

โดยที่สัมประสิทธิ์และกำหนดโดย

ในที่นี้ ลำดับดังกล่าวคือลำดับของสัมประสิทธิ์ในเวฟเล็ตสปลายน์เชิงการสอดแทรกแบบคาร์ดินัลพื้นฐานอันดับ m

เวฟเล็ต B-spline ขนาดเล็กที่รองรับอย่างกะทัดรัด

เวฟเล็ตบีสปลายน์แบบกะทัดรัดลำดับที่ 1

ความสัมพันธ์สองระดับสำหรับเวฟเล็ต B-spline ที่รองรับอย่างกะทัดรัดลำดับที่ 1 คือ

สูตรสำเร็จรูปสำหรับเวฟเล็ตบีสปลายที่มีขอบเขตจำกัดลำดับที่ 1 คือ

เวฟเล็ตบีสปลายน์แบบกะทัดรัดลำดับที่ 2

ความสัมพันธ์สองระดับสำหรับเวฟเล็ต B-spline ที่รองรับแบบกะทัดรัดลำดับที่ 2 คือ

สูตรสำเร็จรูปสำหรับเวฟเล็ตบีสปลายที่มีขอบเขตจำกัดลำดับที่ 2 คือ

เวฟเล็ตบีสปลายน์แบบกะทัดรัดลำดับที่ 3

ความสัมพันธ์สองระดับสำหรับเวฟเล็ต B-spline ที่รองรับอย่างกะทัดรัดลำดับที่ 3 คือ

สูตรสำเร็จรูปสำหรับเวฟเล็ตบีสปลายที่มีขอบเขตจำกัดลำดับที่ 3 คือ

เวฟเล็ตบีสปลายน์แบบกะทัดรัดลำดับที่ 4

ความสัมพันธ์สองระดับสำหรับเวฟเล็ต B-spline ที่รองรับอย่างกะทัดรัดลำดับที่ 4 คือ

สูตรสำเร็จรูปสำหรับเวฟเล็ตบีสปลายที่มีขอบเขตจำกัดลำดับที่ 4 คือ

เวฟเล็ตบีสปลายน์แบบกะทัดรัดลำดับที่ 5

ความสัมพันธ์แบบสองระดับสำหรับเวฟเล็ต B-spline ที่รองรับอย่างกะทัดรัดลำดับที่ 5 คือ

สูตรสำเร็จรูปสำหรับเวฟเล็ตบีสปลายที่มีขอบเขตจำกัดลำดับที่ 5 คือ

ภาพของเวฟเล็ต B-spline ที่รองรับอย่างกะทัดรัด

เวฟเล็ตบีสปลายน์ลำดับที่ 1เวฟเล็ตบีสปลายน์ลำดับที่ 2
เวฟเล็ตบีสปลายน์ลำดับที่ 3เวฟเล็ตบีสปลายน์ลำดับที่ 4เวฟเล็ตบีสปลายน์ลำดับที่ 5

คลื่น Battle-Lemarie

เวฟเล็ต Battle-Lemarie เป็นกลุ่มของเวฟเล็ตเชิงตั้งฉากที่สร้างขึ้นโดยใช้กลุ่มของ B-spline หลัก นิพจน์สำหรับเวฟเล็ตเหล่านี้แสดงอยู่ในโดเมนความถี่กล่าวคือ กำหนดโดยการระบุการแปลงฟูริเยร์ การแปลงฟูริเยร์ของฟังก์ชันของtเช่นจะใช้สัญลักษณ์แทน

คำนิยาม

ให้mเป็นจำนวนเต็มบวก และให้เป็น B-spline คาร์ดินัลลำดับmการแปลงฟูริเยร์ของคือฟังก์ชันการปรับขนาดสำหรับ เวฟเล็ต Battle-Lemarie ลำดับที่ mคือฟังก์ชันที่มีการแปลงฟูริเยร์เป็น

เวฟเล็ต Battle-Lemarie อันดับ ที่mคือฟังก์ชันที่มีการแปลงฟูริเยร์เป็น

อ่านเพิ่มเติม

  • Amir Z Averbuch และ Valery A Zheludev (2007). "การแปลงเวฟเล็ตที่สร้างขึ้นโดยสปลาย" (PDF)วารสารนานาชาติของเวฟเล็ต ความละเอียดหลายระดับ และการประมวลผลข้อมูล 257 ( 5 ) สืบค้นเมื่อ21 ธันวาคม 2014
  • Amir Z. Averbuch, Pekka Neittaanmaki และ Valery A. Zheludev (2014). วิธีการสปลายน์และสปลายน์เวฟเล็ต พร้อมการประยุกต์ใช้ในการประมวลผลสัญญาณและภาพ เล่มที่ 1. Springer. ISBN 978-94-017-8925-7.{{cite book}}: CS1 maint: multiple names: authors list (link)
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Spline_wavelet&oldid=1356821211 "

สรุปเนื้อหา

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

ข้อมูลสำคัญเกี่ยวกับ เวฟเล็ตสปลายน์

ใน ทฤษฎีทางคณิตศาสตร์ ของ เวฟเล็ต เวฟ เล็ตแบบสปลายน์ คือเวฟเล็ตที่สร้างขึ้นโดยใช้ ฟังก์ชันสปลายน์ [ 1 ] มี เวฟเล็ตแบบสปลายน์หลายประเภท เวฟเล็ตแบบสปลายน์แบบแทรกสอดที่แนะนำโดย CK...

สปลายบีคาร์ดินัล

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

คุณสมบัติพื้นฐาน

ช่วง รองรับ ของคือช่วงปิด เอ็น ม ( x ) {\displaystyle N_{m}(x)} [ 0 , ม ] {\displaystyle [0,m]} ฟังก์ชันนี้มีค่าไม่เป็นลบ นั่นคือสำหรับ เอ็น ม ( x ) {\displaystyle N_{m}(x)} 0}"> เอ็น ม ( x ) > 0 {\displaystyle N_{m}(x)>0} 0}"> 0 < x < ม {\displaystyle 0<x<m}...

ความสัมพันธ์สองระดับ

สปลายบีเชิงคาร์ดินัลลำดับ m สอดคล้องกับความสัมพันธ์สองระดับต่อไปนี้: