บทตั้ง
บทความนี้ไม่มีการอ้างอิงจากแหล่งที่มาใด |
บทตั้ง (กรีก: λήμμα ; อังกฤษ: lemma; สิ่งที่ได้รับ) ในทางคณิตศาสตร์ คือ ญัตติหรือข้อเสนอที่พิสูจน์แล้ว ซึ่งใช้อธิบายธรรมชาติของสิ่งที่ใหญ่กว่าตัวมันเอง บทตั้งที่ดีสามารถนำไปสู่ผลลัพธ์ที่หลากหลาย และบางส่วนอาจให้ผลลัพธ์ที่มีประสิทธิภาพในการศึกษาคณิตศาสตร์ซึ่งเรียกว่า lemmata ตัวอย่างเช่น
- บทตั้งของซอร์น (Zorn's lemma) เกี่ยวกับขอบเขตสูงสุดของเซตอันดับ
- บทตั้งของเบซู (Bézout's lemma) เกี่ยวกับความสัมพันธ์ของตัวหารร่วมมาก
- บทตั้งของเกาส์ (Gauss's lemma) เกี่ยวกับพหุนามและทฤษฎีจำนวน
และยังไม่มีผู้ใดอธิบายความแตกต่างระหว่างบทตั้งกับทฤษฎีบทอย่างเป็นทางการ