เครื่องบินที่ซับซ้อน

จาก Wikipedia สารานุกรมเสรี
ข้ามไปที่การนำทางข้ามไปที่การค้นหา
การแทนค่าทางเรขาคณิตของzและคอนจูเกตในระนาบเชิงซ้อน ระยะทางตามแนวเส้นสีฟ้าแสงจากแหล่งกำเนิดไปยังจุดZเป็นโมดูลัสหรือค่าสัมบูรณ์ของZ φมุมเป็นอาร์กิวเมนต์ของZ

ในคณิตศาสตร์ที่ซับซ้อนเครื่องบินหรือZเครื่องบินเป็นเครื่องบินที่เกี่ยวข้องกับระบบพิกัดที่ซับซ้อนที่เกิดขึ้นหรือที่จัดตั้งขึ้นโดยแกนจริงและตั้งฉากกับ แกนจินตนาการสามารถคิดได้ว่าเป็นระนาบคาร์ทีเซียนที่ดัดแปลงโดยส่วนจริงของจำนวนเชิงซ้อนแสดงด้วยการกระจัดตามแกน x และส่วนจินตภาพโดยการกระจัดตามแกน y [หมายเหตุ 1]

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

เครื่องบินซับซ้อนบางครั้งเรียกได้ว่าเป็นเครื่องบิน Argandหรือเครื่องบินเกาส์

อนุสัญญาสัญกรณ์[ แก้ไข]

ในการวิเคราะห์เชิงซ้อนจำนวนเชิงซ้อนจะแสดงโดยสัญลักษณ์zซึ่งสามารถแยกออกเป็นส่วนจริง ( x ) และจินตภาพ ( y ):

ตัวอย่างเช่น: Z = 4 + 5 ฉันที่xและy ที่เป็นตัวเลขจริงและฉันเป็นหน่วยจินตภาพ ในประเพณีนี้สัญกรณ์ที่ซับซ้อนจำนวนZสอดคล้องกับจุด ( x , Y ) ในเครื่องบินคาร์ทีเซียน

ในระนาบคาร์ทีเซียนจุด ( x , y ) สามารถแสดงในพิกัดเชิงขั้วได้เช่นกัน

ในระนาบคาร์ทีเซียนอาจสันนิษฐานได้ว่าอาร์กแทนเจนต์รับค่าจาก - π / 2ถึงπ / 2 ( เป็นเรเดียน ) และต้องใช้ความระมัดระวังเพื่อกำหนดฟังก์ชันอาร์กแทนเจนต์ที่สมบูรณ์ยิ่งขึ้นสำหรับจุด ( x , y ) เมื่อx ≤ 0. [หมายเหตุ 2]ในระนาบเชิงซ้อนพิกัดเชิงขั้วเหล่านี้อยู่ในรูปแบบ

ที่ไหน

[หมายเหตุ 3]

ที่นี่ | z | เป็นค่าสัมบูรณ์หรือโมดูลัสของจำนวนเชิงซ้อนZ ; θการโต้แย้งของZ , มักจะดำเนินการในช่วง 0 ≤ θ <2 π ; และความเสมอภาคที่ผ่านมา (ไป | Z | E ) จะนำมาจากสูตรออยเลอร์ได้ไม่ จำกัด ในช่วงของการθอาร์กิวเมนต์ของZมีหลายมูลค่าเพราะการทำงานที่ซับซ้อนชี้แจงเป็นระยะ ๆ โดยมีระยะเวลา 2 πฉันดังนั้นถ้าθเป็นค่าหนึ่งของ arg (z ) ค่าอื่น ๆ กำหนดโดย arg ( z ) = θ + 2 โดยที่nคือจำนวนเต็มใด ๆ ≠ 0 [2]

ในขณะที่ไม่ค่อยมีการใช้อย่างชัดเจนมุมมองทางเรขาคณิตของจำนวนเชิงซ้อนนั้นขึ้นอยู่กับโครงสร้างของเวกเตอร์แบบยุคลิดสเปซของมิติที่ 2 โดยปริยายซึ่งผลคูณภายในของจำนวนเชิงซ้อนwและzจะได้รับจาก; จากนั้นสำหรับจำนวนเชิงซ้อนzค่าสัมบูรณ์ | z | สอดคล้องกับบรรทัดฐานของยุคลิดและโต้แย้งหาเรื่อง ( Z )กับเปลี่ยนมุมจาก 1 ถึง  Z

ทฤษฎีการรวมรูปร่างประกอบด้วยส่วนสำคัญของการวิเคราะห์ที่ซับซ้อน ในบริบทนี้ทิศทางของการเดินทางรอบ ๆ เส้นโค้งปิดมีความสำคัญ - การย้อนกลับทิศทางที่เส้นโค้งเคลื่อนที่จะคูณค่าของอินทิกรัลด้วย −1 ตามแบบแผนทิศทางบวกคือทวนเข็มนาฬิกา ตัวอย่างเช่นวงกลมหน่วยเคลื่อนที่ไปในทิศทางบวกเมื่อเราเริ่มต้นที่จุดz = 1 จากนั้นเดินทางขึ้นไปทางซ้ายผ่านจุดz = iจากนั้นลงและไปทางซ้ายผ่าน −1 จากนั้นลงและไปที่ ทางขวาผ่าน - iและสุดท้ายขึ้นไปทางขวาถึงz = 1 จุดที่เราเริ่มต้น

