حسابان کا بنیادی قضیہ رشتہ بتاتا ہے احصا کے دو مرکزی عالجوں کے درمیان: تفریقی اور تکامل۔ قضیہ کا پہلا حصہ بتاتا ہے کہ کہ غیرواضح تکامل[1] کو تفریق کے ذریعہ الٹایا جا سکتا ہے۔ پہلا حصہ اس لیے بھی اہم ہے کیونکہ یہ استمری فنکشن کے مشتق شکن کے وجود کی ضمانت دیتا ہے۔[2]

Topics in Calculus

Fundamental theorem
Limits of functions
Continuity
Mean value theorem

دوسرا حصہ کسی فنکشن کے لامتناہی مشتق شکنوں کی مدد سے فنکشن کے واضح تکامل کی شمارندی کرنے کی سبیل فراہم کرتا ہے۔ اطلاقیہ میں یہ حصہ اس لیے بہت فائدہ مند ہے کیونکہ یہ واضح تکامل کی شمارندی نمایاً آسان بناتا ہے۔

پہلی بار ثبوت کے ساتھ ابتدائی ہیئت میں یہ قضیہ جیمز گریگری نے شائع کیا۔[3] اس کے بعد اسحاق بارو اور بالآخر حسابان کی ترقی کے ساتھ لائبنز اور نیوٹن نے پیش کیا۔

طبیعیاتی وجدان ترمیم

وجدانی طور پر، اس قضیہ کا سادہ بیان ہے کہ مقدار میں وقت (یا کسی اور مقدار) کے ساتھ صغاریہ تبدیلیوں کا حاصل جمع برابر ہوتا ہے مقدار میں خالص تبدیلی کے ۔

سیدھی لکیر میں سفر کرتے ذرہ کے مقام x کو وقت t کے دالہ کے طور پر x(t) لکھا جاتا ہے، یعنی وقت t پر ذرہ کا مقام x(t) ہے۔ اس فنکشن کا مشتق برابر ہے مقام میں صغاریہ تبدیلی dx جو وقت کے صغاریہ وقفہ dt میں رونما ہوتی ہے (مشتق خود بھی وقت کا تابع ہے)۔ اس ہٹاو میں تبدیلی فی "وقت میں تبدیلی" ذرہ کی سمتار v ہے۔ لائیبنز کی علامت میں:

 

یعنی سمتار v مشتق ہے مقام x(t) کا۔

اس مساوات کو نئی مرتب سے لکھ کر، پتہ چلتا ہے کہ

 

اوپر کی منطق سے، x میں تبدیلی (یا Δx) حاصل جمع ہے صغاریہ تبدیلیوں dx کی۔ یہ مشتق اور وقت کے صغاریہ حاصل اضراب کی حاصل جمع کے برابر بھی ہے۔ یہ لامتناہی حاصل جمعائی ہے "تکامل": لہذا تکامل عالج اصل فنکشن کو اس کے مشتق سے حاصل کرنے کو ممکن بناتا ہے۔ نتیجہ نکالا جا سکتا ہے ہے کہ یہ عمل الٹا بھی چلتا ہے؛ تکامل کے نتیجہ کو تفریق کر کے اصل فنکشن کو حاصل کیا جا سکتا ہے۔

رسمی بیانات ترمیم

حسابان کے بنیادی قضیہ کے دو حصے ہیں۔ پہلا حصہ مشتق شکن کے مشتق سے معاملہ کرتا ہے اور دوسرا حصہ مشتق شکن اور واضح تکامل کے رشتہ سے معاملہ کرتا ہے۔

پہلا حصہ ترمیم

اس حصہ کو بعض اوقات حسابان کا پہلا بنیادی قضیہ کہا جتا ہے۔[4]

حقیقی قدر فنکشن F بند وقفہ [ab] پر تعریف ہوتی ہے، وقفہ [ab] میں تمام x کے لیے، یوں

 

جہاں ƒ حقیقی قدر استمری فنکشن ہے وقفہ [ab] پر۔ پھر F استمری ہو گی وقفہ [ab] پر اور کھلے وقفہ (ab) پر تفریقی اور مزید

 

وقفہ (ab) میں تمام x کے لیے۔

دوسرا حصہ ترمیم

اس حصہ کو بعض اوقات حسابان کا دوسرا بنیادی قضیہ کہا جاتا ہے۔[5]

چلو بند وقفہ [ab] پر ƒ حقیقی-قدر فنکشن ہو جو اپنا مشتق شکن F رکھتا ہو وقفہ [ab] پر،

 

اگر ƒ وقفہ [ab] پر قابلِ تکامل ہو تو

 

یہاں فنکشن ƒ کے استمری ہونے کی شرط نہیں۔

جب مشتق شکن F وجود رکھتا ہو، تو ƒ کے لامتناہی مشتق‌شکن ہوتے ہیں، جو F میں تعسّفی دائم جمع کرنے سے حاصل ہوتے ہیں (جو تفریق میں گُم جاتا ہے)۔ قضیہ کے پہلے حصہ کی رُو سے ƒ کے مشتق شکن ہمیشہ وجود رکھتے ہیں جب ƒ استمری ہو۔

  1. More exactly, the theorem deals with تکامل with variable upper limit and arbitrarily selected lower limit. This particular kind of definite integration allows us to compute one of the infinitely many مشتق شکن of a function (except for those which do not have a zero). Hence, it is almost equivalent to مشتق شکن, defined by most authors as an operation which yields any one of the possible antiderivatives of a function, including those without a zero.
  2. Michael Spivak (1980)، Calculus (2nd ایڈیشن)، Houstan, Texas: Publish or Perish Inc. 
  3. See, e.g., Marlow Anderson, Victor J. Katz, Robin J. Wilson, Sherlock Holmes in Babylon and Other Tales of Mathematical History, Mathematical Association of America, 2004, "james+gregory"+"fundamental+theorem"&sig=6xDqL0oNAhWw66IqPdI5fQX7euA p. 114.
  4. Apostol 1967, §5.1
  5. Apostol 1967, §5.3