යුනිකෝ ගැන මතකය

කැල්කියුලස්: චලනයෙන් අවකාශයේ ජ්‍යාමිතියට, එතැනින් විශ්වයේ ගණිතමය භාෂාවට

Calculus: From the Paradoxes of Motion to the Mathematical Language of the Universe

මිනිසා තම අවට ලෝකය තුළ සිදුවන නානාප්‍රකාර වෙනස්වීම, අතිශය මනසට අගෝචර අනන්තය සහ අවකාශය තේරුම් ගැනීමට දැරූ වසර දෙදහසකට වැඩි ගණිතමය උත්සාහයේ කතාවයි මේ. ග්‍රීක ප්‍රහේලිකාවල සිට නූතන භෞතික විද්‍යාව හරහා නූතන විශ්මය වන AI දක්වා, සෑම ප්‍රධාන පියවරක්ම එය විසඳීමට උත්සාහ කළ ගැටලුව සමඟ බලමු. මෙය අතිශය සරල කළ සමස්තයෙන් කොටසකි. 

චලනය සහ Zeno ගේ ප්‍රහේලිකාව

කිලෝමීටර් 20ක් පැය භාගයකින් ගමන් කළ මෝටර් රථයක සාමාන්‍ය වේගය 40 km/h යි. එහෙත් නිශ්චිත මොහොතක වේගය කීයද? මේ ගැටළුව අපි සාමන්‍ය පෙළ විද්‍යාව විශයේ සිට උසස් පෙළ දක්වා චලිතය ගැන කතා කරද්දී පැන නැගුණු ගැටළුවකි. නමුත් චලිතය පිළිබඳ කුතුහලය වසර දහස්ගනණක් පැරණිය. 

පුරාණ ග්‍රීසියේ Zeno චලනය හා අනන්ත බෙදීම පිළිබඳ ප්‍රහේලිකා ඉදිරිපත් කළේ මෙවැනි ගැටලුවල පසුබිමකයි. ඔහු ගෙන ආ ගැටළුව වඩාත් ප්‍රබන්ධාත්මක වුව ද එය වර නගන්නේ සීමාවක් පිළිබඳ අදහසකි. 

Achilles වේගයෙන් ගමන් කරන්නෙකි. ඔහුට වඩා මීටර් සීයක්  ඉදිරියෙන් ඉබ්බා තබා ඉබ්බාට වාසිදායක ලෙස මෙම චිත්ත පරීක්ෂණය සකසා ඇත්තේ වඩාත් සංකීර්ණ අවස්ථාවක් නිර්මාණය කරනු පිණිසය. 

 Achilles තත්පරයකට මීටර් 10ක් සහ ඉබ්බා මීටර් 1ක් ගමන් කරන විට, ඉබ්බාට මීටර් 100ක ඉදිරියක් තිබුණත් Achilles අවසානයේ ඔහු අල්ලාගනී. නූතන ගණිතයෙන් එම කාලය අනන්ත ශ්‍රේණියක් ලෙස ලිවිය හැකියි. ගණිතමය අවශ්‍යතාවය වන්නේ Achilles හට මුලින්ම ඉබ්බාගේ පිහිටුම යාමට ගතවන කාලය තුළ ඉබ්බා ද ඉදිරියට ගමන් කරන දුර නැවතත් Achilles හට තරණය කරන්නට සැලැස්වීමයි. දුර ප්‍රමාණය එන්න එන්න අඩු වුවත් සහ ඒ අමතර දුරවල් තරණය කිරීමට ගතවන කාලය ක්‍රමක්‍රමයෙන් අඩු වුවත් කවදාවත් මේ ක්‍රියාදාමය නොනවතී යැයි අපට සිතේ. 

t = 10 + 1 + 0.1 + 0.01 + … = 100/9 ≈ 11.111 s

මෙම ශ්‍රේණියේ අනන්ත පද ගණනක් තිබීම එකතුව අනන්ත විය යුතු බව බැලු බැල්මට අපට හැඟෙයි. එහි එකතුව කිසියම් අගයක් කරා ක්‍රමයෙන් සහ සෙමින් අභිසාරි වෙයි. මෙය Zeno විසින් නූතන ශ්‍රේණි න්‍යාය සොයාගත් බවක් නොව, ඔහුගේ ප්‍රශ්නයට පසුකාලීන ගණිතයෙන් ලැබෙන පිළිතුරකි. නූතන අර්ථයෙන් සීමාවකි. 