การวิเคราะห์ที่ซับซ้อนเกือบทั้งหมดเกี่ยวข้องกับฟังก์ชันที่ซับซ้อน  นั่นคือกับฟังก์ชันที่แมปเซตย่อยบางส่วนของระนาบเชิงซ้อนเข้ากับเซตย่อยอื่น ๆ (อาจทับซ้อนกันหรือเหมือนกัน) ของระนาบเชิงซ้อน ที่นี่เป็นเรื่องปกติที่จะพูดถึงโดเมนของf ( z ) ว่าอยู่ในz -plane ในขณะที่อ้างถึงช่วงของf ( z ) เป็นชุดของจุดในw -plane ในสัญลักษณ์ที่เราเขียน

และมักจะคิดว่าฟังก์ชันfเป็นการแปลงจากz -plane (พร้อมพิกัด ( x , y )) เป็นw -plane (พร้อมพิกัด ( u , v ))

แผนภาพ Argand [ แก้ไข]

แผนภาพ Argandหมายถึงพล็อตทางเรขาคณิตของจำนวนเชิงซ้อนเป็นจุด z = x + iy โดยใช้แกน x เป็นแกนจริงและแกน y เป็นแกนจินตภาพ [3]แปลงดังกล่าวตั้งชื่อตามJean-Robert Argand (1768–1822) แม้ว่าจะได้รับการอธิบายครั้งแรกโดยนักสำรวจที่ดินชาวนอร์เวย์ - เดนมาร์กและCaspar Wesselนักคณิตศาสตร์(1745–1818) [หมายเหตุ 4]แผนภาพ Argand มักใช้ในการพล็อตตำแหน่งของศูนย์และขั้วของฟังก์ชันในระนาบเชิงซ้อน

การคาดการณ์ภาพสามมิติ[ แก้ไข]

Riemann sphereซึ่งทำแผนที่ทุกจุดบนทรงกลมยกเว้นจุดหนึ่งกับทุกจุดบนระนาบที่ซับซ้อน

การคิดระนาบเชิงซ้อนนั้นจะมีประโยชน์เหมือนกับว่ามันยึดครองพื้นผิวของทรงกลม กำหนดรัศมีหน่วยเป็นทรงกลมให้วางจุดศูนย์กลางที่จุดกำเนิดของระนาบเชิงซ้อนโดยเน้นให้เส้นศูนย์สูตรของทรงกลมตรงกับวงกลมหน่วยในระนาบและขั้วเหนืออยู่ "เหนือ" ระนาบ

เราสามารถสร้างความสอดคล้องแบบหนึ่งต่อหนึ่งระหว่างจุดบนพื้นผิวของทรงกลมลบขั้วเหนือและจุดในระนาบเชิงซ้อนได้ดังนี้ กำหนดจุดในระนาบให้ลากเส้นตรงที่เชื่อมต่อกับขั้วเหนือบนทรงกลม เส้นนั้นจะตัดกับพื้นผิวของทรงกลมในอีกจุดหนึ่ง จุดz = 0จะฉายไปที่ขั้วใต้ของทรงกลม เนื่องจากด้านในของวงกลมหน่วยอยู่ภายในทรงกลมพื้นที่ทั้งหมด ( | z | <1 ) จะถูกจับคู่กับซีกโลกใต้ วงกลมหน่วยเอง ( | z | = 1 ) จะถูกแมปเข้ากับเส้นศูนย์สูตรและด้านนอกของวงกลมหน่วย ( | z| > 1 ) จะถูกจับคู่กับซีกโลกเหนือลบด้วยขั้วเหนือ เห็นได้ชัดว่าขั้นตอนนี้สามารถย้อนกลับได้ - เนื่องจากจุดใด ๆ บนพื้นผิวของทรงกลมที่ไม่ใช่ขั้วเหนือเราสามารถลากเส้นตรงที่เชื่อมต่อจุดนั้นกับขั้วเหนือและตัดกับระนาบแบนในจุดเดียว

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

ลองนึกภาพสักครู่ว่าจะเกิดอะไรขึ้นกับเส้นละติจูดและลองจิจูดเมื่อเส้นเหล่านี้ถูกฉายจากทรงกลมไปยังระนาบแบน เส้นรุ้งจะเป็นแนวขนานกับเส้นศูนย์สูตรทั้งหมดดังนั้นพวกเขาจะกลายเป็นวงกลมที่สมบูรณ์แบบมีศูนย์กลางอยู่ที่ต้นกำเนิดZ = 0 และเส้นลองจิจูดจะกลายเป็นเส้นตรงผ่านจุดกำเนิด (และผ่าน "จุดที่ไม่มีที่สิ้นสุด" ด้วยเนื่องจากเส้นเหล่านี้ผ่านทั้งขั้วเหนือและขั้วใต้บนทรงกลม)

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

