เร็วกว่าเบราว์เซอร์!
21 ความสัมพันธ์: ฟังก์ชัน (คณิตศาสตร์)ฟังก์ชันบ่งชี้ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึงพีชคณิตแบบบูลการอ้างเหตุผลแนวทแยงของคันทอร์การจัดหมู่ภาวะเชิงการนับยูเนียนสมบัติการสลับที่สมบัติการแจกแจงส่วนเติมเต็มอินเตอร์เซกชันจำนวนจริงจำนวนธรรมชาติทฤษฎีบททวินามทฤษฎีบทของคันทอร์คณิตศาสตร์เซต (คณิตศาสตร์)เซตย่อยเซตว่างเซตนับได้
ฟังก์ชัน (คณิตศาสตร์)
ในคณิตศาสตร์ ฟังก์ชัน คือ ความสัมพันธ์ จากเซตหนึ่งที่เรียกว่าโดเมน ไปยังอีกเซตหนึ่งที่เรียกว่าโคโดเมน (บางครั้งคำว่าเรนจ์อาจถูกใช้แทน แต่เรนจ์นั้นมีความหมายอื่นด้วย "โคโดเมน" จึงเป็นที่นิยมมากกว่า เพราะไม่กำกวม) โดยที่สมาชิกตัวหน้าไม่ซ้ำกัน ความคิดรวบยอดของฟังก์ชันนี้เป็นพื้นฐานของทุกสาขาของคณิตศาสตร์และวิทยาศาสตร์เชิงปริมาณ.
ใหม่!!: เซตกำลังและฟังก์ชัน (คณิตศาสตร์) · ดูเพิ่มเติม »
ฟังก์ชันบ่งชี้
ฟังก์ชันบ่งชี้ของเซต ''A'' ซึ่งเป็นเซตย่อยของเซต ''X'' แสดงค่าด้วยสีแดง ฟังก์ชันบ่งชี้ (indicator function) หรือบางครั้งเรียกว่า ฟังก์ชันลักษณะเฉพาะ คือฟังก์ชันที่นิยามบนเซต X ซึ่งบ่งชี้ว่าสมาชิกตัวใดตัวหนึ่งจะเป็นสมาชิกของเซตย่อย A ใน X หรือไม่ โดยให้ค่าเป็น 1 ถ้าสมาชิกตัวนั้นอยู่ในเซต A หรือให้ค่าเป็น 0 ถ้าสมาชิกตัวนั้นไม่อยู่ในเซต A แต่ยังคงอยู่ในเซต X.
ใหม่!!: เซตกำลังและฟังก์ชันบ่งชี้ · ดูเพิ่มเติม »
ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง
ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง ฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง (bijection, bijective function) คือฟังก์ชัน f จากเซต X ไปยังเซต Y ด้วยสมบัติที่ว่า จะมีสมาชิก x ใน X เพียงหนึ่งเดียวสำหรับทุก ๆ สมาชิก y ใน Y นั่นคือ f (x).
ใหม่!!: เซตกำลังและฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง · ดูเพิ่มเติม »
พีชคณิตแบบบูล
ในคณิตศาสตร์และวิทยาการคอมพิวเตอร์ พีชคณิตแบบบูล, พีชคณิตบูลีน หรือ แลตทิซแบบบูล (Boolean algebra) คือโครงสร้างเชิงพีชคณิตซึ่งเป็นการรวบรวมแก่นความหมายของการดำเนินการทางตรรกศาสตร์และทฤษฎีเซต โดยชื่อพีชคณิตแบบบูลนั้นตั้งตามจอร์จ บูล ผู้พัฒนาพีชคณิตแบบนี้.
ใหม่!!: เซตกำลังและพีชคณิตแบบบูล · ดูเพิ่มเติม »
การอ้างเหตุผลแนวทแยงของคันทอร์
การอ้างเหตุผลแนวทแยงของคันทอร์ (Cantor's diagonal argument) เป็นวิธีการพิสูจน์ของ เกออร์ก คันทอร์ ที่แสดงให้เห็นว่า จำนวนจริงไม่เป็นอนันต์นับได้ (countably infinite).
ใหม่!!: เซตกำลังและการอ้างเหตุผลแนวทแยงของคันทอร์ · ดูเพิ่มเติม »
การจัดหมู่
การจัดหมู่ (Combination) ในทางคณิตศาสตร์เป็นวิธีการเลือกสิ่งของจำนวนหนึ่งมาจากสิ่งของที่มีอยู่ทั้งหมด โดยไม่คำนึงถึงลำดับ การจัดหมู่สิ่งของ k สิ่ง จากสิ่งของทั้งหมด n สิ่ง มีวิธีการจัดทั้งหมด C_k^n.
ใหม่!!: เซตกำลังและการจัดหมู่ · ดูเพิ่มเติม »
ภาวะเชิงการนับ
ในทางคณิตศาสตร์ ภาวะเชิงการนับ ของเซต (cardinality) คือการวัดปริมาณว่ามีสมาชิกจำนวนเท่าไรในเซต ตัวอย่างเช่น เซต A.
ใหม่!!: เซตกำลังและภาวะเชิงการนับ · ดูเพิ่มเติม »
ยูเนียน
ูเนียน (union) หรือ ส่วนรวม คือการดำเนินการของเซต เป็นการสร้างเซตใหม่ซึ่งเป็นผลจากการรวมสมาชิกทั้งหมดของเซตต้นแบบเข้าด้วยกัน เขียนแทนด้วยสัญลักษณ์ (คล้ายอักษรตัวใหญ่ U).
ใหม่!!: เซตกำลังและยูเนียน · ดูเพิ่มเติม »
สมบัติการสลับที่
ตัวอย่างแสดงสมบัติการสลับที่ของการบวก (3 + 2.
ใหม่!!: เซตกำลังและสมบัติการสลับที่ · ดูเพิ่มเติม »
สมบัติการแจกแจง
ในทางคณิตศาสตร์ สมบัติการแจกแจง (distributivity) คือสมบัติหนึ่งที่สามารถมีได้บนการดำเนินการทวิภาค ซึ่งเป็นกรณีทั่วไปของกฎการแจกแจงจากพีชคณิตมูลฐาน ตัวอย่างเช่น ข้างซ้ายของสมการข้างต้น 2 คูณเข้ากับผลบวกของ 1 กับ 3 ส่วนข้างขวา 2 คูณเข้ากับ 1 และ 3 แต่ละตัวแยกกัน แล้วค่อยนำผลคูณเข้ามาบวก เนื่องจากตัวอย่างข้างต้นให้ผลลัพธ์เท่ากันคือ 8 เราจึงกล่าวว่า การคูณด้วย 2 แจกแจงได้ (distribute) บนการบวกของ 1 กับ 3 เราสามารถแทนที่จำนวนเหล่านั้นด้วยจำนวนจริงใดๆ แล้วทำให้สมการยังคงเป็นจริง เราจึงกล่าวว่า การคูณของจำนวนจริง แจกแจงได้บนการบวกของจำนวนจริง สมบัติการแจกแจงจึงต้องเกี่ยวข้องกับการดำเนินการสองชน.
ใหม่!!: เซตกำลังและสมบัติการแจกแจง · ดูเพิ่มเติม »
ส่วนเติมเต็ม
วนเติมเต็ม หรือ คอมพลีเมนต์ (complement) คือแนวคิดหนึ่งที่ใช้ในการเปรียบเทียบเซต เพื่อที่จะให้ทราบว่า เมื่อเซตหนึ่งสัมพันธ์กับอีกเซตหนึ่ง มีสมาชิกใดบ้างที่อยู่ภายใต้เซตเพียงเซตเดียว แบ่งออกตามการใช้งานเป็น ส่วนเติมเต็มสัมบูรณ์ (absolute complement) กับ ส่วนเติมเต็มสัมพัทธ์ (relative complement) ซึ่งแนวคิดแรกหมายถึงส่วนเติมเต็มที่เกี่ยวข้องกับเอกภพสัมพัทธ์ (universal set) ส่วนแนวคิดหลังเกี่ยวข้องกับเซตตัวอื่น.
ใหม่!!: เซตกำลังและส่วนเติมเต็ม · ดูเพิ่มเติม »
อินเตอร์เซกชัน
อินเตอร์เซกชัน (intersection) หรือ ส่วนร่วม คือการดำเนินการของเซต เป็นการสร้างเซตใหม่ซึ่งเป็นผลจากการหาสมาชิกทั้งหมดที่เหมือนกันในเซตต้นแบบ เขียนแทนด้วยสัญลักษณ์ (คล้ายอักษรตัวใหญ่ U กลับหัว).
ใหม่!!: เซตกำลังและอินเตอร์เซกชัน · ดูเพิ่มเติม »
จำนวนจริง
ำนวนจริง คือจำนวนที่สามารถจับคู่หนึ่งต่อหนึ่งกับจุดบนเส้นตรงที่มีความยาวไม่สิ้นสุด (เส้นจำนวน) ได้ คำว่า จำนวนจริง นั้นบัญญัติขึ้นเพื่อแยกเซตนี้ออกจากจำนวนจินตภาพ จำนวนจริงเป็นศูนย์กลางการศึกษาในสาขาคณิตวิเคราะห์จำนวนจริง (real analysis).
ใหม่!!: เซตกำลังและจำนวนจริง · ดูเพิ่มเติม »
จำนวนธรรมชาติ
ในทางคณิตศาสตร์ จำนวนธรรมชาติ อาจหมายถึง จำนวนเต็มบวก หรือ จำนวนนับ (1, 2, 3, 4,...) หรือ จำนวนเต็มไม่เป็นลบ (0, 1, 2, 3, 4,...) ความหมายแรกมีการใช้ในทฤษฎีจำนวน ส่วนแบบหลังได้ใช้งานใน ตรรกศาสตร์,เซตและวิทยาการคอมพิวเตอร์ ถุ จำนวนธรรมชาติมีการใช้งานหลักอยู่สองประการ กล่าวคือเราสามารถใช้จำนวนธรรมชาติในการนับ เช่น มีส้มอยู่ 3 ผลบนโต๊ะ หรือเราอาจใช้สำหรับการจัดอันดับ เช่น เมืองนี้เป็นเมืองที่มีขนาดใหญ่เป็นอันดับที่ 3 ในประเทศ เป็นต้น คุณสมบัติของจำนวนธรรมชาติที่เกี่ยวกับการหารลงตัว เช่นการกระจายของจำนวนเฉพาะ เป็นเนื้อหาในทฤษฎีจำนวน ปัญหาที่เกี่ยวกับการนับ เช่น ทฤษฎีแรมซี นั้นถูกศึกษาในคณิตศาสตร์เชิงการจั.
ใหม่!!: เซตกำลังและจำนวนธรรมชาติ · ดูเพิ่มเติม »
ทฤษฎีบททวินาม
ทฤษฎีบททวินาม (Binomial theorem) กล่าวถึงการกระจายพจน์ของ (x+y)^n มีสูตรดังนี้ เมื่อ n เป็นจำนวนเต็มบวกหรือศูนย์ และ ตัวอย่างผลที่ได้จากทฤษฎีบททวินามในกรณีที่ n ≤ 5 เช่น หมวดหมู่:พีชคณิต.
ใหม่!!: เซตกำลังและทฤษฎีบททวินาม · ดูเพิ่มเติม »
ทฤษฎีบทของคันทอร์
ทฤษฎีบทของคันทอร์ (Cantor's theorem) กล่าวว่า เซตกำลัง (power set) (เซตของเซตย่อยทั้งหมด) ของเซตใดๆ จะมี จำนวนเชิงการนับ (cardinal number) มากกว่าจำนวนเชิงการนับของเซตนั้น.
ใหม่!!: เซตกำลังและทฤษฎีบทของคันทอร์ · ดูเพิ่มเติม »
คณิตศาสตร์
ยูคลิด (กำลังถือคาลิเปอร์) นักคณิตศาสตร์ชาวกรีก ในสมัย 300 ปีก่อนคริสตกาล ภาพวาดของราฟาเอลในชื่อ ''โรงเรียนแห่งเอเธนส์''No likeness or description of Euclid's physical appearance made during his lifetime survived antiquity. Therefore, Euclid's depiction in works of art depends on the artist's imagination (see ''Euclid''). คณิตศาสตร์ เป็นศาสตร์ที่มุ่งค้นคว้าเกี่ยวกับ โครงสร้างนามธรรมที่ถูกกำหนดขึ้นผ่านทางกลุ่มของสัจพจน์ซึ่งมีการให้เหตุผลที่แน่นอนโดยใช้ตรรกศาสตร์สัญลักษณ์ และสัญกรณ์คณิตศาสตร์ เรามักนิยามโดยทั่วไปว่าคณิตศาสตร์เป็นสาขาวิชาที่ศึกษาเกี่ยวกับรูปแบบและโครงสร้าง, การเปลี่ยนแปลง และปริภูมิ กล่าวคร่าว ๆ ได้ว่าคณิตศาสตร์นั้นสนใจ "รูปร่างและจำนวน" เนื่องจากคณิตศาสตร์มิได้สร้างความรู้ผ่านกระบวนการทดลอง บางคนจึงไม่จัดว่าคณิตศาสตร์เป็นสาขาของวิทยาศาสตร์ ในอดีตผู้คนจะใช้สิ่งของแทนจำนวนที่จะนับยิ่งนานเข้าจำนวนประชากรยิ่งมีมากขึ้น ทำให้ผู้คนเริ่มคิดที่จะประดิษฐ์ตัวเลขขึ้นมาแทนการนับที่ใช้สิ่งของนับแทนจากนั้นก็มีการบวก ลบคูณ และหาร จากนั้นก็ก่อให้เกิดคณิตศาสตร์ คำว่า "คณิตศาสตร์" (คำอ่าน: คะ-นิด-ตะ-สาด) มาจากคำว่า คณิต (การนับ หรือ คำนวณ) และ ศาสตร์ (ความรู้ หรือ การศึกษา) ซึ่งรวมกันมีความหมายโดยทั่วไปว่า การศึกษาเกี่ยวกับการคำนวณ หรือ วิชาที่เกี่ยวกับการคำนวณ.
ใหม่!!: เซตกำลังและคณิตศาสตร์ · ดูเพิ่มเติม »
เซต (คณิตศาสตร์)
อินเตอร์เซกชันของเซตสองเซต คือเซตที่ประกอบด้วยสมาชิกที่อยู่ในเซตทั้งสองเซต ดังแสดงในแผนภาพเวนน์ เซต ในทางคณิตศาสตร์นั้น อาจมองได้ว่าเป็นการรวบรวมกลุ่มวัตถุต่างๆ ไว้รวมกันทั้งชุด แม้ว่าความคิดนี้จะดูง่ายๆ แต่เซตเป็นแนวคิดที่เป็นรากฐานสำคัญที่สุดอย่างหนึ่งของคณิตศาสตร์สมัยใหม่ การศึกษาโครงสร้างเซตที่เป็นไปได้ ทฤษฎีเซตมีความสำคัญและได้รับความสนใจอย่างมากและกำลังดำเนินไปอย่างต่อเนื่อง มันถูกสร้างขึ้นมาตอนปลายคริสต์ศตวรรษที่ 19 ตอนนี้ทฤษฎีเซตเป็นส่วนที่ขาดไม่ได้ในการศึกษาคณิตศาสตร์ และถูกจัดไว้ในระบบการศึกษาตั้งแต่ระดับประถมศึกษาในหลายประเทศ ทฤษฎีเซตเป็นรากฐานของคณิตศาสตร์เกือบทุกแขนงซึ่งสามารถนำไปประยุกต์ใช้ได้.
ใหม่!!: เซตกำลังและเซต (คณิตศาสตร์) · ดูเพิ่มเติม »
เซตย่อย
ในคณิตศาสตร์โดยเฉพาะสาขาทฤษฎีเซต เซต A เป็นเซตย่อยของเซต B หรืออาจจะบอกว่าเซต B เป็นซูเปอร์เซตของเซต A ถ้า A เป็นส่วนหนึ่งของ B นั่นก็คือสมาชิกทั้งหมดของเซต A จะต้องเป็นสมาชิกของเซต B ด้วย ทั้งนี้ A กับ B อาจเท่ากันก็ได้.
ใหม่!!: เซตกำลังและเซตย่อย · ดูเพิ่มเติม »
เซตว่าง
ัญลักษณ์แทนเซตว่าง เซตว่าง (empty set) ในทางคณิตศาสตร์ และที่เจาะจงกว่าคือทฤษฎีเซตหมายถึง เซตเพียงหนึ่งเดียวที่ไม่มีสมาชิก หรือเรียกได้ว่ามีสมาชิก 0 ตัว เซตว่างสามารถเขียนแทนได้ด้วยสัญลักษณ์ "∅" หรือ "\emptyset" ซึ่งมีต้นกำเนิดมาจากอักษร Ø ในภาษาเดนมาร์กและภาษานอร์เวย์ เสนอโดยกลุ่มของ Nicolas Bourbaki (โดยเฉพาะ André Weil) ในปี ค.ศ. 1939 สัญกรณ์แบบอื่นที่นิยมใช้ตัวอย่างเช่น "", "Λ" และ "0" ทฤษฎีเซตเชิงสัจพจน์ (axiomatic set theory) ได้ตั้งสมมติฐานไว้ว่า เซตว่างจำเป็นต้องมีขึ้นเนื่องจากสัจพจน์ของเซตว่าง (axiom of empty set) บางครั้งเซตว่างก็ถูกเรียกว่าเป็น เซตนัลล์ (null set) แต่เซตนัลล์มีความหมายอื่นในเรื่องของทฤษฎีเมเชอร์ ดังนั้นจึงควรหลีกเลี่ยงในการใช้คำนี้.
ใหม่!!: เซตกำลังและเซตว่าง · ดูเพิ่มเติม »
เซตนับได้
ซตนับได้ (countable set) คือเซตที่มีภาวะเชิงการนับ (จำนวนของสมาชิก) เหมือนกับบางเซตย่อยของเซตของจำนวนธรรมชาติ ในทางตรงข้าม เซตที่ไม่สามารถนับได้เรียกว่า เซตนับไม่ได้ (uncountable set) ศัพท์คำนี้นิยามโดยเกออร์ก คันทอร์ สมาชิกของเซตนับได้สามารถถูกนับจำนวนได้ในครั้งหนึ่ง ๆ ถึงแม้ว่าการนับนั้นจะไม่มีวันสิ้นสุดก็ตาม สมาชิกทุก ๆ ตัวของเซตจะถูกจับคู่กับจำนวนธรรมชาติจำนวนใดจำนวนหนึ่งในที่สุด ผู้แต่งตำราบางท่านใช้ศัพท์ เซตนับได้ ว่าหมายถึงเซตที่มีภาวะเชิงการนับเหมือนกับเซตของจำนวนธรรมชาติสำหรับตัวอย่างการใช้เช่นนี้ดูที่ ความแตกต่างระหว่างนิยามสองนิยามนี้คือ เซตจำกัดจัดว่าเป็นเซตนับได้ภายใต้นิยามแรก ในขณะที่นิยามหลัง เซตจำกัดไม่ถือว่าเป็นเซตนับได้ เพื่อแก้ความกำกวมนี้ บางครั้งจึงใช้ศัพท์ว่า เซตนับได้เป็นอย่างมาก (at most countable set) สำหรับนิยามแรกและ เซตอนันต์นับได้ (countably infinite set) สำหรับนิยามหลัง นอกจากนี้ศัพท์ว่า denumerable set ก็ยังใช้ในความหมายของเซตอนันต์นับได้ดูที่ หรือเซตนับได้ ในทางตรงข้ามก็ใช้คำว่า nondenumerable set คือเซตนับไม่ได้ดูที.
ใหม่!!: เซตกำลังและเซตนับได้ · ดูเพิ่มเติม »
