the μ-operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Adding the μ-operator to...
32 KB (3,211 words) - 13:29, 17 July 2024
General recursive function (redirect from Μ recursion)
Minimization operator μ: Given a (k+1)-ary function f ( y , x 1 , … , x k ) {\displaystyle f(y,x_{1},\ldots ,x_{k})\,} , the k-ary function μ ( f ) {\displaystyle...
18 KB (2,748 words) - 14:59, 24 June 2023
space, in standard coordinates (t, x, y, z), it has the form ◻ = ∂ μ ∂ μ = η μ ν ∂ ν ∂ μ = 1 c 2 ∂ 2 ∂ t 2 − ∂ 2 ∂ x 2 − ∂ 2 ∂ y 2 − ∂ 2 ∂ z 2 = 1 c 2 ∂...
6 KB (819 words) - 17:09, 3 May 2024
new operators: the μ operator (which is completely different both from the μ operator found in computability theory and from the μ operator of modal μ-calculus)...
4 KB (541 words) - 06:58, 1 April 2024
-\mathbf {p} \right)} obtains the 4-momentum operator: P ^ μ = ( 1 c E ^ , − p ^ ) = i ℏ ( 1 c ∂ ∂ t , ∇ ) = i ℏ ∂ μ {\displaystyle {\hat {P}}_{\mu }=\left({\frac...
14 KB (2,071 words) - 14:44, 24 August 2024
Minimax approximation algorithm Minimisation operator ("μ operator"), the add-on to primitive recursion to obtain μ-recursive functions in computer science...
1 KB (144 words) - 21:06, 16 May 2019
operator is sometimes called the creation operator, and the lowering operator the annihilation operator. Well-known applications of ladder operators in...
24 KB (4,501 words) - 22:41, 14 February 2024
of E and F, respectively, the differential operator P decomposes into components ( P u ) ν = ∑ μ P ν μ u μ {\displaystyle (Pu)_{\nu }=\sum _{\mu }P_{\nu...
22 KB (3,689 words) - 10:04, 30 August 2024
that a self-adjoint operator can have "eigenvectors" that are not actually in the Hilbert space in question. Firstly, let ( X , Σ , μ ) {\displaystyle (X...
48 KB (8,052 words) - 08:56, 23 July 2024
\Omega ,\mu \right)} is a measure space, then the integral operator K : L 2 ( μ ) → L 2 ( μ ) {\displaystyle K:L^{2}\left(\mu \right)\to L^{2}\left(\mu...
9 KB (1,391 words) - 19:05, 30 May 2024