รูปแบบมาตรฐานในทางคณิตศาสตร์และวิทยาการคอมพิวเตอร์

ในทางคณิตศาสตร์และวิทยาการคอมพิวเตอร์ รูปแบบมาตรฐาน (Canonical form), รูปแบบปกติ (Normal form) หรือ รูปแบบมาตรฐาน (Standard form) คือวิธีการนำเสนอวัตถุทางคณิตศาสตร์ในรูปแบบที่เป็นระบบและเป็นที่ยอมรับ เพื่อให้สามารถระบุหรือเปรียบเทียบวัตถุนั้นๆ ได้อย่างชัดเจนและไม่ซ้ำซ้อน

โดยทั่วไป รูปแบบมาตรฐานมักจะเป็นการนำเสนอที่เรียบง่ายที่สุดของวัตถุนั้น ซึ่งช่วยให้สามารถระบุตัวตนของวัตถุในลักษณะที่เป็นเอกลักษณ์ (Unique) อย่างไรก็ตาม ความแตกต่างระหว่างคำว่า "รูปแบบมาตรฐาน" (Canonical) และ "รูปแบบปกติ" (Normal) อาจแตกต่างกันไปตามสาขาวิชา ในหลายสาขา รูปแบบมาตรฐานจะกำหนดการนำเสนอที่เป็นเอกลักษณ์เพียงหนึ่งเดียวสำหรับทุกวัตถุ ในขณะที่รูปแบบปกติอาจเพียงแค่กำหนดรูปแบบการนำเสนอโดยไม่จำเป็นต้องเป็นเอกลักษณ์เสมอไป

นิยามทางคณิตศาสตร์

หากกำหนดให้ S เป็นเซตของวัตถุที่มีความสัมพันธ์สมมูล (Equivalence relation) R รูปแบบมาตรฐานจะเกิดขึ้นจากการกำหนดให้วัตถุบางชิ้นใน S เป็น "รูปแบบมาตรฐาน" โดยที่วัตถุทุกชิ้นภายใต้การพิจารณาจะต้องสมมูลกับวัตถุในรูปแบบมาตรฐานเพียงชิ้นเดียวเท่านั้น

กล่าวอีกนัยหนึ่ง รูปแบบมาตรฐานใน S จะเป็นตัวแทนของชั้นสมมูล (Equivalence classes) แบบหนึ่งต่อหนึ่ง ซึ่งช่วยให้การทดสอบว่าวัตถุสองชิ้นสมมูลกันหรือไม่ ทำได้ง่ายขึ้นเพียงแค่ตรวจสอบว่ารูปแบบมาตรฐานของทั้งสองชิ้นนั้นเหมือนกันหรือไม่

คุณสมบัติทางรูปนัย (Formal Properties)

การทำให้เป็นมาตรฐาน (Canonicalization) ตามความสัมพันธ์สมมูล R บนเซต S คือการส่ง (Mapping) c: S → S ซึ่งมีคุณสมบัติดังนี้:

• ความเป็นเอกลักษณ์ (Idempotence): c(s) = c(c(s))
• การตัดสินได้ (Decisiveness): s1 R s2 ก็ต่อเมื่อ c(s1) = c(s2)
• การเป็นตัวแทน (Representativeness): s R c(s)

การประยุกต์ใช้ในวิทยาการคอมพิวเตอร์

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

อย่างไรก็ตาม รูปแบบมาตรฐานมักขึ้นอยู่กับการเลือกที่กำหนดขึ้นเอง (Arbitrary choices) เช่น การเรียงลำดับตัวแปร ซึ่งอาจสร้างความยุ่งยากในการเปรียบเทียบผลลัพธ์ที่ได้จากการคำนวณที่เป็นอิสระต่อกัน ด้วยเหตุนี้ ในพีชคณิตคอมพิวเตอร์จึงมีการใช้แนวคิด รูปแบบปกติ (Normal form) ซึ่งเป็นแนวคิดที่ผ่อนปรนกว่า โดยรูปแบบปกติจะกำหนดให้ค่าศูนย์ (Zero) ถูกนำเสนอในรูปแบบที่เป็นเอกลักษณ์เพียงรูปแบบเดียว ซึ่งช่วยให้สามารถตรวจสอบความเท่ากันของวัตถุสองชิ้นได้โดยการนำผลต่างของวัตถุทั้งสองมาทำให้เป็นรูปแบบปกติแล้วตรวจสอบว่าได้ค่าศูนย์หรือไม่

ตัวอย่างของรูปแบบมาตรฐาน

ประวัติความเป็นมา

คำว่า "Canonical" มีรากศัพท์มาจากภาษากรีกโบราณ kanonikós (κανονικός) ซึ่งหมายถึง "เป็นไปตามกฎ" โดยมาจากคำว่า kanṓn (κᾰνών) ที่แปลว่า "ไม้บรรทัดหรือกฎ" ความหมายในเชิงบรรทัดฐานหรือมาตรฐานถูกนำมาใช้ในหลายสาขาวิชา

การใช้คำนี้ในทางคณิตศาสตร์ปรากฏหลักฐานในจดหมายของ Logan ในปี ค.ศ. 1738 ต่อมาในภาษาเยอรมัน คำว่า kanonische Form ปรากฏในงานของ Eisenstein ในปี ค.ศ. 1846 และ Richelot ได้ใช้คำว่า Normalform ในปีเดียวกัน ส่วน Sylvester ในปี ค.ศ. 1851 ได้กล่าวถึงการลดรูปฟังก์ชันทางพีชคณิตให้เป็นรูปแบบที่เรียบง่ายและสมมาตรที่สุด ซึ่ง Hermite เรียกว่า "รูปแบบมาตรฐาน" (Canonical forms)