fbpx
วิกิพีเดีย

หลายสิ่งอันดับ

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

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

คุณสมบัติ

โดยทั่วไปแล้ว จะกำหนดให้  -สิ่งอันดับเท่ากัน ก็ต่อเมื่อสิ่งที่อยู่ในตำแหน่งตรงกันนั้นเท่ากันทั้งหมด นั่นคือ

  ก็ต่อเมื่อ  

คุณสมบัติดังกล่าวทำให้หลายสิ่งอันดับมีความแตกต่างจากเซต ด้วยเหตุผลดังต่อไปนี้

  1. หลายสิ่งอันดับอาจมีแต่ละสิ่งเป็นจำนวนมากกว่าหนึ่งก็ได้ และจำนวนของสิ่งที่แตกต่างกันทำให้หลายสิ่งอันดับเปลี่ยนไป เช่น หลายสิ่งอันดับ   แต่เซต  
  2. อันดับของสิ่งต่าง ๆ ในหลายสิ่งอันดับนั้นมีความสำคัญและไม่สามารถสลับที่ได้ เช่น หลายสิ่งอันดับ   แต่เซต  
  3. หลายสิ่งอันดับจะมีจำนวนสิ่งไม่เป็นอนันต์ ส่วนเซตนั้นจะมีจำนวนสมาชิกเป็นอนันต์หรือไม่ก็ได้

นิยาม

หลายสิ่งอันดับนั้นสามารถกำหนดนิยามได้หลายแบบโดยที่ยังสอดคล้องกับคุณสมบัติที่ต้องการข้างต้น ดังต่อไปนี้

นิยามด้วยฟังก์ชัน

ในเชิงทฤษฎีเซต อาจนิยาม  -สิ่งอันดับเป็นฟังก์ชัน F ที่มีโดเมนเป็นเซต X ของตำแหน่งต่าง ๆ ในหลายสิ่งอันดับ และโคโดเมนเป็นเซต Y ของสิ่งต่าง ๆ ในหลายสิ่งอันดับ นั่นคือ นิยามให้  -สิ่งอันดับ คือ

 

เมื่อ

 

หรืออาจเขียนในรูปลำลองได้เป็น

 

นิยามด้วยคู่ลำดับซ้อน

ในเชิงทฤษฎีเซตสามารถนิยาม  -สิ่งอันดับได้อีกวิธีหนึ่ง นั่นคือ การใช้คู่อันดับซ้อน วิธีการนี้สมมติว่ามีการกำหนดนิยามคู่อันดับไว้เรียบร้อยแล้ว จากนั้นนำมาขยายเป็นนิยามของ  -สิ่งอันดับ โดยนิยามแบบเวียนเกิดดังนี้

  1. 0-สิ่งอันดับสามารถแทนได้ด้วยเซตว่าง  
  2.  -สิ่งอันดับ เมื่อ   นิยามให้เป็นคู่อันดับที่มีสมาชิกตัวหน้าเป็นสิ่งสิ่งแรก และสมาชิกตัวหลังเป็น  -สิ่งอันดับของสิ่งที่เหลือ นั่นคือ
     

เมื่อใช้นิยามนี้แบบเวียนเกิดจะได้ว่า

 

ตัวอย่างเช่น

 

หรืออาจกำหนดนิยามในทิศทางตรงข้ามก็ได้ ดังนี้

  1. 0-สิ่งอันดับสามารถแทนได้ด้วยเซตว่าง  
  2.  -สิ่งอันดับ เมื่อ   นิยามให้เป็นคู่อันดับที่มีสมาชิกตัวหลังเป็นสิ่งสิ่งสุดท้าย และสมาชิกตัวหน้าเป็น  -สิ่งอันดับของสิ่งที่เหลือ นั่นคือ
     

เมื่อใช้นิยามแบบเวียนเกิดจะได้ว่า

 

ตัวอย่างเช่น

 

