فضای تصویری
در ریاضیات، مفهوم فضای تصویری از پدیده بصری مناظر و مرایا نشأت گرفته است، که در آن به نظر می رسد خطوط موازی در بی نهایت به هم می رسند. لذا یک فضای تصویری را می توان به صورت توسعه یافته فضای اقلیدسی دید یا به طور عام تر می توان آن را فضای آفینی دید که به آن نقاطی در بی نهایت افزوده شده است، چنان که در امتداد هر جفت خط موازی یک نقطه در بی نهایت قرار داشته باشد.
اشکال تعریف فضای تصویری این است که خاصیت همسانگردی را ندارد، لذا دو نوع نقطه در آن وجود دارد که در اثباتها باید با آن ها به شکل متفاوتی برخورد کرد. ازین رو، تعاریف دیگری وجود دارند که ترجیح داده می شوند. دو دسته تعاریف برای فضای تصویری وجود دارد. در هندسه ترکیبی، نقطه و خط موجودیتی بدوی و ابتدایی دارند که با روابط وقوع با هم مرتبط می شوند، مثل "نقطه ای روی خطی قرار دارد" یا "یک خط از یک نقطه عبور می کند"، که این روابط تحت شرایط اصول موضوعه هندسه تصویری عمل می کنند. نشان داده شده که برای چنین اصول موضوعه هایی، فضاهای تصویری که بر اساس آن ها تعریف می شود معادل با فضاهای حاصل از تعریفی است که در ادامه خواهد آمد، این تعریف در اغلب متون مدرن ریاضیاتی آورده شده و رایج تر از بقیه تعاریف است.
با استفاده از جبر خطی، می توان فضای تصویری n بعدی را به صورت مجموعه خطوط برداری (یعنی زیرفضاهایی با بعد یک) در فضای برداری V از بعد n+1 تعریف کرد. به طور معادل چنین فضایی مجموعه خارج قسمت
فضاهای تصویری به طور گسترده در هندسه استفاده شده و امکان استفاده از احکام و اثبات های ساده تر را می دهد. به عنوان مثال، در هندسه آفینی، دو خط در صفحه حداکثر در یک نقطه با هم برخورد می کنند، در حالی که در هندسه تصویری آن ها دقیقاً در یک نقطه با هم برخورد خواهند کرد. همچنین،می توان مقاطع مخروطی را از نظر برخوردهایی که با خط در بی نهایت دارند متمایز کرد به گونه ای که در هر دسته تنها یک مقطع مخروطی قرار گیرد: دو نقطه برای هذلولی ها؛ یک نقطه برای سهمی ها که با خط در بی نهایت مماس اند؛ و برای بیضوی ها هم هیچ نقطه برخوردی بوجود نخواهد آمد.
در توپولوژی و به طور خاص در نظریه منیفلد، فضاهای تصویری نقش بنیادینی بازی می کنند به گونه ای که آن ها مثالِ نوعی از منیفلد های جهت-ناپذیرند.
انگیزش
همانطور که در بالا اشاره شد، فضاهای تصویری به منظور صوری سازی چنین احکامی معرفی شدند: "دو خط هم صفحه دقیقاً در یک نقطه با هم برخورد می کنند، و در صورتی که آن دو خط موازی باشند این نقطه در بی نهایت قرار خواهد داشت." چنین احکامی حین مطالعه مناظر و مرایا به ذهن رسیدند، به گونه ای که می توان آن ها ره به عنوان افکنش (تجانس) مرکزی فضای سه بعدی بر روی یک صفحه در نظر گرفت. به طور دقیق تر، ورودی مردمک چشم یا یک دوربین ناظر، مرکز افکنش (تجانس) است و تصویر بدست آمده بر روی صفحه افکنش (تجانس) قرار خواهد داشت.
از نظر ریاضی، مرکز تجانس، نقطه ای چون O از فضا است (محل برخورد محور ها در شکل)؛ صفحه تصویری (
یادداشتها
منابع
- Afanas'ev, V.V. (2001) [1994], "projective space", Encyclopedia of Mathematics, EMS Press
- Baer, Reinhold (2005) [first published 1952], Linear Algebra and Projective Geometry, Dover, ISBN 978-0-486-44565-6
- Beutelspacher, Albrecht; Rosenbaum, Ute (1998), Projective geometry: from foundations to applications, Cambridge University Press, ISBN 978-0-521-48277-6, MR 1629468
- Coxeter, Harold Scott MacDonald (1974), Introduction to Geometry, New York: John Wiley & Sons, ISBN 0-471-18283-4
- Coxeter, Harold Scott MacDonald (1969), Projective geometry, Toronto, Ont.: University of Toronto Press, ISBN 0-8020-2104-2, MR 0346652, OCLC 977732
- Dembowski, P. (1968), Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Berlin, New York: Springer-Verlag, ISBN 3-540-61786-8, MR 0233275
- Greenberg, M.J.; Euclidean and non-Euclidean geometries, 2nd ed. Freeman (1980).
- Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, esp. chapters I.2, I.7, II.5, and II.7
- Hilbert, D. and Cohn-Vossen, S.; Geometry and the imagination, 2nd ed. Chelsea (1999).
- Mukai, Shigeru (2003), An Introduction to Invariants and Moduli, Cambridge Studies in Advanced Mathematics, Cambridge University Press, ISBN 978-0-521-80906-1
- Veblen, Oswald; Young, John Wesley (1965), Projective geometry. Vols. 1, 2, Blaisdell Publishing Co. Ginn and Co. New York-Toronto-London, MR 0179666 (Reprint of 1910 edition)