การตัดเครื่องบิน[ แก้ไข]

เมื่อพูดถึงฟังก์ชันของตัวแปรเชิงซ้อนมักจะสะดวกที่จะนึกถึงการตัดในระนาบเชิงซ้อน ความคิดนี้เกิดขึ้นตามธรรมชาติในบริบทต่างๆ

ความสัมพันธ์หลายมูลค่าและคะแนนสาขา[ แก้ไข]

พิจารณาความสัมพันธ์สองค่าที่เรียบง่าย

ก่อนที่เราจะถือว่าความสัมพันธ์นี้เป็นฟังก์ชันที่มีค่าเดียวต้อง จำกัด ช่วงของค่าผลลัพธ์ไว้ก่อน เมื่อจัดการกับรากที่สองของจำนวนจริงที่ไม่เป็นลบสิ่งนี้ทำได้อย่างง่ายดาย ตัวอย่างเช่นเราสามารถกำหนดได้

จะเป็นจำนวนจริงที่ไม่ใช่เชิงลบYดังกล่าวว่าปีที่ 2 = x แนวคิดนี้ใช้ไม่ได้ผลในระนาบเชิงซ้อนสองมิติ หากต้องการดูสาเหตุให้ลองคิดว่าค่าของf ( z ) แตกต่างกันอย่างไรเมื่อจุดzเคลื่อนที่ไปรอบ ๆ วงกลมหน่วย เราสามารถเขียน

เห็นได้ชัดว่าเป็นZย้ายทุกทางรอบวงกลมWร่องรอยเดียวที่ออกครึ่งหนึ่งของวงกลม ดังนั้นการเคลื่อนที่ต่อเนื่องหนึ่งครั้งในระนาบเชิงซ้อนได้เปลี่ยนรากที่สองที่เป็นบวกe 0 = 1 เป็นรากที่สองเชิงลบe = −1

ปัญหานี้เกิดขึ้นเนื่องจากจุดz = 0 มีรากที่สองเพียงหนึ่งในขณะที่จำนวนเชิงซ้อนz ≠ 0 มีรากที่สองทั้งหมด บนเส้นจำนวนจริงเราสามารถหลีกเลี่ยงปัญหานี้ได้โดยการสร้าง "อุปสรรค" ที่จุดเดียวx = 0 จำเป็นต้องมีสิ่งกีดขวางที่ใหญ่กว่าในระนาบที่ซับซ้อนเพื่อป้องกันไม่ให้เส้นขอบปิดล้อมรอบกิ่งไม้จุด z = 0 นี้ จะทำกันทั่วไปโดยการแนะนำตัดสาขา ; ในกรณีนี้ "ตัด" อาจขยายจากจุดz = 0 ตามแกนจริงบวกไปยังจุดที่ไม่มีที่สิ้นสุดเพื่อให้อาร์กิวเมนต์ของตัวแปรzในระนาบตัดถูก จำกัด ไว้ที่ช่วง 0 ≤ arg ( z) <2 π .

ตอนนี้เราสามารถให้คำอธิบายที่สมบูรณ์ของW = Z ½ ในการทำเช่นนั้นเราต้องใช้z -plane สองชุดแต่ละชุดจะตัดตามแกนจริง ในสำเนาหนึ่งชุดเรากำหนดรากที่สองของ 1 เป็น e 0 = 1 และอีกอันหนึ่งเรากำหนดรากที่สองของ 1 เป็นe = −1 เราขอเรียกร้องทั้งสองสำเนาของการตัดระนาบสมบูรณ์แผ่น ด้วยการสร้างอาร์กิวเมนต์ความต่อเนื่องเราจะเห็นว่าฟังก์ชัน (ตอนนี้มีค่าเดียว) w = z ½แมปแผ่นงานแรกเข้ากับครึ่งบนของw -plane โดยที่ 0 ≤ arg ( w ) < πในขณะที่แมปแผ่นงานที่สองลงในครึ่งล่างของw -plane (โดยที่π≤ arg ( w ) <2 π ) [6]

สาขาที่ตัดในตัวอย่างนี้ไม่จำเป็นต้องอยู่ตามแกนจริง ไม่จำเป็นต้องเป็นเส้นตรงด้วยซ้ำ เส้นโค้งต่อเนื่องใด ๆ ที่เชื่อมต่อจุดกำเนิดz = 0 กับจุดที่อินฟินิตี้จะใช้ได้ ในบางกรณีการตัดกิ่งไม่จำเป็นต้องผ่านจุดที่อินฟินิตี้ด้วยซ้ำ ตัวอย่างเช่นพิจารณาความสัมพันธ์

