Haar Wavelet
   HOME

TheInfoList



OR:

In mathematics, the Haar wavelet is a sequence of rescaled "square-shaped" functions which together form a
wavelet A wavelet is a wave-like oscillation with an amplitude that begins at zero, increases or decreases, and then returns to zero one or more times. Wavelets are termed a "brief oscillation". A taxonomy of wavelets has been established, based on the num ...
family or basis. Wavelet analysis is similar to
Fourier analysis In mathematics, Fourier analysis () is the study of the way general functions may be represented or approximated by sums of simpler trigonometric functions. Fourier analysis grew from the study of Fourier series, and is named after Josep ...
in that it allows a target function over an interval to be represented in terms of an
orthonormal basis In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For example, ...
. The Haar sequence is now recognised as the first known wavelet basis and is extensively used as a teaching example. The Haar sequence was proposed in 1909 by
Alfréd Haar Alfréd Haar ( hu, Haar Alfréd; 11 October 1885, Budapest – 16 March 1933, Szeged) was a Hungarian mathematician. In 1904 he began to study at the University of Göttingen. His doctorate was supervised by David Hilbert. The Haar me ...
. Haar used these functions to give an example of an orthonormal system for the space of
square-integrable function In mathematics, a square-integrable function, also called a quadratically integrable function or L^2 function or square-summable function, is a real- or complex-valued measurable function for which the integral of the square of the absolute value i ...
s on the
unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysis, ...
  , 1 The study of wavelets, and even the term "wavelet", did not come until much later. As a special case of the
Daubechies wavelet The Daubechies wavelets, based on the work of Ingrid Daubechies, are a family of orthogonal wavelets defining a discrete wavelet transform and characterized by a maximal number of vanishing moments for some given support. With each wavelet typ ...
, the Haar wavelet is also known as Db1. The Haar wavelet is also the simplest possible wavelet. The technical disadvantage of the Haar wavelet is that it is not
continuous Continuity or continuous may refer to: Mathematics * Continuity (mathematics), the opposing concept to discreteness; common examples include ** Continuous probability distribution or random variable in probability and statistics ** Continuous ...
, and therefore not
differentiable In mathematics, a differentiable function of one real variable is a function whose derivative exists at each point in its domain. In other words, the graph of a differentiable function has a non-vertical tangent line at each interior point in its ...
. This property can, however, be an advantage for the analysis of signals with sudden transitions ( discrete signals), such as monitoring of tool failure in machines. The Haar wavelet's mother wavelet function \psi(t) can be described as : \psi(t) = \begin 1 \quad & 0 \leq t < \frac,\\ -1 & \frac \leq t < 1,\\ 0 &\mbox \end Its scaling function \varphi(t) can be described as : \varphi(t) = \begin1 \quad & 0 \leq t < 1,\\0 &\mbox\end


Haar functions and Haar system