นิยามด้วยเซตซ้อน

เมื่อนำนิยามข้างต้นมาประกอบกับ นิยามคู่อันดับของคูระทาวสกี จะได้นิยามของ  -สิ่งอันดับ ที่เป็นนิยามในรูปทฤษฎีเซตแท้ ดังนี้

  1. 0-สิ่งอันดับสามารถแทนได้ด้วยเซตว่าง  
  2. กำหนดให้   เป็น  -สิ่งอันดับ   และกำหนดให้   จะได้ว่า   (เรียกว่า   เชื่อมกับ  )

ตัวอย่างเช่น

 

อ้างอิง

  • D'Angelo, John P.; West, Douglas B. (2000), Mathematical Thinking / Problem-Solving and Proofs (2nd ed.), Prentice-Hall, ISBN 978-0-13-014412-6
  • Keith Devlin, The Joy of Sets. Springer Verlag, 2nd ed., 1993, ISBN 0-387-94094-4, pp. 7–8
  • Abraham Adolf Fraenkel, Yehoshua Bar-Hillel, Azriel Lévy, Foundations of set theory, Elsevier Studies in Logic Vol. 67, Edition 2, revised, 1973, ISBN 0-7204-2270-1, p. 33
  • Gaisi Takeuti, W. M. Zaring, Introduction to Axiomatic Set Theory, Springer GTM 1, 1971, ISBN 978-0-387-90024-7, p. 14
  • George J. Tourlakis, Lecture Notes in Logic and Set Theory. Volume 2: Set theory, Cambridge University Press, 2003, ISBN 978-0-521-75374-6, pp. 182–193

