Professional Documents
Culture Documents
Only computers..
Where quantization, Discrete Geometry
and efficient calculations have a decisive
role..
How would they define the Calculus from
the first place?
The main-stream Calculus suggests to use the information regarding the
tangent's slope to answer the question: "Is the function increasing in an
interval".
However, in the era of computers, perhaps we can be satisfied with little? That
is to say, query exactly the information we're interested in?
The operator which will be presented in the next slide was hidden in the
algorithm best known as "Integral Image", or "Summed area tables", found in:
http://en.wikipedia.org/wiki/Summed_area_table.
f ( x + h) − f ( x).
lim f ( x + h ) − f ( x ) = 0 .
h →0
( )
Suppose we have a curve γ ( t ) = x ( t ) , y ( t ) . Then the sign of the coefficient of the
The derivative has an advantage over the detachment: it is a linear operator. However, in the era of
computers, efficiency is not less important. The detachment asks the question: "Function, are you
increasing, decreasing or constant?", while the derivative uses the information about the tangent to answer
that question. Hence the detachment is more computationally efficient in determining the monotonic
behavior of a function.
A suggestion to the Calculus structure
Do you think that the detachment is trivial? That it's just a simple trick in Calculus? Maybe it's true, but in the following
slides I will try to tell you about its research potential.
By the way, note that the detachment combines two kinds of mathematics: continuous math (Calculus) and discrete
math (the sgn (⋅) operator). Isn't it beautiful?
Metric and Topological Spaces, Number Theory and other fields of Classical Analysis
Given a function, f : ( X , d X ) → (Y , dY ) , where X , Y are metric spaces and d X , dY are the induced measures
respectively, one usually cannot talk about the derivative, since the term:
dY ( f ( x ) , f ( x0 ) )
lim
x → x0 d X ( x, x0 )
dY ( ⋅)
is not always defined (we cannot know for sure that the fraction is well defined). However, the term:
d X ( ⋅)
Q dY ( f ( x ) , f ( x0 ) ) ,
where Q is a quantization function (as is the sgn ( ⋅ ) function in the definition of the detachment), is well defined,
and suggests a classification of a discontinuity in a point. Theorems involving this operator are now available.
Elementary Calculus
Further exploring the following terms: “Series Continuousness”, the suggested definition of the limit, extensions to
the definition of the detachment to other quantizations, and the establishment of further theorems that rely on the
detachment.
1736-1813
τ f ( cv ) = sgn f ( b ) − f ( a ) .
Advanced Calculus and Discrete Geometry
Further exploring theorems that rely on the detachment. Note that the analogous theorem to Green's theorem and
the definition of the Slanted Line Integral form a different approach to Advanced Calculus, since it relies on discrete
division of the domain bounded by a curve, rather than summing up the function's values on the curve as suggested
by the familiar Line Integral.
Computer Applications
Computer applications, such as computer vision and image processing. For example, given an image which has been
interpolated into a pseudo-continuous domain, one can use an extension of the detachment,
lim Q f ( x + h ) − f ( x ) ,
h →0
where Q is a quantization function, to discover edges in the image, rather than use the gradient as in the current
approach. This can spare computation time, due to two main reasons:
1. The detachment spares the division operator that appears in the definition of the derivative.
2. There are a finite number of values in the result of the limit, as opposed to the (theoretically)
infinitely many values possible for the derivative.
Algebra
The unusual arithmetic attributes that the detachment depicts, whose nature is multiplicative, can be further
explored to establish new types of vector fields.
Numerical Analysis
Is it true that a function is detachable almost everywhere if and only if it is differentiable almost everywhere?
I couldn't prove or disprove it. This conjecture is now open for further investigation, along with other Measure
Theory related questions regarding the detachment.
Please contact me if you wish to co-operate in research.
With respect and love,
Amir: amir.f22@gmail.com