ที่นี่พหุนามz 2 - 1 จะหายไปเมื่อz = ± 1 ดังนั้นgจึงมีจุดกิ่งสองจุด เราสามารถ "ตัด" ระนาบตามแกนจริงจาก −1 ถึง 1 และได้แผ่นที่g ( z ) เป็นฟังก์ชันที่มีค่าเดียว หรืออีกวิธีหนึ่งคือการตัดสามารถวิ่งจากz = 1 ไปตามแกนจริงบวกผ่านจุดที่ไม่มีที่สิ้นสุดจากนั้น "ขึ้น" แกนจริงเชิงลบไปยังจุดสาขาอื่นz = −1

สถานการณ์นี้จะมองเห็นได้ง่ายที่สุดโดยใช้การฉาย stereographic อธิบายไว้ข้างต้น บนทรงกลมหนึ่งในรอยตัดเหล่านี้วิ่งตามยาวผ่านซีกโลกใต้โดยเชื่อมต่อจุดบนเส้นศูนย์สูตร ( z = −1) กับอีกจุดหนึ่งบนเส้นศูนย์สูตร ( z = 1) และผ่านขั้วใต้ (จุดกำเนิดz = 0) ระหว่างทาง การตัดรุ่นที่สองจะวิ่งตามแนวยาวผ่านซีกโลกเหนือและเชื่อมต่อจุดเส้นศูนย์สูตรสองจุดเดียวกันโดยผ่านขั้วเหนือ (นั่นคือจุดที่ไม่มีที่สิ้นสุด)

การ จำกัด โดเมนของฟังก์ชัน meromorphic [ แก้ไข]

ฟังก์ชั่น meromorphicเป็นฟังก์ชั่นที่ซับซ้อนที่เป็นholomorphicและดังนั้นจึงวิเคราะห์ทุกที่ในประสิทธิภาพสูงยกเว้นที่แน่นอนหรืออนันต์วท์จำนวนจุด [หมายเหตุ 5]จุดที่ไม่สามารถกำหนดฟังก์ชันดังกล่าวได้เรียกว่าเสาของฟังก์ชัน meromorphic บางครั้งเสาเหล่านี้ทั้งหมดอยู่ในแนวเส้นตรง ในกรณีนี้นักคณิตศาสตร์อาจบอกว่าฟังก์ชันคือ "โฮโลมอร์ฟิกบนระนาบตัด" นี่คือตัวอย่างง่ายๆ

ฟังก์ชันแกมมาที่กำหนดโดย

โดยที่γคือค่าคงที่ของออยเลอร์ - มาสเชโรนีและมีขั้วอย่างง่ายที่ 0, −1, −2, −3, ... เนื่องจากตัวส่วนหนึ่งตัวในผลคูณที่ไม่มีที่สิ้นสุดจะหายไปเมื่อzเป็นศูนย์หรือจำนวนเต็มลบ[หมายเหตุ 6]เนื่องจากเสาทั้งหมดอยู่บนแกนจริงเชิงลบตั้งแต่z = 0 ถึงจุดที่ไม่มีที่สิ้นสุดฟังก์ชันนี้จึงอาจอธิบายได้ว่า "โฮโลมอร์ฟิคบนระนาบตัดการตัดที่ขยายไปตามแกนจริงเชิงลบจาก 0 ( รวม) ไปยังจุดที่ไม่มีที่สิ้นสุด "

หรืออีกวิธีหนึ่งอาจอธิบายΓ ( z ) เป็น "โฮโลมอร์ฟิกในระนาบตัดด้วย - π <arg ( z ) < πและไม่รวมจุดz = 0"

การตัดนี้แตกต่างจากการตัดกิ่งที่เราเคยพบมาแล้วเล็กน้อยเนื่องจากการตัดนั้นไม่รวมแกนจริงเชิงลบออกจากระนาบการตัด การตัดกิ่งทิ้งแกนจริงที่เชื่อมต่อกับระนาบตัดด้านหนึ่ง (0 ≤θ ) แต่ตัดออกจากระนาบที่ตัดไปอีกด้านหนึ่ง ( θ <2 π )

แน่นอนว่าไม่จำเป็นต้องแยกส่วนของเส้นตรงทั้งหมดจากz = 0 ถึง −∞ เพื่อสร้างโดเมนที่ domain ( z ) เป็นโฮโลมอร์ฟิก สิ่งที่เราต้องทำจริงๆคือเจาะระนาบด้วยชุดจุดที่นับไม่ถ้วน {0, −1, −2, −3, ... } แต่รูปร่างปิดในระนาบเจาะอาจล้อมรอบหนึ่งหรือมากกว่าของขั้วของΓ (the Z ) ให้ความสำคัญรูปร่างที่ไม่จำเป็นต้องเป็นศูนย์โดยทฤษฎีบทสารตกค้างด้วยการตัดระนาบที่ซับซ้อนเราไม่เพียง แต่มั่นใจว่าΓ ( z ) เป็นโฮโลมอร์ฟิกในโดเมนที่ถูก จำกัด นี้เท่านั้น แต่เรายังตรวจสอบให้แน่ใจว่าเส้นขอบที่เป็นส่วนประกอบของΓเหนือเส้นโค้งปิดใด ๆ ที่อยู่ในระนาบตัดจะเท่ากับศูนย์