หลายส, งอ, นด, หร, เพ, งกฤษ, tuple, เป, นว, ตถ, ทางคณ, ตศาสตร, ชน, ดหน, โดย, displaystyle, งอ, นด, เป, นลำด, บของส, displaystyle, เม, displaystyle, เป, นจำนวนเต, มไม, เป, นลบ, โดยท, นด, บของส, งต, าง, ในน, นม, ความสำค, ญและไม, สามารถสล, บท, ได, ณสมบ, งกล, าวน,. hlaysingxndb hrux thuephil xngkvs tuple epnwtthuthangkhnitsastrchnidhnung ody n displaystyle n singxndb epnladbkhxngsing n displaystyle n sing emux n displaystyle n epncanwnetmimepnlb odythixndbkhxngsingtang inhlaysingxndbnnmikhwamsakhyaelaimsamarthslbthiid khunsmbtidngklawniexngthaihhlaysingxndbaetktangcakest karekhiynhlaysingxndbmkekhiynrabusingtang inhlaysingxndbnn khndwyekhruxnghmayculphakh aelakhrxbdwyekhruxnghmaywngelb echn 2 7 4 1 7 displaystyle 2 7 4 1 7 epnhasingladb sungaetktangcakhasingxndb 7 7 1 2 4 displaystyle 7 7 1 2 4 hakhlaysingxndbnnmisxngsing camichuxeriykechphaawakhuxndbinkhnitsastr hlaysingxndbsamarthnaipichxthibaywtthuthangkhnitsastrchnidxun id echnewketxr swninkarekhiynopraekrmkhxmphiwetxr odyechphaakarekhiynopraekrmechingfngkchn hlaysingxndbepnchnidkhxngtwaeprthimikhwamsakhy nxkcakniaelwyngphbkarichhlaysingxndbinsastrxun echn phasasastr 1 aelaprchya 2 enuxha 1 khunsmbti 2 niyam 2 1 niyamdwyfngkchn 2 2 niyamdwykhuladbsxn 2 3 niyamdwyestsxn 3 xangxingkhunsmbti aekikhodythwipaelw cakahndih n displaystyle n singxndbethakn ktxemuxsingthixyuintaaehnngtrngknnnethaknthnghmd nnkhux a 1 a 2 a n b 1 b 2 b n displaystyle a 1 a 2 ldots a n b 1 b 2 ldots b n ktxemux a 1 b 1 a 2 b 2 a n b n displaystyle a 1 b 1 text a 2 b 2 text ldots text a n b n khunsmbtidngklawthaihhlaysingxndbmikhwamaetktangcakest dwyehtuphldngtxipni hlaysingxndbxacmiaetlasingepncanwnmakkwahnungkid aelacanwnkhxngsingthiaetktangknthaihhlaysingxndbepliynip echn hlaysingxndb 1 2 2 3 1 2 3 displaystyle 1 2 2 3 neq 1 2 3 aetest 1 2 2 3 1 2 3 displaystyle 1 2 2 3 1 2 3 xndbkhxngsingtang inhlaysingxndbnnmikhwamsakhyaelaimsamarthslbthiid echn hlaysingxndb 1 2 3 3 2 1 displaystyle 1 2 3 neq 3 2 1 aetest 1 2 3 3 2 1 displaystyle 1 2 3 3 2 1 hlaysingxndbcamicanwnsingimepnxnnt swnestnncamicanwnsmachikepnxnnthruximkidniyam aekikhhlaysingxndbnnsamarthkahndniyamidhlayaebbodythiyngsxdkhlxngkbkhunsmbtithitxngkarkhangtn dngtxipni niyamdwyfngkchn aekikh inechingthvsdiest xacniyam n displaystyle n singxndbepnfngkchn F thimiodemnepnest X khxngtaaehnngtang inhlaysingxndb aelaokhodemnepnest Y khxngsingtang inhlaysingxndb nnkhux niyamih n displaystyle n singxndb khux a 1 a 2 a n X Y F displaystyle a 1 a 2 dots a n equiv X Y F emux X 1 2 n Y a 1 a 2 a n F 1 a 1 2 a 2 n a n displaystyle begin aligned X amp 1 2 dots n Y amp a 1 a 2 ldots a n F amp 1 a 1 2 a 2 ldots n a n end aligned hruxxacekhiyninruplalxngidepn a 1 a 2 a n F 1 F 2 F n displaystyle a 1 a 2 dots a n F 1 F 2 dots F n niyamdwykhuladbsxn aekikh inechingthvsdiestsamarthniyam n displaystyle n singxndbidxikwithihnung nnkhux karichkhuxndbsxn withikarnismmtiwamikarkahndniyamkhuxndbiweriybrxyaelw caknnnamakhyayepnniyamkhxng n displaystyle n singxndb odyniyamaebbewiynekiddngni 0 singxndbsamarthaethniddwyestwang displaystyle emptyset n displaystyle n singxndb emux n gt 0 displaystyle n gt 0 niyamihepnkhuxndbthimismachiktwhnaepnsingsingaerk aelasmachiktwhlngepn n 1 displaystyle n 1 singxndbkhxngsingthiehlux nnkhux a 1 a 2 a 3 a n a 1 a 2 a 3 a n displaystyle a 1 a 2 a 3 ldots a n a 1 a 2 a 3 ldots a n emuxichniyamniaebbewiynekidcaidwa a 1 a 2 a 3 a n a 1 a 2 a 3 a n displaystyle a 1 a 2 a 3 ldots a n a 1 a 2 a 3 ldots a n emptyset ldots twxyangechn 1 2 3 1 2 3 1 2 3 4 1 2 3 4 displaystyle begin aligned 1 2 3 amp 1 2 3 emptyset 1 2 3 4 amp 1 2 3 4 emptyset end aligned hruxxackahndniyaminthisthangtrngkhamkid dngni 0 singxndbsamarthaethniddwyestwang displaystyle emptyset n displaystyle n singxndb emux n gt 0 displaystyle n gt 0 niyamihepnkhuxndbthimismachiktwhlngepnsingsingsudthay aelasmachiktwhnaepn n 1 displaystyle n 1 singxndbkhxngsingthiehlux nnkhux a 1 a 2 a 3 a n a 1 a 2 a 3 a n 1 a n displaystyle a 1 a 2 a 3 ldots a n a 1 a 2 a 3 ldots a n 1 a n emuxichniyamaebbewiynekidcaidwa a 1 a 2 a 3 a n a 1 a 2 a 3 a n displaystyle a 1 a 2 a 3 ldots a n ldots emptyset a 1 a 2 a 3 ldots a n twxyangechn 1 2 3 1 2 3 1 2 3 4 1 2 3 4 displaystyle begin aligned 1 2 3 amp emptyset 1 2 3 1 2 3 4 amp emptyset 1 2 3 4 end aligned niyamdwyestsxn aekikh emuxnaniyamkhangtnmaprakxbkb niyamkhuxndbkhxngkhurathawski caidniyamkhxng n displaystyle n singxndb thiepnniyaminrupthvsdiestaeth dngni 0 singxndbsamarthaethniddwyestwang displaystyle emptyset kahndih x displaystyle x epn n displaystyle n singxndb a 1 a 2 a n displaystyle a 1 a 2 ldots a n aelakahndih x b a 1 a 2 a n b displaystyle x rightarrow b equiv a 1 a 2 ldots a n b caidwa x b x x b displaystyle x rightarrow b equiv x x b eriykwa x displaystyle x echuxmkb b displaystyle b twxyangechn 1 1 1 1 1 2 1 2 1 1 2 1 1 2 1 2 3 1 2 3 1 2 1 2 3 1 1 2 1 1 2 3 displaystyle begin array lclcl amp amp amp amp emptyset amp amp amp amp 1 amp amp rightarrow 1 amp amp 1 amp amp amp amp emptyset emptyset 1 amp amp amp amp 1 2 amp amp 1 rightarrow 2 amp amp 1 1 2 amp amp amp amp emptyset emptyset 1 amp amp amp amp emptyset emptyset 1 2 amp amp amp amp 1 2 3 amp amp 1 2 rightarrow 3 amp amp 1 2 1 2 3 amp amp amp amp emptyset emptyset 1 amp amp amp amp emptyset emptyset 1 2 amp amp amp amp emptyset emptyset 1 amp amp amp amp emptyset emptyset 1 2 3 end array xangxing aekikh http www oxfordreference com view 10 1093 acref 9780199202720 001 0001 acref 9780199202720 e 2276 http www oxfordreference com view 10 1093 acref 9780199541430 001 0001 acref 9780199541430 e 2262 D Angelo John P West Douglas B 2000 Mathematical Thinking Problem Solving and Proofs 2nd ed Prentice Hall ISBN 978 0 13 014412 6 Keith Devlin The Joy of Sets Springer Verlag 2nd ed 1993 ISBN 0 387 94094 4 pp 7 8 Abraham Adolf Fraenkel Yehoshua Bar Hillel Azriel Levy Foundations of set theory Elsevier Studies in Logic Vol 67 Edition 2 revised 1973 ISBN 0 7204 2270 1 p 33 Gaisi Takeuti W M Zaring Introduction to Axiomatic Set Theory Springer GTM 1 1971 ISBN 978 0 387 90024 7 p 14 George J Tourlakis Lecture Notes in Logic and Set Theory Volume 2 Set theory Cambridge University Press 2003 ISBN 978 0 521 75374 6 pp 182 193ekhathungcak https th wikipedia org w index php title hlaysingxndb amp oldid 5883478, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,

บทความ

, อ่าน, ดาวน์โหลด, ฟรี, ดาวน์โหลดฟรี, mp3, วิดีโอ, mp4, 3gp, jpg, jpeg, gif, png, รูปภาพ, เพลง, เพลง, หนัง, หนังสือ, เกม, เกม