Eudoxus සහ Archimedes — වක්‍ර හැඩයක වර්ගඵලය

සෘජුකෝණාස්‍රයක වර්ගඵලය සරලයි. එහෙත් වක්‍රයකින් මායිම් වූ ප්‍රදේශයක් මැනිය හැක්කේ කෙසේද? Eudoxus ගේ exhaustion ක්‍රමය සහ Archimedes ගේ පරිමා හා වර්ගඵල සාධන, සීමාවකට ළඟාවීමේ අදහසට වැදගත් පූර්වගාමීන් වුණා. Archimedes පරාවලයක විශේෂ කොටසක වර්ගඵලය, එයට ඇතුළත් කරන ලද ත්‍රිකෝණයක වර්ගඵලයෙන් 4/3 ක් බව ඔප්පු කළා. මේ ප්‍රතිඵලය වර්තමාන කලනය ඇසුරින් ඉතාම සරලව පෙන්වා දිය හැකි වුව ද ඒ අතීතයේ මෙලෙසින්  කොටස් වශයෙන් කඩමින් කළ සාධනය අතිශය චමත්කාරජනක ගොඩනැංවීමකි. 

A(segment) = A(△) × (1 + 1/4 + 1/16 + …) = (4/3) A(△)

මෙය නූතන integral calculus නොවුණත්, සංකීර්ණ හැඩයක් කුඩා සරල කොටස් මඟින් අධ්‍යයනය කිරීමේ බලවත් ක්‍රමයකි. අද ජලාශයක ධාරිතාව හෝ අක්‍රමවත් කොන්ක්‍රීට් කොටසක පරිමාව සොයන විටත් මේ අදහස ජීවමානයි.

වටය / Round: 0

ග්‍රීසියෙන් ඔබ්බට — ඉන්දියාව සහ ඉස්ලාමීය ගණිතය

Calculus ඉතිහාසය ග්‍රීසියෙන් සෘජුව Newton වෙත ගිය කතාවක් නොවේ. Ibn al-Haytham බලයන්ගේ එකතු සහ පරිමා ගැටලු අධ්‍යයනය කළා. ඉන්දියාවේ Kerala ගණිත සම්ප්‍රදායේ Madhava සහ පසුකාලීන ගණිතඥයන් ත්‍රිකෝණමිතික ශ්‍රිත හා π සඳහා අනන්ත ශ්‍රේණි වර්ධනය කළා. උදාහරණයක් ලෙස:

π/4 = 1 − 1/3 + 1/5 − 1/7 + …

මෙම ශ්‍රේණිය ඉතා සෙමින් අභිසරණය වෙනවා. එහෙත් එය අනන්ත ක්‍රියාවලියකින් නිශ්චිත අගයක් ලබාගැනීමේ විශිෂ්ට උදාහරණයකි. මෙම සම්ප්‍රදාය Newton වෙත සෘජුව සම්ප්‍රේෂණය වූ බවට තහවුරු කළ සාක්ෂි නොමැති නිසා එවැනි නිගමනයක් නොකළ යුතුයි.

Descartes සහ Fermat — ජ්‍යාමිතිය සමීකරණයක් වීම

Descartes සහ Fermat ගේ analytic geometry මඟින් රූප සහ වීජීය සමීකරණ අතර නව සම්බන්ධතාවක් ඇති වුණා. උදාහරණයක් ලෙස පරාවලයක් සමීකරණයකින් දැක්විය හැකියි.

y = x²

dy/dx = 2x

දෙවන සමීකරණය නූතන calculus භාවිතයෙන් ලබාගන්නා ආනතියයි; Descartes එම නූතන අවකලන සංකේතය නිර්මාණය කළේ නැහැ. x = 2 හි ස්පර්ශක ආනතිය 4 යි. මාර්ගයක වක්‍රයක් හෝ යන්ත්‍රයක චලන මාර්ගයක් විස්තර කිරීමේදී coordinates සහ derivatives එකට ක්‍රියා කරන ආකාරය මෙයින් පෙනෙනවා.

Newton සහ Leibniz — වෙනස්වීම සහ එකතුව