การระบุภูมิภาคคอนเวอร์เจนซ์[ แก้ไข]

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

พิจารณาฟังก์ชันที่กำหนดโดยอนุกรมอนันต์

เนื่องจากz 2 = (- z ) 2สำหรับทุกจำนวนเชิงซ้อนzจึงเห็นได้ชัดว่าf ( z ) เป็นฟังก์ชันคู่ของzดังนั้นการวิเคราะห์จึง จำกัด ไว้ที่ครึ่งหนึ่งของระนาบเชิงซ้อน และเนื่องจากซีรีส์นี้ไม่ได้กำหนดไว้ว่าเมื่อใด

มันสมเหตุสมผลแล้วที่จะตัดระนาบไปตามแกนจินตภาพทั้งหมดและสร้างการบรรจบกันของอนุกรมนี้โดยที่ส่วนจริงของzไม่ใช่ศูนย์ก่อนที่จะดำเนินงานที่ยากลำบากกว่าในการตรวจสอบf ( z ) เมื่อzเป็นจำนวนจินตภาพที่บริสุทธิ์ [หมายเหตุ 7]

ในตัวอย่างนี้การตัดเป็นเพียงความสะดวกเนื่องจากจุดที่ไม่ได้กำหนดผลรวมที่ไม่ได้กำหนดจะถูกแยกออกและระนาบการตัดสามารถถูกแทนที่ด้วยระนาบที่มีการเจาะอย่างเหมาะสม ในบางบริบทจำเป็นต้องมีการตัดและไม่เพียง แต่สะดวก พิจารณาเศษส่วนต่อเนื่องเป็นระยะที่ไม่มีที่สิ้นสุด

มันจะแสดงให้เห็นว่าF ( Z ) ลู่เป็นค่าแน่นอนถ้าหากZไม่ได้เป็นจำนวนจริงเชิงลบดังกล่าวว่าZ <-¼ กล่าวอีกนัยหนึ่งขอบเขตการบรรจบกันของเศษส่วนต่อเนื่องนี้คือระนาบตัดซึ่งการตัดจะวิ่งไปตามแกนจริงเชิงลบจาก −¼ ไปยังจุดที่ไม่มีที่สิ้นสุด [8]

ติดกาวระนาบที่ตัดกลับเข้าด้วยกัน[ แก้ไข]

เราได้เห็นแล้วว่ามีความสัมพันธ์กันอย่างไร

สามารถทำให้เป็นฟังก์ชันมูลค่าเดียวได้โดยการแบ่งโดเมนของfออกเป็นสองแผ่นที่ไม่ได้เชื่อมต่อ นอกจากนี้ยังเป็นไปได้ที่จะ "กาว" ทั้งสองแผ่นกลับเข้าด้วยกันเพื่อสร้างพื้นผิว Riemannแผ่นเดียวซึ่งf ( z ) = z 1/2สามารถกำหนดเป็นฟังก์ชันโฮโลมอร์ฟิกที่มีภาพเป็นw -plane ทั้งหมด(ยกเว้นจุดw = 0 ) นี่คือวิธีการทำงาน

ลองนึกภาพสองสำเนาของระนาบเชิงซ้อนที่ถูกตัดการตัดขยายไปตามแกนจริงบวกจากz = 0ไปยังจุดที่ไม่มีที่สิ้นสุด ในแผ่นงานหนึ่งกำหนด0 ≤ arg ( z ) <2 πดังนั้น1 1/2 = e 0 = 1ตามนิยาม ในแผ่นงานที่สองกำหนด2 π≤ arg ( z ) <4 πดังนั้น1 1/2 = e = −1อีกครั้งตามความหมาย ตอนนี้ให้พลิกแผ่นงานที่สองโดยให้แกนจินตภาพชี้ไปในทิศทางตรงกันข้ามกับแกนจินตภาพบนแผ่นงานแรกโดยให้แกนจริงทั้งสองชี้ไปในทิศทางเดียวกันและ "กาว" ทั้งสองแผ่นเข้าด้วยกัน (เพื่อให้ขอบบน แผ่นงานแรกที่มีข้อความ " θ = 0 " เชื่อมต่อกับขอบที่มีข้อความ " θ <4 π " บนแผ่นงานที่สองและขอบของแผ่นงานที่สองที่มีข้อความ " θ = 2 π " เชื่อมต่อกับขอบที่มีข้อความ " θ <2 π "ในแผ่นแรก). ผลลัพธ์คือโดเมนพื้นผิว Riemann ซึ่งf ( z ) = z 1/2เป็นค่าเดียวและโฮโลมอร์ฟิก (ยกเว้นเมื่อz = 0 ) [6]

