في الجبر الخطي والتحليل الدالي والمجالات المتعلقة بهما في الرياضيات، معيار أو نظيم (بالإنجليزية: Norm) هو دالة تعطي عددا حقيقيا موجبا لكل متجهة من فضاء متجهي ما. بحيث تحقق ثلاث خاصيات محددة (أنظر التعريف).
ليكن E {\displaystyle E} فضاء متجهي معرف على حقل K {\displaystyle K} مزود بقيمة مطلقة | ⋅ ⋅ --> | {\displaystyle |\centerdot |}
نعرف المعيار على أنه كل دالة N {\displaystyle {\mathcal {N}}} : N : E ⟶ ⟶ --> R x ⟼ ⟼ --> N ( x ) {\displaystyle {\begin{alignedat}{2}{\mathcal {N}}:\quad &E\longrightarrow \mathbb {R} \\&x\longmapsto {\mathcal {N(x)}}\\\end{alignedat}}} حيث : ∀ ∀ --> ( x , y ) ∈ ∈ --> E 2 ∀ ∀ --> λ λ --> ∈ ∈ --> K {\displaystyle \forall (x,y)\in E^{2}\quad {\mathcal {\forall }}\lambda \in K}
بعض الكتب تشترط في تعريفها أن تحقق N {\displaystyle {\mathcal {N}}} خاصية أخرى وهي N ( x ) ≥ ≥ --> 0 {\displaystyle {\mathcal {N}}(x)\geq 0} لكل x {\displaystyle x} من E {\displaystyle E}
لكنه لا توجد ضرورة لإدراجها في التعريف ما دامت الخاصيات المذكورة في التعريف تستلزم تحقيق هذه الخاصية :
0 = N ( 0 E ) = N ( x + ( − − --> x ) ) ≤ ≤ --> N ( x ) + | − − --> 1 | N ( x ) = 2 N ( x ) {\displaystyle 0={\mathcal {N}}(0_{E})={\mathcal {N}}(x+(-x))\leq {\mathcal {N}}(x)+|-1|{\mathcal {N}}(x)=2{\mathcal {N}}(x)} ⟹ ⟹ --> 0 ≤ ≤ --> N ( x ) {\displaystyle \Longrightarrow \qquad 0\leq {\mathcal {N}}(x)}
في فضاء متجهي إقليدي E {\displaystyle E} وهو فضاء متجهي E {\displaystyle E} معرف على حقل الأعداد الحقيقية R {\displaystyle \mathbb {R} } مزود بجداء سلمي ⟨ ⟨ --> x | y ⟩ ⟩ --> {\displaystyle \langle x|y\rangle } (لكل عنصر x {\displaystyle x} و y {\displaystyle y} من E {\displaystyle E} ) و بُعده منتهٍ كمثال الفضاء المتجهي R n {\displaystyle \mathbb {R^{n}} }
نعرف ونرمز للمعيار الاقليدي بـ :
‖ ‖ --> x ‖ ‖ --> = ‖ ‖ --> x ‖ ‖ --> 2 := ⟨ ⟨ --> x | x ⟩ ⟩ --> {\displaystyle \lVert x\rVert =\lVert x\rVert _{2}:={\sqrt {\langle x|x\rangle }}}
في حالة المثال R n {\displaystyle \mathbb {R^{n}} } يكون الجداء السلمي غالبا (لأنه يمكن إنشاء جداء سلمي مختلف ) :
⟨ ⟨ --> x | y ⟩ ⟩ --> := ∑ ∑ --> k = 1 n x k . y k {\displaystyle \langle x|y\rangle :=\sum _{k=1}^{n}x_{k}.y_{k}}
||x|| و ||−x|| ليسا بالضرورة متساويين.
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.