Newton සහ Leibniz 17 වන සියවසේ calculus ස්වාධීනව ක්‍රමවත් කළා. Newton ගේ fluxions සහ Leibniz ගේ differentials අතර සංකේත හා දාර්ශනික වෙනස්කම් තිබුණා. Leibniz ගේ ∫, dx සහ dy සංකේත අදත් භාවිත වෙනවා. උදාහරණයක් ලෙස මෝටර් රථයක දුර කාලය අනුව පහත පරිදි යැයි සිතමු.

s(t) = 5t²

v(t) = lim[Δt → 0] {s(t + Δt) − s(t)}/Δt = 10t

v(2) = 20 m/s

∫₀⁴ 10t dt = 80 m

∫ₐᵇ F′(x) dx = F(b) − F(a)

මෙහි අවකලනය ක්ෂණික වේගය ලබාදෙන අතර අනුකලනය කාල පරාසයක මුළු දුර ලබාදෙයි. අවසාන සමීකරණය Fundamental Theorem of Calculus හි ප්‍රකාශනයක් වන අතර සුදුසු නිරන්තරතාව හා අවකලන හැකියාව පිළිබඳ කොන්දේසි යටතේ වලංගුයි. මෙහි limit ආකෘතිය Newton ගේ මුල් සංකල්පවලට වඩා පසුකාලීන දැඩි නිර්වචනයකි.

Euler සහ Lagrange — differential equations සහ variational calculus

Newton ගෙන් පසු calculus අවසන් වුණේ නැහැ. Bernoulli පවුල, Euler, d’Alembert සහ Lagrange විසින් mechanics, differential equations සහ calculus of variations පුළුල් කළා. Newton ගේ දෙවන නියමයම differential equation එකක් ලෙස ලිවිය හැකියි.

F = m(d²x/dt²)

S[q] = ∫ₜ₁ᵗ₂ L(q, q̇, t) dt

d/dt (∂L/∂q̇) − ∂L/∂q = 0

Variational calculus හිදී එක් අගයක් නොව සම්පූර්ණ මාර්ගයක් වෙනස් කර action stationary වන මාර්ග සොයනවා. Lagrangian L = T − V යොදා බොහෝ යාන්ත්‍රික පද්ධතිවල චලන සමීකරණ ලබාගත හැකියි. ස්වභාවධර්මය දැනුවත්ව මාර්ගයක් තෝරාගන්නවා යන අර්ථයක් මෙයට නැහැ.

Cartesian geometry සිට differential geometry දක්වා

Analytic geometry coordinates ලබාදුන්නා; calculus ආනතිය හා වක්‍රතාව ගණනය කිරීමට මඟ පෑදුවා. Euler වක්‍ර හා පෘෂ්ඨ අධ්‍යයනයට වැදගත් දායකත්ව ලබාදුන් අතර Gauss පෘෂ්ඨයක intrinsic curvature පිළිබඳ මූලික සොයාගැනීම් කළා. වෘත්තයක වක්‍රතාව එහි අරයට ප්‍රතිලෝමයි.

κ = 1/R

κ = |y″| / [1 + (y′)²]³ᐟ²

K = κ₁ κ₂

පෘථිවි ගෝලයේ මතුපිට දුර සහ කෝණ සියල්ල රැකගෙන සමතල සිතියමකට පරිවර්තනය කළ නොහැකියි. සිලින්ඩරයක Gaussian curvature ශූන්‍ය වන නමුත් ගෝලයක ධනයි. Gauss ගේ Theorema Egregium පෙන්වා දුන්නේ Gaussian curvature පෘෂ්ඨයේ අභ්‍යන්තර දුර මැනීමෙන් තීරණය කළ හැකි බවයි.

Riemann — බහුමාන අවකාශය සහ සාපේක්ෂතාවාදය

Riemann ගේ 1854 දේශනයෙන් බහුමාන අවකාශවල metric සහ curvature අධ්‍යයනයට නව පදනමක් ලැබුණා. මෙය Euclidean ත්‍රිමාණ අවකාශයෙන් ඔබ්බට යාමක්. පසුව Ricci සහ Levi-Civita ගේ tensor calculus ඇතුළු දියුණුව Einstein ගේ general relativity සඳහා භාෂාව සැපයුවා.

ds² = Σᵢⱼ gᵢⱼ dxⁱ dxʲ

Gμν + Λgμν = (8πG/c⁴) Tμν