เพื่อให้เข้าใจว่าเหตุใดfจึงมีค่าเดียวในโดเมนนี้ให้จินตนาการถึงวงจรรอบวงกลมหน่วยเริ่มต้นด้วยz = 1ในแผ่นงานแรก เมื่อ0 ≤θ <2 πเรายังอยู่ในแผ่นงานแรก เมื่อθ = 2 πเราได้ข้ามไปยังแผ่นงานที่สองและจำเป็นต้องสร้างวงจรที่สองรอบ ๆ จุดสาขาz = 0ก่อนที่จะกลับไปที่จุดเริ่มต้นของเราโดยที่θ = 4 πเทียบเท่ากับθ = 0เนื่องจาก ของวิธีที่เราติดกาวทั้งสองแผ่นเข้าด้วยกัน กล่าวอีกนัยหนึ่งคือตัวแปรzทำการหมุนรอบจุดกิ่งไม้สองรอบโดยสมบูรณ์ภาพของzในw -plane จะติดตามวงกลมที่สมบูรณ์เพียงวงเดียว

ความแตกต่างอย่างเป็นทางการแสดงให้เห็นว่า

ซึ่งเราสามารถสรุปได้ว่าอนุพันธ์ของfมีอยู่และ จำกัด อยู่ทุกที่บนพื้นผิว Riemann ยกเว้นเมื่อz = 0 (นั่นคือfคือโฮโลมอร์ฟิกยกเว้นเมื่อz = 0 )

Riemann พื้นผิวสำหรับฟังก์ชั่นได้อย่างไร

ยังกล่าวถึงข้างต้นจะสร้าง? เราเริ่มต้นด้วยz -plane สองชุดอีกครั้งแต่คราวนี้แต่ละอันถูกตัดตามส่วนของเส้นตรงจริงที่ขยายจากz = −1ถึงz = 1 - นี่คือจุดกิ่งสองจุดของg ( z ) เราพลิกหนึ่งในนี้กลับหัวดังนั้นแกนจินตภาพทั้งสองจึงชี้ไปในทิศทางตรงกันข้ามและกาวขอบที่ตรงกันของแผ่นงานทั้งสองแผ่นเข้าด้วยกัน เราสามารถตรวจสอบว่ากรัมเป็นฟังก์ชันที่ valued เดียวบนพื้นผิวนี้โดยการติดตามวงจรรอบวงกลมของหน่วยรัศมีศูนย์กลางที่Z = 1 เริ่มต้นที่จุดz = 2บนแผ่นแรกที่เราเปิดครึ่งรอบวงกลมก่อนที่จะเผชิญหน้าตัดที่Z = 0 ตัดกองกำลังสหรัฐลงบนแผ่นที่สองเพื่อที่ว่าเมื่อZได้ตรวจสอบออกหนึ่งเปิดเต็มรูปแบบรอบจุดสาขาZ = 1 , Wได้ดำเนินการเพียงครึ่งหนึ่งของการเปิดเต็มรูปแบบสัญลักษณ์ของWได้กลับ (ตั้งแต่อี = −1 ) และเส้นทางของเราพาเราไปยังจุดz = 2บนแผ่นที่สองของพื้นผิว ต่อไปอีกครึ่งเทิร์นเราพบอีกด้านหนึ่งของการตัดโดยที่z = 0และในที่สุดก็มาถึงจุดเริ่มต้นของเรา ( z= 2ในแผ่นงานแรก ) หลังจากทำการหมุนรอบจุดกิ่งไม้ครบสองรอบ

วิธีธรรมชาติที่จะติดป้ายθ = หาเรื่อง ( Z )ในตัวอย่างนี้คือการตั้งค่า- π < θπบนแผ่นแรกกับπ < θ ≤ 3 πที่สอง แกนจินตภาพบนแผ่นงานทั้งสองชี้ไปในทิศทางตรงกันข้ามกันเพื่อรักษาความรู้สึกของการหมุนในเชิงบวกตามเข็มนาฬิกาไว้เนื่องจากเส้นขอบปิดจะเคลื่อนจากแผ่นงานหนึ่งไปยังอีกแผ่นหนึ่ง (โปรดจำไว้ว่าแผ่นงานที่สองจะกลับหัว ) ลองนึกภาพพื้นผิวนี้ฝังอยู่ในปริภูมิสามมิติโดยทั้งสองแผ่นขนานกับxy-เครื่องบิน. จากนั้นดูเหมือนว่าจะมีรูแนวตั้งบนพื้นผิวซึ่งรอยตัดทั้งสองจะถูกรวมเข้าด้วยกัน จะเกิดอะไรขึ้นถ้าการตัดถูกสร้างจากz = −1ลงแกนจริงไปยังจุดที่ไม่มีที่สิ้นสุดและจากz = 1ขึ้นแกนจริงจนกว่าการตัดจะบรรจบกัน สามารถสร้างพื้นผิว Riemann ได้อีกครั้ง แต่คราวนี้ "รู" เป็นแนวนอน เมื่อพูดถึงลักษณะเฉพาะแล้วพื้นผิว Riemann ทั้งสองรุ่นนี้มีความเท่าเทียมกัน - เป็นพื้นผิวสองมิติที่ปรับทิศทางได้ของสกุลที่หนึ่ง

