What is Infinitesimal: Definition and 142 Discussions
In mathematics, an infinitesimal or infinitesimal number is a quantity that is closer to zero than any standard real number, but that is not zero. The word infinitesimal comes from a 17th-century Modern Latin coinage infinitesimus, which originally referred to the "infinity-th" item in a sequence.
Infinitesimals do not exist in the standard real number system, but they do exist in other number systems, such as the surreal number system and the hyperreal number system, which can be thought of as the real numbers augmented with both infinitesimal and infinite quantities; the augmentations are the reciprocals of one another.
Infinitesimal numbers were introduced in the development of calculus, in which the derivative was first conceived as a ratio of two infinitesimal quantities. This definition was not rigorously formalized. As calculus developed further, infinitesimals were replaced by limits, which can be calculated using the standard real numbers.
Infinitesimals regained popularity in the 20th century with Abraham Robinson's development of nonstandard analysis and the hyperreal numbers, which, after centuries of controversy, showed that a formal treatment of infinitesimal calculus was possible. Following this, mathematicians developed surreal numbers, a related formalization of infinite and infinitesimal numbers that includes both hyperreal numbers and ordinal numbers, which is the largest ordered field.
The insight with exploiting infinitesimals was that entities could still retain certain specific properties, such as angle or slope, even though these entities were infinitely small.Infinitesimals are a basic ingredient in calculus as developed by Leibniz, including the law of continuity and the transcendental law of homogeneity. In common speech, an infinitesimal object is an object that is smaller than any feasible measurement, but not zero in size—or, so small that it cannot be distinguished from zero by any available means. Hence, when used as an adjective in mathematics, infinitesimal means infinitely small, smaller than any standard real number. Infinitesimals are often compared to other infinitesimals of similar size, as in examining the derivative of a function. An infinite number infinitesimals are summed to calculate an integral.
The concept of infinitesimals was originally introduced around 1670 by either Nicolaus Mercator or Gottfried Wilhelm Leibniz. Archimedes used what eventually came to be known as the method of indivisibles in his work The Method of Mechanical Theorems to find areas of regions and volumes of solids. In his formal published treatises, Archimedes solved the same problem using the method of exhaustion. The 15th century saw the work of Nicholas of Cusa, further developed in the 17th century by Johannes Kepler, in particular calculation of area of a circle by representing the latter as an infinite-sided polygon. Simon Stevin's work on decimal representation of all numbers in the 16th century prepared the ground for the real continuum. Bonaventura Cavalieri's method of indivisibles led to an extension of the results of the classical authors. The method of indivisibles related to geometrical figures as being composed of entities of codimension 1. John Wallis's infinitesimals differed from indivisibles in that he would decompose geometrical figures into infinitely thin building blocks of the same dimension as the figure, preparing the ground for general methods of the integral calculus. He exploited an infinitesimal denoted 1/∞ in area calculations.
The use of infinitesimals by Leibniz relied upon heuristic principles, such as the law of continuity: what succeeds for the finite numbers succeeds also for the infinite numbers and vice versa; and the transcendental law of homogeneity that specifies procedures for replacing expressions involving inassignable quantities, by expressions involving only assignable ones. The 18th century saw routine use of infinitesimals by mathematicians such as Leonhard Euler and Joseph-Louis Lagrange. Augustin-Louis Cauchy exploited infinitesimals both in defining continuity in his Cours d'Analyse, and in defining an early form of a Dirac delta function. As Cantor and Dedekind were developing more abstract versions of Stevin's continuum, Paul du Bois-Reymond wrote a series of papers on infinitesimal-enriched continua based on growth rates of functions. Du Bois-Reymond's work inspired both Émile Borel and Thoralf Skolem. Borel explicitly linked du Bois-Reymond's work to Cauchy's work on rates of growth of infinitesimals. Skolem developed the first non-standard models of arithmetic in 1934. A mathematical implementation of both the law of continuity and infinitesimals was achieved by Abraham Robinson in 1961, who developed nonstandard analysis based on earlier work by Edwin Hewitt in 1948 and Jerzy Łoś in 1955. The hyperreals implement an infinitesimal-enriched continuum and the transfer principle implements Leibniz's law of continuity. The standard part function implements Fermat's adequality.
Vladimir Arnold wrote in 1990:
Nowadays, when teaching analysis, it is not very popular to talk about infinitesimal quantities. Consequently present-day students are not fully in command of this language. Nevertheless, it is still necessary to have command of it.
Quick two questions:
(a) In the hyperreals, is 0 considered an infinitesimal?
(b) Does a monad include the real number?
I seem to get contradictory answers in the Internet.
Thanks.
Some sources state a similar format of the following
$$\int_a^{a+da}f(x)dx=f(a)da$$
Which had me thinking whether the following integration can exist
$$\int_a^{a+dx}f(x)dx=f(a)dx$$
I have difficulty grasping some aspects about these integrations
1. Regarding the 1st integration, shouldn't ##a##...
I've been told that the infinitesimal change in coordinates x and y as you rotate along a hyperbola that fits the equation b(dy)^2-a(dx)^2=r takes the form δx=bwy and δy=awx, where w is a function of the angle of rotation (I'm pretty sure it's something like sinh(theta) but it wasn't clarified...
I need to prove that under an infinitesimal coordinate transformation ##x^{'\mu}=x^\mu-\xi^\mu(x)##, the variation of a vector ##U^\mu(x)## is $$\delta U^\mu(x)=U^{'\mu}(x)-U^\mu(x)=\mathcal{L}_\xi U^\mu$$ where ##\mathcal{L}_\xi U^\mu## is the Lie derivative of ##U^\mu## wrt the vector...
Hello everyone!
I was wondering about this physics problem.
First example:
If a rocket is traveling in a straight line continuously in uniform motions from position 0 to position 1000 in 10 seconds then it will move through an infinite number of points.
Since it is always changing position...
Hello.
I read about smooth infinitesimal analysis and I have several questions:
1.What does "ε.1" and "ε.0" mean in this proof? (photo1) (https://publish.uwo.ca/~jbell/basic.pdf , page 5-6)
2. For what purpose do we use Kock-Lawvere axiom when we deal with law of excluded middle? (photo2)...
Hello.
How to prove that in smooth infinitesimal analysis every function on R is continuous? (Every function whose domain is R, the real numbers, is continuous and infinitely differentiable.)
Thanks.
Hello.
Let's assume that we have ##2x \Delta x + \Delta x^2##. When ##\Delta x## tends to zero we can neglect ##\Delta x^2## and we'll get ##2xdx##.
Let's assume that we have ##x + x^2##. When ##x## tends to zero we can neglect ##x^2##. Will we get an infinitesimal ##x## as such as ##dx##?
Thanks.
Hello everyone!
I have quite a bit of experience with standard calculus methods of differentiation and integration, but after seeing some of Walter Lewin's lectures I noticed in his derivation of change in momentum for a rocket ejecting a mass dm, with a change in velocity of the rockey dv, he...
I don't know where to start. I understand that the constraint ##ad-bc=1## gives us one less parameter since ##d=1+bc/a##. So we can rewrite our original function. I know how to compute the generators of matrix groups but in this case the generators will be functions. I also know there should be...
chapter 4.8 of Goldstein’s classical mechanics 3rd edition that deals with infinitesimal rotations, and the following is the part I got stuck:
(p.166~167) :
I'm not able to understand what the author is trying to say. How does "If ##d\boldsymbol{\Omega}## is to be a vector in the same sense...
Can anybody please help me to understand that why under infinitesimal rotation ##x1## transforms in the way as shown in equation 4-100?
This is from Goldstein's Classical Mechanics page chapter 5 and page 168 on the Kinematics of Rigid body motion.
Over the years the following has continued to be my biggest question in Cosmology.
In the past couple of years I wondered if we have got any closer to understanding whether our space is infinite or infinitesimal? (By infinitesimal I mean that there is no lower limit to the minimum separation of...
I have studied in high school that all chemical reactions obey conservation of mass, as the atoms are merely re-arranged, but when I read through special relativity, I was reading that you can show an infinitesimal change in mass (based on E=mc2) in combustion that's not noticeable that's being...
I would like to determine how a point (xo,yo,zo) moves along a geodesic on a three dimensional graph when it initially starts moving in a direction according to a unit vector <vxo,vyo,vzo>. So, if I start at that point, after a very small amount of time, what is its new coordinate (x1,y1,z1) and...
and
But
The infinitesimal translation denoted by equ 1.6.12 and 1.6.32
And then i understand about equation 1.6.35 but equation 1.6.36
Why they take limit N go to inf ? , multiply 1/ N ? and power N ?
So is the relationship below still true?
## F(Δ x'\hat{x}) = 1 - \frac{i p_x \dot{} Δ...
While reading Kleppner's book, I came across the question above whose solution given by an answer book, is shown below.
I wrote out an equation for inward force and another equation for horizontal forces:
$$\begin{cases}
f_{\Delta \theta}=\mu N=\mu \frac{\Delta\theta} 2 (T+T'),\text{ where T'...
I had a question from the magnetic dipole thread that was posted earlier today, but it's a bit more mundane. The torque on a magnetic dipole, using a right handed cross product is ##\vec{\tau} = \vec{\mu} \times \vec{B}##. The work done during a rotation is $$W = \int \vec{F} \cdot d\vec{r} =...
Hi
I am using Kleppner and it states that finite rotations do not commute but infinitesimal rotations do commute. I follow the logic in the book but i don't understand the concept. Surely a finite rotation consists of many , many infinitesimal rotations and if they commute why doesn't the finite...
I kinda know how to do this problem, it is just that I hit a sign problem. If I take the partial derivative of the coordinate transformation with respect to ##x'^\mu##, I get
writing it first in the inverse form, ##x^\alpha = x'^\alpha - \epsilon^\alpha##
##\frac{\partial x^\alpha}{\partial...
I have the function: ##\sqrt{\left(\frac{x}{h}+1\right)^{2}+\left(\frac{y}{h}\right)^{2}}-\sqrt{\left(\frac{x}{h}\right)^{2}+\left(\frac{y}{h}\right)^{2}}##
I would like to find an analytical solution, the equivalent function, in the limit of h approaching zero.Additional info which might be...
If I calculate ## <\psi^0|\epsilon|\psi^0>## and ## <\psi^0|-\epsilon|\psi^0>## separately and then add, the correction seems to be 0 since ##\epsilon## is a constant perturbation term.
SO how should I approach this? And how the Δ is relevant in this calculation?
I know the area of a thin ring of radius ##r## can be expressed as ##2\pi rdr##, however, I wonder if I use the usual way of calculating area of a ring, can I reach the same conclusion? I got this:
$$4\pi(r+dr)^2-4\pi r^2=4\pi r^2+8\pi rdr+4\pi (dr)^2-4\pi r^2=8\pi rdr+4\pi (dr)^2$$And now I'm...
This question is about 2-d surfaces embedded inR3It's easy to find information on how the metric tensor changes when $$x_{\mu}\rightarrow x_{\mu}+\varepsilon\xi(x)$$
So, what about the variation of the second fundamental form, the Gauss and the mean curvature? how they change?
I found some...
I have a question about inertia (as in mass and Newton's first law) being extremely small. Now, say the inertia of an object is, say, 0.00000000000000000000005 kilograms, or something like that. Would a light, weak force exerted on the object accelerate the object to high speeds, or would it...
Looking into the infinitesimal view of rotations from Lie, I noticed that the vector cross product can be written in terms of the generators of the rotation group SO(3). For example:
$$\vec{\mathbf{A}} \times \vec{\mathbf{B}} = (A^T \cdot J_x \cdot B) \>\> \hat{i} + (A^T \cdot J_y \cdot B)...
From my interpretation of this problem (image attached), the force applied to the point charge is equal and opposite to the repulsive Coulomb force that that point charge is experiencing due to the presence of the other point charge so that the point charge may be moved at a constant velocity. I...
This is a two part question. I will write out the second part tomorrow.
I will be referring to pages 258-263 in Goldstein (1965) about infinitesimal transformations.
Eqn 8-66 specifies that δu=ε[u,G], where u is a scalar function and G is the generator of the transform. How do I find the...
Homework Statement
attached:
Homework Equations
where ##J_{yz} ## is
The Attempt at a Solution
[/B]
In a previous question have exponentiated the generator ##J_{yz}## to show it is the generator of rotation around the ##x## axis via trig expansions
so ##\Phi(t,x,y,z) \to \Phi(t,x,y cos...
So for a story I'm writing, there is a character with the ability to absorb force and store it (the force never impacts but its absorption works like pausing a movie). The force can be released (or resumed) through use of a circular space called a "rune". The character can control the size/area...
With FIXED SOURCE AND RECEIVER, I have a light incident from fluid 1 with velocity v1 into fluid 2 with velocity v2. Obviously, according to Snell's law, v1/v2=sin(alpha1)/sin(alpha2), where alpha1 and alpha2 are the angles with regard to the vertical line.
My question is: how to calculate...
I'm studing classical physics and I'm stuck with the simple pressure formula defined as:
P=\frac{dF_{\perp }}{dS}
Now, i know some calculus and the concept of infinitesimal in physics; however what i don't understand is :
1) according with the fact that in Calculus dF_{\perp } represent an...
I am working through Lessons in Particle Physics by Luis Anchordoqui and Francis Halzen. The link is https://arxiv.org/PS_cache/arxiv/pdf/0906/0906.1271v2.pdf. I am on page 21. Between equations (1.5.53) and (1.5.54), the authors make the following statement:
##S^\dagger ( \Lambda ) = \gamma ^0...
Hi.
Usually the law of the lever or similar force laws for simple machines are derived using
$$W_1=F_1\cdot s_1=F_2\cdot s_2=W_2\enspace,$$
sometimes called "Golden Rule of Mechanics". However, these force laws also hold in the static case where no work is done. Is it possible to derive the law...
In physics we often use objects with infinitesimal volume. An example is the infinitesimal volumes that we use to calculate the electrostatic field knowing the charge distribution.
Very often in the books i studied these infinitesimal elements are represented as infinitesimal cubes.
My question...
Hi,
I'm not sure about where I should post this question, so sorry in advance if I posted it in the wrong place.
My question is basically this screenshot. So I really have some difficulty in understanding the two equations. I mean how can it not be equal? I understand that rotations are...
<Moderation note: edited LaTex code>
E.g. A rotation by a finite angle θ is constructed as n consecutive rotations by θ/n each and taking the limit n→∞.
$$
\begin{pmatrix}
x' \\
y' \\
\end{pmatrix} =\lim_{x \to \infty} (I + \frac{\theta}{n} L_z )^n
\begin{pmatrix}
x...
I notice that in Quantum Mechanics when extending an infinitesimal operation to a finite one, we should end with the exponential. For example: (rf. Sakurai, Modern Quantum Mechanics)
$$
D(\boldsymbol{\hat n}, d\phi) = 1 - \frac{i}{\hbar} ( \boldsymbol {J \cdot \hat n})d\phi
$$
This is the...
Background: mechanical engineer with a flawed math education (and trying to make up for it).
I have recently read this statement (and others like it): "We shall also informally use terminology such as "infinitesimal" in order to avoid having to discuss the (routine) "epsilon-delta" analytical...
The Cauchy stress tensor at a material point is usually visualized using an infinitesimal cube. The stress vectors (traction vectors) on opposite sides of the cube are equal in magnitude and opposite in direction. As a result, the infinitesimal cube is in equilibrium.
However, when we derive...
I am trying to determine what types of field theories have a Lagrangian that is symmetric under an Infinitesimal acceleration coordinate transformations.
Does an infinitesimal generator of acceleration exist?
How could I go about constructing this matrix?
Hey guys! I have heard of this concept in various places and sort of understands what it attempts to do. Can anybody please explain it to me in more detail like how it works, how to notate it, and how to expand it to infinities and infinitesimals. Thanks in advance!
Aakash Lakshmanan
xphysx.com...
Homework Statement
Given the wave function of a particle \Psi(x,0) = \left(\frac{2b}{\pi}\right)^{1/4}e^{-bx^2} , what is the probability of finding the particle between 0 and \Delta x , where \Delta x can be assumed to be infinitesimal. Homework EquationsThe Attempt at a Solution
I proceed...
Is space infinitesimal?
By this I mean can it be divided an unlimited number of times?
If we take a 1m ruler and divide it in 2 and we get a 50cm ruler
How many times can we keep doing this? (disregard that the ruler is made of atoms)
So for many years I have been told that the limit is the...
I've always thought of dxat the end of an integral as a "full stop" or something to tell me what variable I'm integrating with respect to.
I looked up the derivation of the formula for volume of a sphere, and here, dx is taken as an infinitesimally small change which is multiplied by the area of...
Homework Statement
Show that an infinitesimal boost by v^j along the x^j-axis is given by the Lorentz transformation
\Lambda^{\mu}_{\nu} =
\begin{pmatrix}
1 & v^1 & v^2 & v^3\\
v^1 & 1 & 0 & 0\\
v^2 & 0 & 1 & 0\\
v^3 & 0 & 0 & 1
\end{pmatrix}
Show that an infinitesimal rotation by theta^j...
We know, that the infinitesimal area element in Cartesian coordinate system is ##dy~dx## and in Polar coordinate system, it is ##r~dr~d\theta##. This inifinitesimal area element is calculated by measuring the area of the region bounded by the lines ##x,~x+dx, ~y,~y+dy## (for polar coordinate...
Homework Statement
[/B]
A Lorentz transformation ##x^{\mu} \rightarrow x'^{\mu} = {\Lambda^{\mu}}_{\nu}x^{\nu}## is such that it preserves the Minkowski metric ##\eta_{\mu\nu}##, meaning that ##\eta_{\mu\nu}x^{\mu}x^{\nu}=\eta_{\mu\nu}x'^{\mu}x'^{\nu}## for all ##x##. Show that this implies...