วงแหวนการประเมินค่าแบบไม่ต่อเนื่อง
ในพีชคณิตนามธรรมวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง ( DVR ) คือโดเมนอุดมคติหลัก (PID) ที่มี อุดมคติสูงสุดที่ไม่เป็นศูนย์เพียงหนึ่งเดียวเท่านั้น
นั่นหมายความว่า DVR เป็นส่วนประกอบสำคัญที่ตรงตามเงื่อนไขเทียบเท่าต่อไปนี้ทั้งหมด:
- เป็นวงแหวนท้องถิ่นโดเมนอุดมคติหลักและไม่ใช่ฟิลด์
- เป็นวงแหวนการประเมินค่าที่มีกลุ่มค่าที่สมมาตรกับจำนวนเต็มภายใต้การบวก
- เป็นวงแหวนท้องถิ่นโดเมนเดเดคินด์และไม่ใช่ฟิลด์
- เป็นNoetherianและเป็นโดเมนท้องถิ่น ที่มี อุดมคติสูงสุดเฉพาะตัวเป็นหลัก ไม่ใช่ฟิลด์[ 1 ]
- เป็น วงแหวน ปิดสนิท เป็นแบบโนเธอร์เรียน และเป็นวงแหวนเฉพาะที่ที่มีมิติครูลล์เท่ากับหนึ่ง
- เป็นโดเมนอุดมคติหลักที่มีอุดมคติเฉพาะที่ไม่เป็นศูนย์เพียงหนึ่งเดียว
- เป็นโดเมนอุดมคติหลักที่มีองค์ประกอบที่ไม่สามารถลดทอนได้ เพียงหนึ่งเดียว ( โดยไม่รวมการคูณด้วยหน่วย )
- เป็นโดเมนการแยกตัวประกอบที่ไม่ซ้ำกันโดยมีองค์ประกอบที่ไม่สามารถแยกย่อยได้อีกเพียงหนึ่งเดียว (ยกเว้นการคูณด้วยหน่วย)
- R เป็น Noetherian ไม่ใช่ฟิลด์และไอเดียลเศษส่วน ที่ไม่เป็นศูนย์ทุกตัว ของR นั้น ไม่สามารถลดทอนได้ในแง่ที่ว่ามันไม่สามารถเขียนออกมาเป็นการตัดกันแบบจำกัดของไอเดียลเศษส่วนที่บรรจุไอเดียลนั้นไว้ได้
- มีการประเมินมูลค่าแบบแยกส่วน อยู่บ้างในสาขาเศษส่วนของโดยที่.
ตัวอย่าง
พีชคณิต
การระบุตำแหน่งของวงแหวนเดเดคินด์
อนุญาตเป็นการกำหนดตำแหน่งของที่อุดมคติที่สร้างขึ้นโดย 2. อย่างเป็นทางการ
ขอบเขตของเศษส่วนของเป็นสำหรับองค์ประกอบใดๆ ที่ไม่ใช่ศูนย์ของเราสามารถใช้การแยกตัวประกอบเฉพาะกับตัวเศษและตัวส่วนของเพื่อเขียนเช่นที่ไหน,, และเป็นจำนวนเต็มที่มีและแปลก ในกรณีนี้ เรากำหนด.
แล้วคือวงแหวนการประเมินค่าแบบไม่ต่อเนื่องที่สอดคล้องกับอุดมคติสูงสุดของคืออุดมคติหลักที่สร้างขึ้นโดย 2 กล่าวคือและองค์ประกอบที่ไม่สามารถลดทอนได้ "เฉพาะ" (ไม่เกินหน่วย) คือ 2 (หรือที่เรียกว่าพารามิเตอร์การทำให้เป็นมาตรฐาน)
โดยทั่วไปแล้วการหาตำแหน่ง เฉพาะที่ ของโดเมนเดเดคินด์ ที่ อุดมคติเฉพาะที่ไม่เป็นศูนย์ ใดๆ ก็ตาม ถือเป็นวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง ในทางปฏิบัติ นี่คือวิธีที่วงแหวนการประเมินค่าแบบไม่ต่อเนื่องเกิดขึ้นบ่อยครั้ง โดยเฉพาะอย่างยิ่ง เราสามารถกำหนดวงแหวน ได้
สำหรับสินค้าหลัก ใดๆโดยเปรียบเทียบอย่างสมบูรณ์แบบ
จำนวนเต็มp -adic
แหวนของจำนวนเต็มp -adic เป็น DVR สำหรับจำนวนเฉพาะ ใดๆ. ที่นี่เป็นองค์ประกอบที่ไม่สามารถลดทอนได้การประเมินค่าจะกำหนดให้กับแต่ละองค์ประกอบจำนวนเต็ม -adicจำนวนเต็มที่มากที่สุดโดยที่แบ่งแยก.
อนุกรมพลังงานอย่างเป็นทางการ
อีกตัวอย่างสำคัญของ DVR คือวงแหวนของอนุกรมกำลังอย่างเป็นทางการในตัวแปรหนึ่งตัวเหนือทุ่งนาบางแห่งองค์ประกอบที่ไม่สามารถลดทอนได้ "เฉพาะตัว" คืออุดมคติสูงสุดของเป็นอุดมคติหลักที่สร้างขึ้นโดยและการประเมินมูลค่ากำหนดดัชนี (เช่น ระดับ) ของสัมประสิทธิ์ที่ไม่เป็นศูนย์ตัวแรกให้กับอนุกรมกำลังแต่ละชุด
หากเราจำกัดตัวเองอยู่เฉพาะ สัมประสิทธิ์ที่ เป็นจำนวนจริงหรือจำนวนเชิงซ้อนเราสามารถพิจารณาวงแหวนของอนุกรมกำลังในตัวแปรเดียวที่ลู่เข้าสู่บริเวณใกล้เคียง 0 (โดยบริเวณใกล้เคียงนั้นขึ้นอยู่กับอนุกรมกำลัง) นี่คือวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง ซึ่งมีประโยชน์สำหรับการสร้างสัญชาตญาณเกี่ยวกับเกณฑ์การประเมินค่าของความเหมาะสม
แหวนในช่องฟังก์ชัน
ตัวอย่างที่มีลักษณะทางเรขาคณิตมากขึ้นก็คือ แหวน
ถือเป็นวงย่อยของขอบเขตฟังก์ชันตรรกยะ.สามารถระบุได้ว่าเป็นวงแหวนของฟังก์ชันตรรกยะค่าจริงทั้งหมดที่กำหนด (กล่าวคือ มีจำนวนจำกัด) บนบริเวณใกล้เคียงของ 0 บนแกนจริง (โดยบริเวณใกล้เคียงขึ้นอยู่กับฟังก์ชัน) มันเป็นวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง องค์ประกอบที่ไม่สามารถแยกย่อยได้ "เพียงหนึ่งเดียว" คือและการประเมินค่าที่กำหนดให้กับแต่ละฟังก์ชันลำดับ (อาจเป็น 0) ของศูนย์ของที่ 0 ตัวอย่างนี้เป็นแม่แบบสำหรับการศึกษาเส้นโค้งพีชคณิต ทั่วไป ใกล้จุดที่ไม่เอกฐานโดยเส้นโค้งพีชคณิตในกรณีนี้คือเส้นจำนวนจริง
ทฤษฎีโครงร่าง
ลักษณะเฉพาะของเฮนเซเลียน
สำหรับเครื่องบันทึกวิดีโอ (DVR)โดยทั่วไปมักเขียนช่องเศษส่วนดังนี้และฟิลด์ส่วนเหลือสิ่งเหล่านี้สอดคล้องกับ จุด ทั่วไปและ จุด ปิดของตัวอย่างเช่น จุดปิดของเป็นและประเด็นหลักก็คือบางครั้งสิ่งนี้จะถูกระบุว่าเป็น
ที่ไหนเป็นประเด็นทั่วไปและเป็นจุดปิด
การระบุตำแหน่งของจุด
กำหนดให้เป็นเส้นโค้งพีชคณิตวงแหวนท้องถิ่นณ จุดเรียบ (ปิด)เป็นวงแหวนการประเมินค่าแบบแยกส่วน เนื่องจากเป็นวงแหวนการประเมินค่าหลัก โปรดสังเกตว่าจุดนั้นสำคัญมีความเรียบเนียนการเติมเต็มวงแหวนท้องถิ่นมีลักษณะสมมาตรกับการเติมเต็มการกำหนดตำแหน่งของณ จุดใดจุดหนึ่ง.
สำหรับวาไรตี้ที่ไม่เอกฐานใดๆ เราสามารถพิจารณาวงแหวนท้องถิ่นที่จุดที่มีมิติร่วมหนึ่งได้เช่นกัน โดยทั่วไปแล้ว บนแผนผังปกติแบบโนเธอร์เรียน (เฉพาะที่) วงแหวนท้องถิ่นที่จุดทั่วไปของตัวหาร Weil ที่เป็นไพรม์คือวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง โดยการประเมินค่าแบบไม่ต่อเนื่องจะให้ลำดับของการหายไปของฟังก์ชันปกติไปตามตัวหาร[ 2 ]
พารามิเตอร์การทำให้สม่ำเสมอ
เมื่อมีเครื่องบันทึกวิดีโอ (DVR) แล้วองค์ประกอบที่ไม่สามารถลดทอนได้ใดๆ ของเป็นตัวสร้างสำหรับอุดมคติสูงสุดที่ไม่ซ้ำกันของและในทางกลับกัน องค์ประกอบดังกล่าวเรียกอีกอย่างว่าพารามิเตอร์การทำให้เป็นมาตรฐานของ(หรือองค์ประกอบที่ทำให้เป็นเอกรูป , ตัวทำให้เป็นเอกรูปหรือองค์ประกอบหลัก )
ถ้าเรากำหนดค่าพารามิเตอร์การทำให้สม่ำเสมอ, แล้วคืออุดมคติสูงสุดที่เป็นเอกลักษณ์ของและอุดมคติที่ไม่เป็นศูนย์อื่นๆ ทั้งหมดเป็นกำลังของกล่าวคือ มีรูปแบบดังนี้สำหรับบางคนพลังทั้งหมดของแตกต่างกัน และอำนาจของก็แตกต่างกันเช่นกัน. ทุกองค์ประกอบที่ไม่เป็นศูนย์ของสามารถเขียนได้ในรูปแบบกับหน่วยหนึ่งในและโดยทั้งสองอย่างถูกกำหนดอย่างเฉพาะเจาะจงโดยการประเมินมูลค่ากำหนดโดยดังนั้น เพื่อให้เข้าใจวงแหวนได้อย่างสมบูรณ์ จำเป็นต้องรู้จักกลุ่มของหน่วยต่างๆและหน่วยต่างๆ มีปฏิสัมพันธ์แบบบวกกับกำลังของอย่างไร.
ฟังก์ชันนอกจากนี้ยังเปลี่ยนวงแหวนการประเมินค่าแบบไม่ต่อเนื่องใดๆ ให้กลายเป็นโดเมนแบบยุคลิดได้ อีกด้วย
โทโพโลยี
วงแหวนการประเมินค่าแบบไม่ต่อเนื่องทุกวง ซึ่งเป็นวงแหวนเฉพาะที่ จะมีโทโพโลยีตามธรรมชาติ ( adic ) และเป็นวงแหวนเชิงโทโพโลยีนอกจากนี้ยังยอมรับ โครงสร้าง ปริภูมิเมตริกซึ่งระยะห่างระหว่างสององค์ประกอบและสามารถวัดได้ดังนี้:
ที่ไหนโดยสัญชาตญาณแล้ว องค์ประกอบหนึ่งมีค่า "น้อย" และ "ใกล้เคียง 0" ก็ต่อเมื่อการประเมินค่าของมันมีขนาดใหญ่ ตัวชี้วัดข้างต้น พร้อมกับเงื่อนไขคือการจำกัดค่าสัมบูรณ์ที่กำหนดไว้บนฟิลด์เศษส่วนของวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง
เครื่องบันทึกวิดีโอ (DVR)ด้วยอุดมคติสูงสุดจะถือว่ากระชับก็ต่อเมื่อมันสมบูรณ์และมีฟิลด์ส่วนที่เหลือ อยู่เป็นฟิลด์จำกัด
ตัวอย่างของ เครื่องบันทึกวิดีโอ แบบสมบูรณ์ (DVR) ได้แก่ วงแหวนของจำนวนเต็ม -adic และวงแหวนของอนุกรมกำลังเชิงรูปธรรมเหนือฟิลด์ใดๆ
สำหรับ DVR ที่กำหนดให้ มักจะต้องหาDVR ที่สมบูรณ์ซึ่งประกอบด้วยวงแหวนที่กำหนดให้ และมักจะศึกษาได้ง่ายกว่า ขั้นตอนการเติมเต็มนี้สามารถคิดได้ในเชิงเรขาคณิต เหมือนกับการเปลี่ยนจากฟังก์ชันตรรกยะไปเป็นอนุกรมกำลังหรือจากจำนวนตรรกยะไปเป็นจำนวนจริง
วงแหวนของอนุกรมกำลังเชิงรูปธรรมทั้งหมดในตัวแปรเดียวที่มีสัมประสิทธิ์เป็นจำนวนจริง คือส่วนเติมเต็มของวงแหวนของฟังก์ชันตรรกยะที่กำหนดในบริเวณใกล้เคียง 0 บนเส้นจำนวนจริง และยังเป็นส่วนเติมเต็มของวงแหวนของอนุกรมกำลังจำนวนจริงทั้งหมดที่ลู่เข้าสู่ 0 ด้วย ส่วนเติมเต็มของ(ซึ่งสามารถมองได้ว่าเป็นเซตของจำนวนตรรกยะทั้งหมดที่จำนวนเต็ม -adic) คือวงแหวนของทั้งหมดจำนวนเต็ม -adic.
ดูเพิ่มเติม
- หมวดหมู่: การแปลความหมายเชิงพื้นที่ (คณิตศาสตร์)
- แหวนท้องถิ่น
- ผลกระทบจากพื้นที่ท้องถิ่น
- แหวนโคเฮน
- แหวนประเมินราคา