การใช้ระนาบเชิงซ้อนในทฤษฎีการควบคุม[ แก้ไข]

ในทฤษฎีการควบคุมการใช้ระนาบเชิงซ้อนเรียกว่า ' s-plane ' ใช้เพื่อแสดงภาพรากของสมการที่อธิบายพฤติกรรมของระบบ (สมการลักษณะเฉพาะ) ในรูปแบบกราฟิก โดยปกติสมการจะแสดงเป็นพหุนามในพารามิเตอร์ 's' ของการแปลงลาปลาซดังนั้นชื่อระนาบ จุดในระนาบจะอยู่ในรูปแบบที่ใช้'j'แทน'i'ตามปกติเพื่อแสดงส่วนประกอบจินตภาพ

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

'z-plane' เป็นรุ่นที่ไม่ต่อเนื่องของ s-plane ซึ่งใช้z-transformแทนการแปลง Laplace

ช่องว่างกำลังสอง[ แก้ไข]

เครื่องบินที่ซับซ้อนที่เกี่ยวข้องกับการที่แตกต่างกันสองช่องว่างกำลังสองสำหรับจุดZ = x + IYในระนาบซับซ้อนฟังก์ชั่น squaring Z 2และบรรทัดฐานยืดมีทั้งรูปแบบสมการกำลังสองอดีตมักถูกละเลยเนื่องจากการใช้ในการตั้งค่าตัวชี้วัดบนระนาบที่ซับซ้อน เหล่านี้ใบหน้าที่แตกต่างของเครื่องบินซับซ้อนเป็นพื้นที่กำลังสองเกิดขึ้นในการก่อสร้างของจีบมากกว่าสนามกับกระบวนการเคย์ลี-ดิกสันโพรซีเดอร์นั้นสามารถนำไปใช้กับฟิลด์ใดก็ได้ และผลลัพธ์ที่แตกต่างกันเกิดขึ้นสำหรับฟิลด์ℝและℂ: เมื่อℝเป็นฟิลด์เริ่มต้นจากนั้นℂจะถูกสร้างด้วยรูปแบบกำลังสองแต่กระบวนการนี้สามารถเริ่มต้นด้วยℂและz 2 ได้เช่นกันและกรณีนั้นจะสร้างอัลเจบราที่แตกต่างจากฟิลด์เหล่านั้น มาจากℝ. ในกรณีใด ๆ จีบราส์ที่สร้างขึ้นมีจีบองค์ประกอบ ; ในกรณีนี้ระนาบเชิงซ้อนคือจุดที่กำหนดไว้สำหรับ algebras ที่มีองค์ประกอบที่แตกต่างกันสองแบบ

ความหมายอื่นของ "ระนาบเชิงซ้อน" [ แก้ไข]

ส่วนก่อนหน้าของบทความนี้จัดการกับระนาบที่ซับซ้อนในแง่ของการแทนค่าทางเรขาคณิตของจำนวนเชิงซ้อน แม้ว่าการใช้คำว่า "ระนาบเชิงซ้อน" นี้จะมีประวัติศาสตร์อันยาวนานและร่ำรวยทางคณิตศาสตร์ แต่ก็ไม่ได้เป็นเพียงแนวคิดทางคณิตศาสตร์เพียงอย่างเดียวที่สามารถระบุได้ว่าเป็น "ระนาบเชิงซ้อน" มีความเป็นไปได้เพิ่มเติมอย่างน้อยสามประการ

  1. สองมิติปริภูมิเวกเตอร์ที่ซับซ้อน "เครื่องบินที่ซับซ้อน" ในแง่ที่ว่ามันเป็นพื้นที่เวกเตอร์สองมิติที่มีพิกัดเป็นตัวเลขที่ซับซ้อน ดูเพิ่มเติม: พื้นที่เลียนแบบคอมเพล็กซ์§สองมิติ
  2. (1 + 1) -dimensional Minkowski spaceหรือที่เรียกว่าSplit-Complex Planeคือ "ระนาบเชิงซ้อน" ในแง่ที่ว่าจำนวนเชิงซ้อนแยกเชิงพีชคณิตสามารถแยกออกเป็นส่วนประกอบจริงสองส่วนที่เชื่อมโยงกับจุดได้ง่าย( x , y )ในระนาบคาร์ทีเซียน
  3. นอกจากนี้ยังสามารถวางชุดของตัวเลขคู่ทับค่าเรียลลงในการโต้ตอบแบบตัวต่อตัวกับจุด( x , y )ของระนาบคาร์ทีเซียนและเป็นตัวแทนอีกตัวอย่างหนึ่งของ "ระนาบเชิงซ้อน"

คำศัพท์[ แก้ไข]

ในขณะที่คำศัพท์ "เครื่องบินที่ซับซ้อน" ได้รับการยอมรับในอดีตวัตถุที่จะได้รับการตั้งชื่ออย่างเหมาะสมมากขึ้น "สายที่ซับซ้อน" มันเป็น 1 มิติปริภูมิเวกเตอร์ที่ซับซ้อน