මෙහි පළමු සමීකරණය metric එකෙන් ඉතා කුඩා දුරක් ගණනය කරන ආකාරයයි. දෙවැන්න අවකාශ-කාල වක්‍රතාව සහ ද්‍රව්‍ය-ශක්ති අන්තර්ගතය අතර සම්බන්ධතාවයි. Riemann මෙම ගණිතය Einstein සඳහා සොයාගත්තේ නැහැ; භෞතික න්‍යාය පසුව ඒ සඳහා ගැළපෙන ගණිතය භාවිත කළා.

Topology — මැනුමෙන් ඔබ්බට හැඩයේ ස්වභාවය

Differential geometry වක්‍රතාව, කෝණ සහ දුර අධ්‍යයනය කරනවා. Topology අඛණ්ඩ විකෘති කිරීමෙන් නොවෙනස් වන ගුණාංග අධ්‍යයනය කරනවා. කෝප්පයක මිටක් සහ ඩෝනට් හැඩයක සිදුරක් අතර ඇති සමානතාව ජනප්‍රිය නිදර්ශනයක්. Euler ගේ polyhedron සම්බන්ධතාව සහ Königsberg පාලම් ගැටලුව, පසුව Riemann සහ Poincaré ගේ කාර්යයන්, topology වර්ධනයට විවිධ මාර්ගවලින් දායක වුණා.

V − E + F = 2

මෙය convex polyhedra සඳහා Euler characteristic සම්බන්ධතාවයි. Topology යනු differential geometry පසුව වෙනත් නමකින් හැඳින්වීමක් නොවේ; ඒවා ස්වාධීන නමුත් එකිනෙක හමුවන විෂයයන්. Differential topology සහ algebraic topology ඒ හමුවීම්වල වැදගත් දිශාවන්.

Calculus සිට mathematical analysis දක්වා

18 සහ 19 වන සියවස්වල infinitesimals සහ limits පිළිබඳ දැඩි පදනමක් අවශ්‍ය වුණා. Bolzano, Cauchy, Weierstrass සහ අනෙකුත් ගණිතඥයන් continuity හා convergence වඩාත් නිරවද්‍ය කළා. නූතන epsilon–delta නිර්වචනය මෙසේයි.

lim[x → a] f(x) = L

∀ ε > 0, ∃ δ > 0 : 0 < |x − a| < δ ⇒ |f(x) − L| < ε

අර්ථය වන්නේ ප්‍රතිඵලයේ දෝෂය අප කැමති තරම් කුඩා කිරීමට ආදානයේ සුදුසු කුඩා පරාසයක් තෝරාගත හැකි වීමයි. Riemann integration, Lebesgue integration, measure theory සහ functional analysis පසුව මෙම පදනම් පුළුල් කළා. Hilbert spaces quantum mechanics හි ගණිතමය පදනමේ වැදගත් කොටසක් බවට පත්වුණා.

Fourier සහ Navier–Stokes — අවකාශය පුරා වෙනස්වීම

එක් වස්තුවක පිහිටීම වෙනස්වීමට වඩා තාපය, තරංග සහ ද්‍රව ප්‍රවාහය අවකාශය පුරා වෙනස් වෙනවා. Fourier ගේ තාප සමීකරණය තාපය කාලය හා ස්ථානය අනුව පැතිරෙන ආකාරය විස්තර කරනවා.

∂T/∂t = α∇²T

ρ[∂u/∂t + (u · ∇)u] = −∇p + μ∇²u + f

දෙවන සමීකරණය නියත ඝනත්වය හා දුස්ස්‍රාවිතාව සහිත incompressible Newtonian fluid එකක Navier–Stokes momentum equation එකයි. ජල ප්‍රවාහ, වායුගතිකය, කාලගුණය සහ ඉංජිනේරු පද්ධතිවල මෙවැනි ආංශික අවකල සමීරකරණ (PDE Partial Defferential Equations) භාවිත වෙනවා. එහි 3D global regularity පිළිබඳ ප්‍රශ්නය ප්‍රසිද්ධ නොවිසඳුණු ගණිත ගැටලුවක්.

Quantum mechanics සහ ක්ෂේත්‍ර න්‍යායන්