For every pair ''n'', ''k'' of integers in \mathbb, the Haar function ''ψ''''n'',''k'' is defined on the
real line In elementary mathematics, a number line is a picture of a graduated straight line (geometry), line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real ...
\mathbb by the formula : \psi_(t) = 2^ \psi(2^n t-k), \quad t \in \mathbb. This function is supported on the right-open interval , ''i.e.'', it vanishes outside that interval. It has integral 0 and norm 1 in the
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
  ''L''2(\mathbb), : \int_ \psi_(t) \, d t = 0, \quad \, \psi_\, ^2_ = \int_ \psi_(t)^2 \, d t = 1. The Haar functions are pairwise
orthogonal In mathematics, orthogonality is the generalization of the geometric notion of ''perpendicularity''. By extension, orthogonality is also used to refer to the separation of specific features of a system. The term also has specialized meanings in ...
, : \int_ \psi_(t) \psi_(t) \, d t = \delta_ \delta_, where \delta_ represents the
Kronecker delta In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise: \delta_ = \begin 0 &\text i \neq j, \\ 1 &\ ...
. Here is the reason for orthogonality: when the two supporting intervals I_ and I_ are not equal, then they are either disjoint, or else the smaller of the two supports, say I_, is contained in the lower or in the upper half of the other interval, on which the function \psi_ remains constant. It follows in this case that the product of these two Haar functions is a multiple of the first Haar function, hence the product has integral 0. The Haar system on the real line is the set of functions : \. It is
complete Complete may refer to: Logic * Completeness (logic) * Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Mathematics * The completeness of the real numbers, which implies t ...
in ''L''2(\mathbb): ''The Haar system on the line is an orthonormal basis in'' ''L''2(\mathbb).


Haar wavelet properties

The Haar wavelet has several notable properties:


Haar system on the unit interval and related systems

In this section, the discussion is restricted to the
unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysis, ...
, 1and to the Haar functions that are supported on , 1 The system of functions considered by Haar in 1910, called the Haar system on , 1'' in this article, consists of the subset of Haar wavelets defined as :\, with the addition of the constant function 1 on , 1 In
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
terms, this Haar system on , 1is a complete orthonormal system, ''i.e.'', an
orthonormal basis In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For example, ...
, for the space ''L''2( , 1 of square integrable functions on the unit interval. The Haar system on , 1—with the constant function 1 as first element, followed with the Haar functions ordered according to the
lexicographic Lexicography is the study of lexicons, and is divided into two separate academic disciplines. It is the art of compiling dictionaries. * Practical lexicography is the art or craft of compiling, writing and editing dictionaries. * Theoretica ...
ordering of couples — is further a
monotone Monotone refers to a sound, for example music or speech, that has a single unvaried tone. See: monophony. Monotone or monotonicity may also refer to: In economics *Monotone preferences, a property of a consumer's preference ordering. *Monotonic ...
Schauder basis In mathematics, a Schauder basis or countable basis is similar to the usual ( Hamel) basis of a vector space; the difference is that Hamel bases use linear combinations that are finite sums, while for Schauder bases they may be infinite sums. This ...
for the space ''L''''p''( , 1 when .see p. 3 in J. Lindenstrauss, L. Tzafriri, (1977), "Classical Banach Spaces I, Sequence Spaces", Ergebnisse der Mathematik und ihrer Grenzgebiete 92, Berlin: Springer-Verlag, . This basis is unconditional when . There is a related
Rademacher system Rademacher is an occupational surname of German origin, which means "wheelmaker". It may refer to: People * Arthur Rademacher (1889–1981), Australian football player *Autumn Rademacher (born 1975), American basketball coach *Bill Rademacher (born ...
consisting of sums of Haar functions, :r_n(t) = 2^ \sum_^ \psi_(t), \quad t \in
, 1 The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline (t ...
\ n \ge 0. Notice that , ''r''''n''(''t''),  = 1 on , 1). This is an orthonormal system but it is not complete. In the language of
independent Independent or Independents may refer to: Arts, entertainment, and media Artist groups * Independents (artist group), a group of modernist painters based in the New Hope, Pennsylvania, area of the United States during the early 1930s * Independ ...
Bernoulli distribution">Bernoulli Bernoulli can refer to: People *Bernoulli family of 17th and 18th century Swiss mathematicians: ** Daniel Bernoulli (1700–1782), developer of Bernoulli's principle **Jacob Bernoulli (1654–1705), also known as Jacques, after whom Bernoulli numbe ...
random variables with mean 0. The Khintchine inequality expresses the fact that in all the spaces ''L''''p''( , 1, , the Rademacher sequence is
equivalent Equivalence or Equivalent may refer to: Arts and entertainment *Album-equivalent unit, a measurement unit in the music industry *Equivalence class (music) *''Equivalent VIII'', or ''The Bricks'', a minimalist sculpture by Carl Andre *''Equivale ...
to the unit vector basis in ℓ''2''. In particular, the closed linear span of the Rademacher sequence in ''L''''p''( , 1, , is
isomorphic In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...
to ℓ''2''.


The Faber–Schauder system

The Faber–Schauder systemFaber, Georg (1910), "Über die Orthogonalfunktionen des Herrn Haar", ''Deutsche Math.-Ver'' (in German) 19: 104–112. ; http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN37721857X ; http://resolver.sub.uni-goettingen.de/purl?GDZPPN002122553 is the family of continuous functions on , 1consisting of the constant function 1, and of multiples of indefinite integrals of the functions in the Haar system on  , 1 chosen to have norm 1 in the
maximum norm In mathematical analysis, the uniform norm (or ) assigns to real- or complex-valued bounded functions defined on a set the non-negative number :\, f\, _\infty = \, f\, _ = \sup\left\. This norm is also called the , the , the , or, when the ...
. This system begins with ''s''0 = 1, then is the indefinite integral vanishing at 0 of the function 1, first element of the Haar system on , 1 Next, for every integer , functions are defined by the formula : s_(t) = 2^ \int_0^t \psi_(u) \, d u, \quad t \in
, 1 The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline (t ...
\ 0 \le k < 2^n. These functions are continuous, piecewise linear, supported by the interval that also supports . The function is equal to 1 at the midpoint of the interval , linear on both halves of that interval. It takes values between 0 and 1 everywhere. The Faber–Schauder system is a
Schauder basis In mathematics, a Schauder basis or countable basis is similar to the usual ( Hamel) basis of a vector space; the difference is that Hamel bases use linear combinations that are finite sums, while for Schauder bases they may be infinite sums. This ...
for the space ''C''( , 1 of continuous functions on , 1 For every ''f'' in ''C''( , 1, the partial sum : f_ = a_0 s_0 + a_1 s_1 + \sum_^ \Bigl( \sum_^ a_ s_ \Bigr) \in C(
, 1 The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline (t ...
of the
series expansion In mathematics, a series expansion is an expansion of a function into a series, or infinite sum. It is a method for calculating a function that cannot be expressed by just elementary operators (addition, subtraction, multiplication and division) ...
of ''f'' in the Faber–Schauder system is the continuous piecewise linear function that agrees with ''f'' at the points , where . Next, the formula : f_ - f_ = \sum_^ \bigl( f(x_) - f_(x_) \bigr) s_ = \sum_^ a_ s_ gives a way to compute the expansion of ''f'' step by step. Since ''f'' is
uniformly continuous In mathematics, a real function f of real numbers is said to be uniformly continuous if there is a positive real number \delta such that function values over any function domain interval of the size \delta are as close to each other as we want. In ...
, the sequence converges uniformly to ''f''. It follows that the Faber–Schauder series expansion of ''f'' converges in ''C''( , 1, and the sum of this series is equal to ''f''.


The Franklin system

The Franklin system is obtained from the Faber–Schauder system by the Gram–Schmidt orthonormalization procedure. Since the Franklin system has the same
linear span In mathematics, the linear span (also called the linear hull or just span) of a set of vectors (from a vector space), denoted , pp. 29-30, §§ 2.5, 2.8 is defined as the set of all linear combinations of the vectors in . It can be characterized ...
as that of the Faber–Schauder system, this span is dense in ''C''( , 1, hence in ''L''2( , 1. The Franklin system is therefore an orthonormal basis for ''L''2( , 1, consisting of continuous piecewise linear functions. P. Franklin proved in 1928 that this system is a Schauder basis for ''C''( , 1. The Franklin system is also an unconditional Schauder basis for the space ''L''''p''( , 1 when .S. V. Bočkarev, ''Existence of a basis in the space of functions analytic in the disc, and some properties of Franklin's system''. Mat. Sb. 95 (1974), 3–18 (Russian). Translated in Math. USSR-Sb. 24 (1974), 1–16. The Franklin system provides a Schauder basis in the
disk algebra In mathematics, specifically in functional and complex analysis, the disk algebra ''A''(D) (also spelled disc algebra) is the set of holomorphic functions :''ƒ'' : D → \mathbb, (where D is the open unit disk in the complex plane \mathbb) th ...
''A''(''D''). This was proved in 1974 by Bočkarev, after the existence of a basis for the disk algebra had remained open for more than forty years. Bočkarev's construction of a Schauder basis in ''A''(''D'') goes as follows: let ''f'' be a complex valued
Lipschitz function In mathematical analysis, Lipschitz continuity, named after German mathematician Rudolf Lipschitz, is a strong form of uniform continuity for functions. Intuitively, a Lipschitz continuous function is limited in how fast it can change: there exis ...
on , π then ''f'' is the sum of a cosine series with
absolutely summable In mathematics, an infinite series of numbers is said to converge absolutely (or to be absolutely convergent) if the sum of the absolute values of the summands is finite. More precisely, a real or complex series \textstyle\sum_^\infty a_n is sa ...
coefficients. Let ''T''(''f'') be the element of ''A''(''D'') defined by the complex
power series In mathematics, a power series (in one variable) is an infinite series of the form \sum_^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots where ''an'' represents the coefficient of the ''n''th term and ''c'' is a const ...
with the same coefficients, : \left\ \longrightarrow \left\. Bočkarev's basis for ''A''(''D'') is formed by the images under ''T'' of the functions in the Franklin system on  , π Bočkarev's equivalent description for the mapping ''T'' starts by extending ''f'' to an
even Even may refer to: General * Even (given name), a Norwegian male personal name * Even (surname) * Even (people), an ethnic group from Siberia and Russian Far East ** Even language, a language spoken by the Evens * Odd and Even, a solitaire game w ...
Lipschitz function ''g''1 on minus;π, π identified with a Lipschitz function on the
unit circle In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Eucl ...
 T. Next, let ''g''2 be the conjugate function of ''g''1, and define ''T''(''f'') to be the function in ''A''(''D'') whose value on the boundary T of ''D'' is equal to . When dealing with 1-periodic continuous functions, or rather with continuous functions ''f'' on , 1such that , one removes the function from the Faber–Schauder system, in order to obtain the periodic Faber–Schauder system. The periodic Franklin system is obtained by orthonormalization from the periodic Faber–-Schauder system.See p. 161, III.D.20 and p. 192, III.E.17 in One can prove Bočkarev's result on ''A''(''D'') by proving that the periodic Franklin system on , 2πis a basis for a Banach space ''A''''r'' isomorphic to ''A''(''D''). The space ''A''''r'' consists of complex continuous functions on the unit circle T whose conjugate function is also continuous.


Haar matrix

The 2×2 Haar matrix that is associated with the Haar wavelet is : H_2 = \begin 1 & 1 \\ 1 & -1 \end. Using the
discrete wavelet transform In numerical analysis and functional analysis, a discrete wavelet transform (DWT) is any wavelet transform for which the wavelets are discretely sampled. As with other wavelet transforms, a key advantage it has over Fourier transforms is temporal ...
, one can transform any sequence (a_0,a_1,\dots,a_,a_) of even length into a sequence of two-component-vectors \left(\left(a_0,a_1\right),\left(a_2,a_3\right),\dots,\left(a_,a_\right)\right) . If one right-multiplies each vector with the matrix H_2 , one gets the result \left(\left(s_0,d_0\right),\dots,\left(s_n,d_n\right)\right) of one stage of the fast Haar-wavelet transform. Usually one separates the sequences ''s'' and ''d'' and continues with transforming the sequence ''s''. Sequence ''s'' is often referred to as the ''averages'' part, whereas ''d'' is known as the ''details'' part. If one has a sequence of length a multiple of four, one can build blocks of 4 elements and transform them in a similar manner with the 4×4 Haar matrix : H_4 = \begin 1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ 1 & -1 & 0 & 0\\ 0 & 0 & 1 & -1 \end, which combines two stages of the fast Haar-wavelet transform. Compare with a
Walsh matrix In mathematics, a Walsh matrix is a specific square matrix of dimensions 2, where ''n'' is some particular natural number. The entries of the matrix are either +1 or −1 and its rows as well as columns are orthogonal, i.e. dot product is ...
, which is a non-localized 1/–1 matrix. Generally, the 2N×2N Haar matrix can be derived by the following equation. : H_ = \begin H_ \otimes
, 1 The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline (t ...
\\ I_ \otimes
, -1 The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline ...
\end :where I_ = \begin 1 & 0 & \dots & 0 \\ 0 & 1 & \dots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end and \otimes is the
Kronecker product In mathematics, the Kronecker product, sometimes denoted by ⊗, is an operation on two matrices of arbitrary size resulting in a block matrix. It is a generalization of the outer product (which is denoted by the same symbol) from vectors to ...
. The
Kronecker product In mathematics, the Kronecker product, sometimes denoted by ⊗, is an operation on two matrices of arbitrary size resulting in a block matrix. It is a generalization of the outer product (which is denoted by the same symbol) from vectors to ...
of A \otimes B, where A is an m×n matrix and B is a p×q matrix, is expressed as : A \otimes B = \begin a_B & \dots & a_B \\ \vdots & \ddots & \vdots \\ a_B & \dots & a_B\end. An un-normalized 8-point Haar matrix H_8 is shown below : H_ = \begin 1&1&1&1&1&1&1&1 \\ 1&1&1&1&-1&-1&-1&-1 \\ 1&1&-1&-1&0&0&0&0& \\ 0&0&0&0&1&1&-1&-1 \\ 1&-1&0&0&0&0&0&0& \\ 0&0&1&-1&0&0&0&0 \\ 0&0&0&0&1&-1&0&0& \\ 0&0&0&0&0&0&1&-1 \end. Note that, the above matrix is an un-normalized Haar matrix. The Haar matrix required by the Haar transform should be normalized. From the definition of the Haar matrix H, one can observe that, unlike the
Fourier transform A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...
, H has only real elements (i.e., 1, -1 or 0) and is non-symmetric. Take the 8-point Haar matrix H_8 as an example. The first row of H_8 measures the average value, and the second row of H_8 measures a low frequency component of the input vector. The next two rows are sensitive to the first and second half of the input vector respectively, which corresponds to moderate frequency components. The remaining four rows are sensitive to the four section of the input vector, which corresponds to high frequency components.


Haar transform

The Haar transform is the simplest of the
wavelet transform In mathematics, a wavelet series is a representation of a square-integrable (real number, real- or complex number, complex-valued) function (mathematics), function by a certain orthonormal series (mathematics), series generated by a wavelet. This ...
s. This transform cross-multiplies a function against the Haar wavelet with various shifts and stretches, like the Fourier transform cross-multiplies a function against a sine wave with two phases and many stretches.The Haar Transform
/ref>


Introduction

The Haar transform is one of the oldest transform functions, proposed in 1910 by the Hungarian mathematician
Alfréd Haar Alfréd Haar ( hu, Haar Alfréd; 11 October 1885, Budapest – 16 March 1933, Szeged) was a Hungarian mathematician. In 1904 he began to study at the University of Göttingen. His doctorate was supervised by David Hilbert. The Haar me ...
. It is found effective in applications such as signal and image compression in electrical and computer engineering as it provides a simple and computationally efficient approach for analysing the local aspects of a signal. The Haar transform is derived from the Haar matrix. An example of a 4×4 Haar transformation matrix is shown below. :H_4 = \frac \begin 1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ \sqrt & -\sqrt & 0 & 0 \\ 0 & 0 & \sqrt & -\sqrt\end The Haar transform can be thought of as a sampling process in which rows of the transformation matrix act as samples of finer and finer resolution. Compare with the
Walsh transform The Hadamard transform (also known as the Walsh–Hadamard transform, Hadamard–Rademacher–Walsh transform, Walsh transform, or Walsh–Fourier transform) is an example of a generalized class of Fourier transforms. It performs an orthogonal ...
, which is also 1/–1, but is non-localized.


Property

The Haar transform has the following properties # No need for multiplications. It requires only additions and there are many elements with zero value in the Haar matrix, so the computation time is short. It is faster than
Walsh transform The Hadamard transform (also known as the Walsh–Hadamard transform, Hadamard–Rademacher–Walsh transform, Walsh transform, or Walsh–Fourier transform) is an example of a generalized class of Fourier transforms. It performs an orthogonal ...
, whose matrix is composed of +1 and −1. # Input and output length are the same. However, the length should be a power of 2, i.e. N = 2^k, k\in \mathbb. # It can be used to analyse the localized feature of signals. Due to the
orthogonal In mathematics, orthogonality is the generalization of the geometric notion of ''perpendicularity''. By extension, orthogonality is also used to refer to the separation of specific features of a system. The term also has specialized meanings in ...
property of the Haar function, the frequency components of input signal can be analyzed.


Haar transform and Inverse Haar transform

The Haar transform ''y''''n'' of an n-input function ''x''''n'' is : y_n = H_n x_n The Haar transform matrix is real and orthogonal. Thus, the inverse Haar transform can be derived by the following equations. : H = H^*, H^ = H^T, \text HH^T = I : where I is the identity matrix. For example, when n = 4 : H_4^H_4 = \frac\begin 1&1&\sqrt&0 \\ 1&1&-\sqrt&0 \\ 1&-1&0&\sqrt \\ 1&-1&0&-\sqrt\end \cdot\; \frac\begin 1&1&1&1 \\ 1&1&-1&-1 \\ \sqrt&-\sqrt&0&0 \\ 0&0&\sqrt&-\sqrt\end = \begin 1&0&0&0 \\ 0&1&0&0 \\ 0&0&1&0 \\ 0&0&0&1 \end Thus, the inverse Haar transform is : x_ = H^y_


Example

The Haar transform coefficients of a n=4-point signal x_ =
,2,3,4 The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline ...
can be found as : y_ = H_4 x_4 = \frac\begin 1&1&1&1 \\ 1&1&-1&-1 \\ \sqrt&-\sqrt&0&0 \\ 0&0&\sqrt&-\sqrt\end \begin 1 \\ 2 \\ 3 \\ 4\end = \begin 5 \\ -2 \\ -1/\sqrt \\ -1/\sqrt\end The input signal can then be perfectly reconstructed by the inverse Haar transform : \hat = H_^y_ = \frac\begin 1&1&\sqrt&0 \\ 1&1&-\sqrt&0 \\ 1&-1&0&\sqrt \\ 1&-1&0&-\sqrt\end \begin 5 \\ -2 \\ -1/\sqrt \\ -1/\sqrt\end = \begin 1 \\ 2 \\ 3 \\ 4 \end


See also

*
Dimension reduction Dimensionality reduction, or dimension reduction, is the transformation of data from a high-dimensional space into a low-dimensional space so that the low-dimensional representation retains some meaningful properties of the original data, ideally ...
*
Walsh matrix In mathematics, a Walsh matrix is a specific square matrix of dimensions 2, where ''n'' is some particular natural number. The entries of the matrix are either +1 or −1 and its rows as well as columns are orthogonal, i.e. dot product is ...
*
Walsh transform The Hadamard transform (also known as the Walsh–Hadamard transform, Hadamard–Rademacher–Walsh transform, Walsh transform, or Walsh–Fourier transform) is an example of a generalized class of Fourier transforms. It performs an orthogonal ...
*
Wavelet A wavelet is a wave-like oscillation with an amplitude that begins at zero, increases or decreases, and then returns to zero one or more times. Wavelets are termed a "brief oscillation". A taxonomy of wavelets has been established, based on the num ...
* Chirplet *
Signal In signal processing, a signal is a function that conveys information about a phenomenon. Any quantity that can vary over space or time can be used as a signal to share messages between observers. The ''IEEE Transactions on Signal Processing'' ...
*
Haar-like feature Haar-like features are digital image features used in object recognition. They owe their name to their intuitive similarity with Haar wavelets and were used in the first real-time face detector.Viola and Jones,Rapid object detection using a boosted ...
*
Strömberg wavelet In mathematics, the Strömberg wavelet is a certain orthonormal wavelet discovered by Jan-Olov Strömberg and presented in a paper published in 1983.Janos-Olov Strömberg, ''A modified Franklin system and higher order spline systems on Rn as uncond ...
*
Dyadic transformation The dyadic transformation (also known as the dyadic map, bit shift map, 2''x'' mod 1 map, Bernoulli map, doubling map or sawtooth map) is the mapping (i.e., recurrence relation) : T: , 1) \to [0, 1)^\infty : x \mapsto (x_0, x_1, x_2, ...


Notes


References

* * Charles K. Chui, ''An Introduction to Wavelets'', (1992), Academic Press, San Diego, * English Translation of Haar's seminal article


External links

*
Free Haar wavelet filtering implementation and interactive demo

Free Haar wavelet denoising and lossy signal compression


Haar transform

* * * * * {{DEFAULTSORT:Haar Wavelet Orthogonal wavelets