ดูเพิ่มเติม[ แก้ไข]

Mandelbrot Fractalถ่ายภาพบนระนาบที่ซับซ้อน
  • แผนภาพกลุ่มดาว
  • Riemann ทรงกลม
  • s- เครื่องบิน
  • ส่วนประกอบในเฟสและพื้นที่สี่เหลี่ยมจัตุรัส
  • สายจริง

หมายเหตุ[ แก้ไข]

  1. ^ แม้ว่านี่จะเป็นความหมายทางคณิตศาสตร์ที่พบบ่อยที่สุดของวลี "ระนาบเชิงซ้อน" แต่ก็ไม่ใช่คำเดียวที่เป็นไปได้ ทางเลือกรวมถึงเครื่องบินแยกที่ซับซ้อนและหมายเลขคู่เป็นที่รู้จักโดยแหวนเชาวน์
  2. ^ คำจำกัดความโดยละเอียดของอาร์กิวเมนต์ที่ซับซ้อนในแง่ของอาร์กแทนเจนต์ที่สมบูรณ์สามารถพบได้ในคำอธิบายของฟังก์ชัน atan2
  3. ^ ทุกคุณสมบัติที่คุ้นเคยของฟังก์ชันเลขชี้กำลังซับซ้อนฟังก์ชันตรีโกณมิติและลอการิทึมที่ซับซ้อนสามารถสรุปได้โดยตรงจากชุดไฟสำหรับ โดยเฉพาะอย่างยิ่งค่าหลักของที่ซึ่งสามารถคำนวณได้โดยไม่ต้องอ้างอิงกับโครงสร้างทางเรขาคณิตหรือตรีโกณมิติใด ๆ [1]
  4. ^ ไดอารี่เซิ่ลถูกนำเสนอให้กับสถาบันการศึกษาในเดนมาร์ก 1797; กระดาษของ Argand ตีพิมพ์ในปี 1806 [4]
  5. ^ ดูเพิ่มเติมหลักฐานที่ทำหน้าที่ holomorphic มีการวิเคราะห์
  6. ^ ผลคูณที่ไม่มีที่สิ้นสุดสำหรับΓ ( z ) มีการบรรจบกันอย่างสม่ำเสมอในพื้นที่ที่มีขอบเขตใด ๆ ที่ไม่มีตัวส่วนใดหายไป ดังนั้นจึงกำหนดฟังก์ชัน meromorphic บนระนาบเชิงซ้อน [7]
  7. ^ เมื่อเรื่อง ( Z )> 0 จำนวนนี้ลู่สม่ำเสมอบนโดเมน จำกัด ใด ๆ โดยการเปรียบเทียบกับ ζ (2) ที่ ζ ( s ) เป็นฟังก์ชั่นซีตา Riemann

อ้างอิง[ แก้ไข]

  1. ^ เห็น ( Whittaker และวัตสัน 1927 )ภาคผนวก
  2. ^ ดู ( Whittaker & Watson 1927 ), p. 10.
  3. ^ W. , Weisstein, Eric. "Argand Diagram" . mathworld.wolfram.com . สืบค้นเมื่อ19 เมษายน 2561 .
  4. ^ ดู ( Whittaker & Watson 1927 ), p. 9.
  5. ^ ดู ( Flanigan 1983 ), p. 305.
  6. ^ a b ดู ( Moretti 1964 ), หน้า 113–119
  7. ^ ดู ( Whittaker & Watson 1927 ), หน้า 235–236
  8. ^ ดู (กำแพง 1948 ) หน้า 39.

ผลงานที่อ้างถึง[ แก้ไข]

  • ฟลานิแกนฟรานซิสเจ (2526). ตัวแปรที่ซับซ้อน: ฟังก์ชั่นฮาร์มอนิและการวิเคราะห์ โดเวอร์. ISBN 0-486-61388-7.CS1 maint: ref duplicates default (link)
  • Moretti, Gino (2507) ฟังก์ชั่นของตัวแปรที่ซับซ้อน ศิษย์ฮอลล์.CS1 maint: ref duplicates default (link)
  • วอลล์ HS (2491) ทฤษฎีการวิเคราะห์เศษส่วนต่อเนื่อง . บริษัท D. Van NostrandCS1 maint: ref duplicates default (link)พิมพ์ (1973) โดย บริษัท สำนักพิมพ์เชลซีISBN 0-8284-0207-8 
  • Whittaker, ET ; วัตสัน GN (2470) หลักสูตรการวิเคราะห์สมัยใหม่ (Fourth ed.) สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์CS1 maint: ref duplicates default (link)

ลิงก์ภายนอก[ แก้ไข]

  • Weisstein, Eric W. "Argand Diagram" . แม ธ เวิลด์
  • ฌอง - โรเบิร์ตอาร์แกนด์ "Essai sur une manière de représenter des quantités imaginaires dans les constructions géométriques", 1806, ออนไลน์และวิเคราะห์บนBibNum [สำหรับเวอร์ชันภาษาอังกฤษคลิก "àtélécharger"]