20 වන සියවසේ quantum mechanics ගොඩනැගීමේදී differential equations, complex numbers, operators සහ Hilbert spaces එකට පැමිණියා. Schrödinger සමීකරණය එහි ප්‍රසිද්ධ උදාහරණයක්.

iℏ ∂ψ/∂t = Ĥψ

මෙහි ψ wavefunction එකක් සහ Ĥ Hamiltonian operator එකයි. Quantum field theory සඳහා variational methods, gauge symmetry, differential geometry සහ topology ද වැදගත් වෙනවා. එහෙත් quantum mechanics calculus පමණකින් නිර්මාණය වූ බව නොකිය යුතුයි.

එහි ත්‍රිමාණ (3D) අවස්ථාවේ විසඳුම් සෑම කාලයකදීම සුමටව පවතින්නේද (global regularity) යන්න තවමත් නොවිසඳුණු ප්‍රසිද්ධ ගණිත ගැටලුවක්. සිත්ගන්නා කරුණ නම්, OpenAI වැනි ආයතනවල වර්ධනය වන කෘත්‍රිම බුද්ධි පර්යේෂණ අද මෙවැනි සංකීර්ණ ගණිත ගැටලු ගවේෂණය කිරීමටත්, නව ගණිතමය අදහස් හා සාධන ක්‍රම සොයාගැනීමටත් සහාය වෙමින් තිබීමයි. එහෙත් Navier–Stokes ගැටලුවට පිළිගත් සම්පූර්ණ විසඳුමක් ලැබී ඇතැයි එයින් අදහස් වන්නේ නැහැ. වසර තුන්සියයකට පෙර ආරම්භ වූ calculus විප්ලවය අද මිනිසා සහ AI එකට ගවේෂණය කරන නව ගණිතමය සීමාවන් කරා පැමිණ තිබීමම අපූරු කතාවක් නොවේද?

නොවිසඳුණු ගැටලු සහ AI

Navier–Stokes existence and smoothness සහ Yang–Mills existence and mass gap යනු ගණිතමය භෞතික විද්‍යාවේ ගැඹුරු ගැටලු දෙකක් කලින් සඳහන් කළා . ප්‍රයෝගික සාර්ථකත්වය සහ දැඩි ගණිතමය ඔප්පු කිරීම එකම දෙයක් නොවන බව මේවා පෙන්වනවා. නූතන AI හි gradient descent මඟින් දෝෂ ශ්‍රිතයක අවකලන භාවිත කර පරාමිතීන් වෙනස් කරනවා.

θₙ₊₁ = θₙ − η∇L(θₙ)

මෙහි θ පරාමිතීන්, η learning rate සහ ∇L gradient එකයි. Calculus මෙහි මූලික වුවත් linear algebra, probability, statistics සහ numerical computation ද අත්‍යවශ්‍යයි.

දාර්ශනික අවසානය — ගණිතය සොයාගැනීමක්ද, නිර්මාණයක්ද?

Zeno චලනයේ ප්‍රතිවිරෝධය ප්‍රශ්න කළා. Archimedes වක්‍ර වර්ගඵල මැනුවා. Descartes ජ්‍යාමිතිය සමීකරණයට සම්බන්ධ කළා. Newton සහ Leibniz වෙනස්වීම සහ එකතුව එකම ගණිතයකට ගෙන ආවා. Euler සහ Lagrange ගතික නීතිවල නව භාෂාවක් ගොඩනැගුවා. Gauss සහ Riemann අවකාශය පිළිබඳ අවබෝධය පුළුල් කළා. Poincaré ඇතුළු ගණිතඥයන් topology නව විෂයයක් බවට වර්ධනය කළා.

අපි ගණිතය නිර්මාණය කරනවාද, නැතහොත් විශ්වයේ දැනටමත් පවතින සම්බන්ධතා සොයාගන්නවාද? Platonism, formalism, intuitionism සහ structuralism මෙම ප්‍රශ්නයට විවිධ පිළිතුරු සපයනවා. Calculus යනු සරල ගණනය කිරීමක් පමණක් නොව, වෙනස්වීම සහ අඛණ්ඩතාව තේරුම් ගැනීමට මිනිසා ගොඩනැගූ බලවත් භාෂාවකි.

වැඩිදුර කියවීම

MacTutor — The Rise of Calculus · Stanford Encyclopedia of Philosophy — Continuity · Clay Mathematics Institute — Millennium Problems