กรุปเชิงตั้งฉาก

ในคณิตศาสตร์ กรุปเชิงตั้งฉาก () ในมิติ  ซึ่งเขียนแทนด้วยสัญลักษณ์  คือกรุปของการแปลงในปริภูมิแบบยุคลิดมิติ  ที่รักษาฟังก์ชันระยะทางและรักษาจุดคงที่ โดยที่การดำเนินการในกรุปคือการประกอบการแปลง บางครั้ง กรุปเชิงตั้งฉากก็ถูกเรียกว่า กรุปเชิงตั้งฉากทั่วไป (general orthogonal group) โดยเปรียบเทียบกับกรุปเชิงเส้นทั่วไป อีกนัยหนึ่ง กรุป  ก็คือกรุปของเมทริกซ์เชิงตั้งฉากขนาด  โดยที่การดำเนินการในกรุปคือการคูณเมทริกซ์ (เมทริกซ์เชิงตั้งฉาก คือเมทริกซ์จริงที่เมทริกซ์ผกผันมีค่าเท่ากับเมทริกซ์สลับเปลี่ยนของเมทริกซ์จริง) กรุปเชิงตั้งฉากนี้เป็นทั้งกรุปพีชคณิตและกรุปลี และมีคุณสมบัติที่สำคัญคือมีความกระชับ

กรุปเชิงตั้งฉากในมิติ  นั้น ประกอบด้วยส่วนประกอบเชื่อมโยงสองส่วน ส่วนประกอบหนึ่งซึ่งมีสมาชิกเอกลักษณ์รวมอยู่ด้วยจะถูกเรียกว่า กรุปเชิงตั้งฉากพิเศษ (special orthogonal group) ใช้สัญลักษณ์แทนด้วย  และเป็นกรุปย่อยปรกติ ประกอบด้วยเมทริกซ์เชิงตั้งฉากทั้งหมดที่มีดีเทอร์มิแนนต์เป็น 1 กรุปนี้เรียกอีกชื่อว่า กรุปการหมุน (rotation group) เพราะโดยทั่วไปแล้ว ในมิติ 2 และมิติ 3 สมาชิกของกรุปนี้คือการหมุนปกติรอบจุด (ในมิติ 2) หรือรอบเส้น (ในมิติ 3) และกรุปเหล่านี้มีการศึกษาอย่างกว้างขวางในมิติต่ำ ๆ เช่น ,  และ  ส่วนประกอบอีกส่วนหนึ่งประกอบด้วยเมทริกซ์เชิงตั้งฉากทั้งหมดที่มีดีเทอร์มิแนนต์เป็น −1 ส่วนประกอบนี้ไม่เป็นกรุป เนื่องจากผลคูณของสมาชิกใด ๆ สองตัวจากส่วนประกอบนี้จะมีดีเทอร์มิแนนต์เป็น 1 ทำให้ผลลัพธ์ที่ได้ไม่อยู่ในส่วนประกอบเดิม

โดยการขยายนิยามสำหรับฟีลด์  ใด ๆ เมทริกซ์ขนาด  ที่มีสมาชิกอยู่ใน  และมีคุณสมบัติที่ว่าเมทริกซ์ผกผันมีค่าเท่ากับเมทริกซ์สลับเปลี่ยนของเมทริกซ์ดังกล่าว จะถูกเรียกว่า เมทริกซ์เชิงตั้งฉากบนฟีลด์  กรุปของเมทริกซ์เชิงตั้งฉากขนาด n×n เหล่านี้จะรวมตัวกันเป็นกรุปย่อย ซึ่งเขียนแทนด้วยสัญลักษณ์  และซับกรุปนี้เป็นส่วนหนึ่งของกรุปเชิงเส้นทั่วไป  กล่าวคือ

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

กรุปเชิงตั้งฉากทั้งหมดถือเป็นกรุปพีชคณิต เนื่องจากเงื่อนไขในการรักษาค่าของรูปแบบนั้นสามารถแสดงออกมาในรูปของความเท่ากันของเมทริกซ์ได้

หมวดหมู่:กรุปลี
หมวดหมู่:รูปแบบกำลังสอง