|
Unit Function
In number theory, the unit function is a completely multiplicative function on the positive integers defined as: :\varepsilon(n) = \begin 1, & \mboxn=1 \\ 0, & \mboxn \neq 1 \end It is called the unit function because it is the identity element for Dirichlet convolution.. It may be described as the "indicator function of 1" within the set of positive integers. It is also written as u(n) (not to be confused with \mu(n), which generally denotes the Möbius function). See also * Möbius inversion formula * Heaviside step function * Kronecker delta References Multiplicative functions 1 (number) {{numtheory-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example, rational numbers), or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory can often be understood through the study of Complex analysis, analytical objects, such as the Riemann zeta function, that encode properties of the integers, primes or other number-theoretic objects in some fashion (analytic number theory). One may also study real numbers in relation to rational numbers, as for instance how irrational numbers can be approximated by fractions (Diophantine approximation). Number theory is one of the oldest branches of mathematics alongside geometry. One quirk of number theory is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multiplicative Function
In number theory, a multiplicative function is an arithmetic function f of a positive integer n with the property that f(1)=1 and f(ab) = f(a)f(b) whenever a and b are coprime. An arithmetic function is said to be completely multiplicative (or totally multiplicative) if f(1)=1 and f(ab) = f(a)f(b) holds ''for all'' positive integers a and b, even when they are not coprime. Examples Some multiplicative functions are defined to make formulas easier to write: * 1(n): the constant function defined by 1(n)=1 * \operatorname(n): the identity function, defined by \operatorname(n)=n * \operatorname_k(n): the power functions, defined by \operatorname_k(n)=n^k for any complex number k. As special cases we have ** \operatorname_0(n)=1(n), and ** \operatorname_1(n)=\operatorname(n). * \varepsilon(n): the function defined by \varepsilon(n)=1 if n=1 and 0 otherwise; this is the unit function, so called because it is the multiplicative identity for Dirichlet convolution. Sometimes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Identity Element
In mathematics, an identity element or neutral element of a binary operation is an element that leaves unchanged every element when the operation is applied. For example, 0 is an identity element of the addition of real numbers. This concept is used in algebraic structures such as group (mathematics), groups and ring (mathematics), rings. The term ''identity element'' is often shortened to ''identity'' (as in the case of additive identity and multiplicative identity) when there is no possibility of confusion, but the identity implicitly depends on the binary operation it is associated with. Definitions Let be a set equipped with a binary operation ∗. Then an element of is called a if for all in , and a if for all in . If is both a left identity and a right identity, then it is called a , or simply an . An identity with respect to addition is called an Additive identity, (often denoted as 0) and an identity with respect to m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet Convolution
In mathematics, Dirichlet convolution (or divisor convolution) is a binary operation defined for arithmetic functions; it is important in number theory. It was developed by Peter Gustav Lejeune Dirichlet. Definition If f , g : \mathbb\to\mathbb are two arithmetic functions, their Dirichlet convolution f*g is a new arithmetic function defined by: : (f*g)(n) \ =\ \sum_ f(d)\,g\!\left(\frac\right) \ =\ \sum_\!f(a)\,g(b), where the sum extends over all positive divisors d of n, or equivalently over all distinct pairs (a,b) of positive integers whose product is n. This product occurs naturally in the study of Dirichlet series such as the Riemann zeta function. It describes the multiplication of two Dirichlet series in terms of their coefficients: :\left(\sum_\frac\right) \left(\sum_\frac\right) \ = \ \left(\sum_\frac\right). Properties The set of arithmetic functions forms a commutative ring, the , with addition given by pointwise addition and multiplication by Dirichlet c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indicator Function
In mathematics, an indicator function or a characteristic function of a subset of a set is a function that maps elements of the subset to one, and all other elements to zero. That is, if is a subset of some set , then the indicator function of is the function \mathbf_A defined by \mathbf_\!(x) = 1 if x \in A, and \mathbf_\!(x) = 0 otherwise. Other common notations are and \chi_A. The indicator function of is the Iverson bracket of the property of belonging to ; that is, \mathbf_(x) = \left x\in A\ \right For example, the Dirichlet function is the indicator function of the rational numbers as a subset of the real numbers. Definition Given an arbitrary set , the indicator function of a subset of is the function \mathbf_A \colon X \mapsto \ defined by \operatorname\mathbf_A\!( x ) = \begin 1 & \text x \in A \\ 0 & \text x \notin A \,. \end The Iverson bracket provides the equivalent notation \left x\in A\ \right/math> or that can be used instead of \mathbf_\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Möbius Function
The Möbius function \mu(n) is a multiplicative function in number theory introduced by the German mathematician August Ferdinand Möbius (also transliterated ''Moebius'') in 1832. It is ubiquitous in elementary and analytic number theory and most often appears as part of its namesake the Möbius inversion formula. Following work of Gian-Carlo Rota in the 1960s, generalizations of the Möbius function were introduced into combinatorics, and are similarly denoted \mu(x). Definition The Möbius function is defined by :\mu(n) = \begin 1 & \text n = 1 \\ (-1)^k & \text n \text k \text \\ 0 & \text n \text > 1 \end The Möbius function can alternatively be represented as : \mu(n) = \delta_ \lambda(n), where \delta_ is the Kronecker delta, \lambda(n) is the Liouville function, Prime omega function, \omega(n) is the number of distinct prime divisors of n, and Prime omega function, \Omega(n) is the number of prime factors of n, counted with multiplicity. Another characterization ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Möbius Inversion Formula
In mathematics, the classic Möbius inversion formula is a relation between pairs of arithmetic functions, each defined from the other by sums over divisors. It was introduced into number theory in 1832 by August Ferdinand Möbius. A large generalization of this formula applies to summation over an arbitrary locally finite partially ordered set, with Möbius' classical formula applying to the set of the natural numbers ordered by divisibility: see incidence algebra. Statement of the formula The classic version states that if and are arithmetic functions satisfying : g(n)=\sum_f(d)\quad\textn\ge 1 then :f(n)=\sum_\mu(d)\,g\!\left(\frac\right)\quad\textn\ge 1 where is the Möbius function and the sums extend over all positive divisors of (indicated by d \mid n in the above formulae). In effect, the original can be determined given by using the inversion formula. The two sequences are said to be Möbius transforms of each other. The formula is also correct if and are f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heaviside Step Function
The Heaviside step function, or the unit step function, usually denoted by or (but sometimes , or ), is a step function named after Oliver Heaviside, the value of which is zero for negative arguments and one for positive arguments. Different conventions concerning the value are in use. It is an example of the general class of step functions, all of which can be represented as linear combinations of translations of this one. The function was originally developed in operational calculus for the solution of differential equations, where it represents a signal that switches on at a specified time and stays switched on indefinitely. Heaviside developed the operational calculus as a tool in the analysis of telegraphic communications and represented the function as . Formulation Taking the convention that , the Heaviside function may be defined as: * a piecewise function: H(x) := \begin 1, & x \geq 0 \\ 0, & x * an indicator function: H(x) := \mathbf_=\mathbf 1_(x) For the al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 &\text i=j. \end or with use of Iverson brackets: \delta_ = =j, For example, \delta_ = 0 because 1 \ne 2, whereas \delta_ = 1 because 3 = 3. The Kronecker delta appears naturally in many areas of mathematics, physics, engineering and computer science, as a means of compactly expressing its definition above. Generalized versions of the Kronecker delta have found applications in differential geometry and modern tensor calculus, particularly in formulations of gauge theory and topological field models. In linear algebra, the n\times n identity matrix \mathbf has entries equal to the Kronecker delta: I_ = \delta_ where i and j take the values 1,2,\cdots,n, and the inner product of vectors can be written as \mathbf\cdot\mathbf = \sum_^n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multiplicative Functions
In number theory, a multiplicative function is an arithmetic function f of a positive integer n with the property that f(1)=1 and f(ab) = f(a)f(b) whenever a and b are coprime. An arithmetic function is said to be completely multiplicative function, completely multiplicative (or totally multiplicative) if f(1)=1 and f(ab) = f(a)f(b) holds ''for all'' positive integers a and b, even when they are not coprime. Examples Some multiplicative functions are defined to make formulas easier to write: * 1(n): the constant function defined by 1(n)=1 * \operatorname(n): the identity function, defined by \operatorname(n)=n * \operatorname_k(n): the power functions, defined by \operatorname_k(n)=n^k for any complex number k. As special cases we have ** \operatorname_0(n)=1(n), and ** \operatorname_1(n)=\operatorname(n). * \varepsilon(n): the function defined by \varepsilon(n)=1 if n=1 and 0 otherwise; this is the unit function, so called because it is the multiplicative identity for D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
