আমি কেবল শোয়ার্টজ-জিপ্পেল লেমার দুটি প্রমাণ সম্পর্কে সচেতন। প্রথম (আরো সাধারণ) প্রমাণ বর্ণনা করা হয় উইকিপিডিয়া এন্ট্রি । দ্বিতীয় প্রমাণ ডানা মোশকভিত্জ আবিষ্কার করেছিলেন।
অন্য কোন প্রমাণ আছে যা যথেষ্ট আলাদা ধারণা ব্যবহার করে?
আমি কেবল শোয়ার্টজ-জিপ্পেল লেমার দুটি প্রমাণ সম্পর্কে সচেতন। প্রথম (আরো সাধারণ) প্রমাণ বর্ণনা করা হয় উইকিপিডিয়া এন্ট্রি । দ্বিতীয় প্রমাণ ডানা মোশকভিত্জ আবিষ্কার করেছিলেন।
অন্য কোন প্রমাণ আছে যা যথেষ্ট আলাদা ধারণা ব্যবহার করে?
উত্তর:
জ্যামিতিক প্রমাণের জন্য আমার এখানে আরও একটি ধারণা ছিল। এটি প্রজেক্টিভ জ্যামিতিটি একটি প্রয়োজনীয় পদ্ধতিতে ব্যবহার করে।
যাক hypersurface বাইরে অ্যাফিন বিন্দু হতে । কেন্দ্র হিসাবে ব্যবহার করে অনন্তের হাইপারপ্লেনের উপর হাইপারসারফেসটি প্রজেক্ট করুন ; এটি হ'ল প্রতিটি উপরে ম্যাপ করুন, অনন্তরে হাইপারপ্লেনের সাহায্যে এবং দিয়ে অনন্য লাইনের ছেদ করুন । অধীনে preimages অনন্ত এ একটি বিন্দু একই লাইনে সব মিথ্যা, সেইজন্য এবং (আবার মাত্রা 1 থেকে সমস্যা হ্রাস) সবচেয়ে আছে তাদের। অনন্তের হাইপারপ্লেনের কার্ডিনালিটি থাকে, সুতরাং আমরা পরিচিত উপরের আবদ্ধ। S c x ∈ S p ( x ) c x p d | এফ মি - 1 | | এস | ≤ d | এফ মি - 1 |
পার ভোগেনসনের উত্তরের অনুসরণ হিসাবে, ডানা মোশকভিত্জের প্রমাণ ইতিমধ্যে শোয়ার্জ-জিপ্পেল লেমার সামান্য দুর্বল সংস্করণের জন্য একটি খুব সহজ প্রমাণের প্রস্তাব দিয়েছে যা আমার ধারণা, বেশিরভাগ অ্যাপ্লিকেশনের পক্ষে যথেষ্ট।
যাক ডিগ্রী একটি অশূন্য বহুপদী হতে , যেখানে আদেশের একটি নির্দিষ্ট ক্ষেত্র , এবং দিন বিন্দু যেমন । আছে অনেক স্বতন্ত্র লাইনের মাধ্যমে ক্ষণস্থায়ী যেমন যে তারা পার্টিশন । এর সীমাবদ্ধতা এই লাইন প্রতিটি একটি ডিগ্রী univariate কারণ এটি এ অশূন্য হয়, বহুপদী, যা অশূন্য হয় , এবং তাই, সর্বাধিক হয়েছে শূন্য। সুতরাং, এর শূন্যের মোট সংখ্যা ঘ এফ কুই এক্স ∈ এফ এন এফ ( এক্স ) ≠ 0 ( কুই এন - 1 ) / ( কুই - 1 ) x এফ এন - { এক্স } চ ঘ এক্স ঘ চ ঘ ( কুই এন - 1 ) / ( q - 1 ) d q n সর্বাধিক । শোয়ার্জ-Zippel তুলনা জন্য, দেয় শক্তিশালী উপরের বাউন্ড ।
এই প্রমাণের স্বাচ্ছন্দ্য দেওয়া, আমি নিশ্চিত এটি লোককাহিনী; যদি না হয়, এটি হওয়া উচিত :) যদি কেউ কোনও রেফারেন্স সরবরাহ করতে পারে তবে আমি প্রশংসা করব।
মোশকভিটসের প্রমাণ সাধারণ জ্যামিতির উপর ভিত্তি করে তবে কাগজটি সে সম্পর্কে খুব বেশি পরিষ্কার নয়। এই ধারণাটি এখানে:
ভেরিয়েবলগুলিতে একটি ডিগ্রি বহুবর্ষীয় একটি হাইপারসারফেসকে কেটে দেয় । হাইপারসার্ফেস এবং একটি স্বতন্ত্র রেখার ছেদ (অর্থাৎ ছেদটি পুরো লাইন নয়) সর্বাধিক ডি পয়েন্ট থাকে। হাইপারসফেসের চেয়ে সর্বত্র স্বতন্ত্র কোনও দিক আপনি যদি খুঁজে পেতে পারেন তবে আপনি direction সেই দিকের সমান্তরাল রেখাগুলি দ্বারা ফলিত করতে এবং প্রতিটি লাইনের মধ্যে ছেদগুলি গণনা করতে পারেন। ফলিশনটি দিকের অর্থোগোনাল পরিপূরক দ্বারা প্যারামিটারাইজড হয়, যা হাইপারপ্লেন আইসোমর্ফিক থেকে , সুতরাং across এর সবকটিতে হাইপারসফেস পয়েন্টের মোট সংখ্যা সর্বাধিক is ।এম এফ এম এফ এম এফ এম - 1 ফ এম ডি | এফ | মি - 1
এটি প্রস্তাব দেয় যে অনুরূপ লাইন বরাবর অন্যান্য প্রমাণ কাজ করতে পারে।
সম্পাদনা: অর্ণবের প্রমাণ কীভাবে মোশকভিত্জের সাথে সম্পর্কিত তা নিয়ে আমি কিছুটা বলতে চাই। তিনি হাইপারসফেসের বাইরে একটি পয়েন্ট নেন এবং সেই বিন্দুটির মধ্য দিয়ে লাইনগুলির পেন্সিল বিবেচনা করেন। মোশকভিত্জ সমান্তরাল লাইনের একটি পরিবারকে বিবেচনা করে। এটি অন্যরকম মনে হলেও সত্যই এটি একই জিনিস! সমান্তরাল পরিবার হ'ল অসীমের বিন্দুর মধ্য দিয়ে লাইনের পেন্সিল। অর্ণবের বীজগণিতটি ভারব্যাটিম প্রয়োগ করে যদি আপনি প্রথম বহুবচনটির সমজাতীয় হন এবং ডাব্লু এ প্লাগ করে অনন্তের হাইপারপ্লেনের মধ্যে সীমাবদ্ধ করেন , যা সমস্ত অ-নেতৃত্বাধীন পদগুলি মুছে ফেলে।
সম্পাদনা করুন: নতুন (তবে সম্পূর্ণ সম্পর্কিত নয়) প্রমাণের জন্য আমার অন্য উত্তরটি দেখুন।
আপনি কি অরোরা / বারাকের বইয়ের লেমা এ.36 (পৃষ্ঠা 529) দেখেছেন ? এটি প্রায় অর্ধেক পৃষ্ঠা, এবং অন্তর্ভুক্তির উপর ভিত্তি করে।
আপনার যদি বইটিতে অ্যাক্সেস না থাকে তবে আমি এখানে প্রমাণটি সম্পাদন করতে পারি।
শোয়ার্জ-জিপ্পেল লেমার কৌতূহল ইতিহাস সম্পর্কে কী ? অন্যগুলির মধ্যে এটি ডিমিলো-লিপটনের কাগজটি উদ্ধৃত করে যা ১৯ 1977 সাল থেকে শুরু হয়েছিল Several
নিম্নলিখিত ম্যাথওভারফ্লো প্রসঙ্গটিও আগ্রহের বিষয় হতে পারে: বহুপদী পরিচয় পরীক্ষার জন্য পি / পলি অ্যালগরিদম ।
শোয়ার্টজ-জিপ্পেল লেমা হ'ল নোগা অ্যালোন এবং জোল্টান ফেরাদির একটি উপপাদকের একটি বিশেষ কেস যা এই কাগজের ৪ নং বিভাগে দেখানো হয়েছে: একটি ফিনিট গ্রিডে পলিনোমিয়ালের জেরোসের উপর , এবং সেই কারণে এই উপপাদ্যের যে কোনও নতুন প্রমাণ শোয়ার্জের নতুন প্রমাণ দেয় -Zippel। এখন পর্যন্ত, আমি ছয়টি পৃথক প্রমাণ জানি, যার মধ্যে দুটি কাগজে প্রদর্শিত হয় এবং অন্যগুলি সেখানে উল্লেখ করা হয়।
অ্যালন-ফুরেডি উপপাদ্যটি নিম্নরূপ বলেছেন:
যাক একটি ক্ষেত্র হতে যাক একটি নির্দিষ্ট গ্রিড হবে | এমন একটি বহুপদী হতে যা তে অভিন্ন অদৃশ্য হয় না । তারপর জন্য অন্তত উপাদান , যেখানে ন্যূনতম সব ধনাত্মক পূর্ণসংখ্যা অধিগৃহীত হয় সঙ্গে ।এ = ∏ এন আই =
এতে যদি আপনি ধরে এবং সর্বনিম্ন কাজ করেন (যা কাগজে উল্লিখিত বিনের জিনিসপত্রগুলিতে সহজেই ব্যবহার করা যেতে পারে), তবে আপনি কোনও ক্ষেত্রের উপরে শোয়ার্জ-জিপ্পেল লেমা পেতে পারেন (বা একটি ডোমেইন).
শোয়ার্জ-জিপ্পেল লেমার মূল সূত্রটি শুধুমাত্র ক্ষেত্রগুলিতে প্রযোজ্য:
লেমা (শোয়ার্জ, জিপ্পেল)।
যাক হতে একটি নন-জিরো মোট ডিগ্রী বহুপদী একটি ক্ষেত্র, ওভার । যাক একটি সসীম উপসেট হতে দিন থেকে স্বাধীনভাবে অবিশেষে এলোমেলোভাবে নির্বাচিত করা । তারপরে
কেউ লেমাকে এমনভাবে সংস্কার করতে পারে যে এটি স্বেচ্ছাসেবী পরিবহণের রিংয়ের জন্য অর্থবোধ করে:
লেমা (জেবেক)।
যাক একটি নন-জিরো মোট ডিগ্রী বহুপদী হতে একটি বিনিময় রিং ধরে । যাক একটি সসীম উপসেট হতে সঙ্গে দিন থেকে স্বতন্ত্র এবং অভিন্নভাবে এলোমেলোভাবে নির্বাচন করা হবে । তারপরে এস পি [ পি ( আর 1 , আর 2 , … , আর এন ) = 0 ] ≤ d
উইকিপিডিয়া থেকে প্রাপ্ত প্রমাণের সুবিধাটি হ'ল এটি সাধারণভাবে প্রমাণিত করে যে সংশোধনীটি যথেচ্ছ পরিবহণের রিংয়ের ক্ষেত্রে সত্য, যা এখানে এমিল জেবেক লক্ষ্য করেছেন এবং কার্যকর করেছেন ।
এটি সাধারণ আঞ্চলিক রিংগুলির জন্য সংস্কার প্রমাণ করে এবং ক্ষেত্রের একটি প্রতীক হিসাবে সাধারণ সূত্র গ্রহণের মাধ্যমে শোয়ার্জ-জিপ্পেল লেমার বিকল্প প্রমাণ দেয়।