GOST (hash function) - Revision history

en>NezZario: /* External links */ Link to online GOST calculator

2014-11-05T21:14:53Z

External links: Link to online GOST calculator

← Older revision		Revision as of 23:14, 5 November 2014
Line 1:		Line 1:
	~~In [[calculus]], a branch~~ of ~~[[mathematics]],~~ the notions of '''one-sided differentiability''' and '''semi-differentiability''' of a [[real number\|real]]-valued [[function (mathematics)\|function]] ''f'' of a real variable are weaker than [[differentiability]].		The title of the writer is Figures. The factor she adores most is body building and now she is trying to earn cash with it. Hiring is her working day job now and she will not alter it anytime soon. South Dakota is exactly where me and my spouse reside.<br><br>My blog post ... [http://drupal.12thirty4.com/gmaps/node/4991 http://drupal.12thirty4.com/gmaps/node/4991]

	~~==One-dimensional case==~~
	~~===Definitions===~~

	~~Let ''f'' denote a real-valued function defined on a subset ''I'' of the real numbers.~~

	~~If ''a'' ∈ ''I'' is a [[limit point]] of ''I'' ∩ <nowiki>[</nowiki>''a'',∞) and the [[one-sided limit]]~~

	~~:<math>\partial_+f(a):=\lim_{{\scriptstyle x\to a+\atop\scriptstyle x\in I}}\frac{f(x)-f(a)}{x-a}</math>~~

	~~exists as a real number, then ''f''~~ is ~~called '''right differentiable''' at ''a''~~ and ~~the limit ∂<sub>+</sub>''f''(''a'')~~ is ~~called the '''right derivative''' of ''f'' at ''a''.~~

	~~If ''a'' ∈ ''I'' is a limit point of ''I'' ∩ (–∞,''a''<nowiki>]</nowiki> and the one-sided limit~~

	~~:<math>\partial_-f(a):=\lim_{{\scriptstyle x\~~to ~~a-\atop\scriptstyle x\in I}}\frac{f(x)-f(a)}{x-a}</math>~~

	~~exists as a real number, then ''f'' is called '''left differentiable''' at ''a'' and the limit ∂<sub>–</sub>''f''(''a'') is called the '''left derivative''' of ''f'' at ''a''~~.

	~~If ''a'' ∈ ''I''~~ is ~~a limit point of ''I'' ∩ <nowiki>[</nowiki>''a'',∞)~~ and ~~''I'' ∩ (–∞,''a''<nowiki>]</nowiki> and if ''f'' is left and right differentiable at ''a'', then ''f'' is called '''semi-differentiable''' at ''a''~~.

	~~===Remarks and examples===~~

	* A function is [[derivative\|differentiable]] at an [[interior point]] ''a'' of its [[domain (mathematics)\|domain]] [[if and only if]] it is ~~semi-differentiable at ''a''~~ and ~~the left derivative is equal to the right derivative.~~
	* An example of a semi-differentiable function, which is not differentiable, is the [[absolute value]] at ''a'' = 0.
	* A function, which is semi-differentiable at a point ''a'', is also continuous at ''a''.
	* The [[indicator function]] 1<~~sub~~><~~nowiki~~>~~[</nowiki>0,∞)</sub> is right differentiable at every real ''a'', but discontinuous at zero (note that this indicator function is not left differentiable at zero)~~.

	~~===Application===~~

	If a real-valued, differentiable function ''f'', defined on an interval ''I'' of the real line, has zero derivative everywhere, then it is constant, as an application of the [[mean value theorem]] shows. ~~The assumption of differentiability can be weakened to continuity and one-sided differentiability of ''f''~~. ~~The version for right differentiable functions is given below, the version for left differentiable functions is analogous.~~

	~~'''Theorem:''' Let ''f'' be a real-valued,~~ [[continuous function]], defined on an arbitrary [[interval (mathematics)\|interval]] ''I'' of the real line. If ''f'' is right differentiable at every point ''a'' ∈ ''I'', which is not the [[supremum]] of the interval, and if this right derivative is always zero, then ''f'' is [[constant function\|constant]].

	~~'''Proof:''' For a [[proof by contradiction]], assume there exist ''a'' < ''b'' in ''I'' such that ''f''(''a'') ≠ ''f''(''b''). Then~~

	~~:<math>\varepsilon~~:~~=\frac{\|f(b)-f(a)\|}{2(b-a)}>0.<~~/~~math>~~

	~~Define ''c'' as the [[infimum]] of all those ''x'' in the interval (''a'',''b''<nowiki>]<~~/~~nowiki> for which the [[difference quotient]] of ''f'' exceeds ''ε'' in absolute value, i~~.e.

	~~:<math>c=\inf\{\,x\in(a,b]\mid \|f(x)-f(a)\|>\varepsilon(x-a)\,\}~~.</~~math>~~

	~~Due to the continuity of ''f'', it follows that ''c'' < ''b'' and~~
	~~\|''f''(''c'') – ''f''(''a'')\| = ''ε''(''c'' – ''a''). At ''c'' the right derivative of ''f'' is zero by assumption, hence there exists ''d'' in the interval (''c'',''b''<nowiki>]<~~/~~nowiki> with \|''f''(''x'') – ''f''(''c'')\| ≤ ''ε''(''x'' – ''c'') for all ''x'' in (''c'',''d''<nowiki>]<~~/~~nowiki>. Hence, by the [[triangle inequality]],~~

	:~~<math>\|f(x)-f(a)\|\le\|f(x)-f(c)\|+\|f(c)-f(a)\|\le\varepsilon(x-a)<~~/~~math>~~

	~~for all ''x'' in <nowiki>[</nowiki>''c'',''d''<nowiki>]<~~/~~nowiki>, which contradicts the definition of ''c''~~.

	~~==Higher-dimensional case==~~

	~~This above definition can be generalized to real-valued functions ''f'' defined on subsets of '''R'''<sup>''n''</sup>~~. ~~Let ''a'' be an interior point of the domain of ''f''. Then ''f'' is called ''semi-differentiable'' at the point ''a'' if for every direction ''u'' ∈ '''R'''<sup>''n''<~~/~~sup> the limit~~

	~~:<math>\partial_uf(a)=\lim_{h\to 0^+}\frac{f(a+h\, u)-f(a)}{h}<~~/~~math>~~

	~~exists as a real number.~~

	Semi-differentiability is thus weaker than [[Gâteaux derivative\|Gâteaux differentiability]], for which one takes in the limit above ''h'' → 0 without restricting ''h'' to only positive values.

	~~(Note that this generalization is not equivalent to the original definition for ''n = 1'' since the concept of one-sided limit points is replaced with the stronger concept of interior points.)~~

	~~==Properties==~~

	* Any [[convex function]] on a convex [[open set\|open subset]] of '''R'''<sup>''n''</~~sup> is semi-differentiable.~~
	* While every semi-differentiable function of one variable is continuous; this is no longer true for several variables.

	~~==Generalization==~~

	~~Instead of real-valued functions, one can consider functions taking values in '''R'''<sup>''n''</sup> or in a [[Banach space]].~~

	~~==See also==~~
	* [[Derivative]]
	* [[Directional derivative]]
	* [[Partial derivative]]
	* [[Gradient]]
	* [[Gâteaux derivative]]
	* [[Fréchet derivative]]
	* [[Derivative (generalizations)]]

	~~==References==~~

	* Preda, V. and Chiţescu, I. ''On constraint qualification in multiobjective optimization problems: semidifferentiable case.'' J. Optim. Theory Appl. '''100''' (1999), no. 2, 417--433.

	~~[[Category:Real analysis]]~~
	~~[[Category:Differential calculus]]~~
	~~[[Category:Articles containing proofs]~~]

en>BattyBot: fixed CS1 errors: dates & General fixes using AWB (9816)

2013-12-24T03:49:48Z

fixed CS1 errors: dates & General fixes using AWB (9816)

← Older revision		Revision as of 05:49, 24 December 2013
Line 1:		Line 1:
	~~Oscar~~ is ~~how he~~'~~s known~~ as and ~~he completely loves this name~~. ~~[http~~://~~www~~.~~cwcare.net~~/~~services~~/~~gynecological~~-~~challenges/sexually~~-~~transmitted~~-~~diseases Managing~~] ~~people~~ has ~~been his day job~~ for a ~~while~~. ~~What~~ I ~~adore doing~~ is ~~playing over~~ the ~~counter std test baseball but~~ I ~~haven~~'~~t made~~ a ~~[https~~:~~//hcbsales~~.~~com~~/~~node~~/~~3739 visit~~ the ~~next document~~] ~~dime with [http~~:~~//Nxnn~~.~~info~~/~~user/G8498 visit~~ the ~~next document]~~ it. ~~My family lives std testing at home~~ in ~~home std test kit Minnesota and my family members enjoys it.~~<br><br>~~Feel free to surf to my weblog~~ :~~: over the counter std test~~ ([~~http:~~//~~www~~.~~associazioneitalianafotografi~~.it/~~community~~/~~gruppi/points~~-to-~~know~~-~~when~~-~~confronted~~-~~with-candidiasis~~/ ~~click through the next article~~])		In [[calculus]], a branch of [[mathematics]], the notions of '''one-sided differentiability''' and '''semi-differentiability''' of a [[real number\|real]]-valued [[function (mathematics)\|function]] ''f'' of a real variable are weaker than [[differentiability]].

			==One-dimensional case==
			===Definitions===

			Let ''f'' denote a real-valued function defined on a subset ''I'' of the real numbers.

			If ''a'' ∈ ''I'' is a [[limit point]] of ''I'' ∩ <nowiki>[</nowiki>''a'',∞) and the [[one-sided limit]]

			:<math>\partial_+f(a):=\lim_{{\scriptstyle x\to a+\atop\scriptstyle x\in I}}\frac{f(x)-f(a)}{x-a}</math>

			exists as a real number, then ''f'' is called '''right differentiable''' at ''a'' and the limit ∂<sub>+</sub>''f''(''a'') is called the '''right derivative''' of ''f'' at ''a''.

			If ''a'' ∈ ''I'' is a limit point of ''I'' ∩ (–∞,''a''<nowiki>]</nowiki> and the one-sided limit

			:<math>\partial_-f(a):=\lim_{{\scriptstyle x\to a-\atop\scriptstyle x\in I}}\frac{f(x)-f(a)}{x-a}</math>

			exists as a real number, then ''f'' is called '''left differentiable''' at ''a'' and the limit ∂<sub>–</sub>''f''(''a'') is called the '''left derivative''' of ''f'' at ''a''.

			If ''a'' ∈ ''I'' is a limit point of ''I'' ∩ <nowiki>[</nowiki>''a'',∞) and ''I'' ∩ (–∞,''a''<nowiki>]</nowiki> and if ''f'' is left and right differentiable at ''a'', then ''f'' is called '''semi-differentiable''' at ''a''.

			===Remarks and examples===

			* A function is [[derivative\|differentiable]] at an [[interior point]] ''a'' of its [[domain (mathematics)\|domain]] [[if and only if]] it is semi-differentiable at ''a'' and the left derivative is equal to the right derivative.
			* An example of a semi-differentiable function, which is not differentiable, is the [[absolute value]] at ''a'' = 0.
			* A function, which is semi-differentiable at a point ''a'', is also continuous at ''a''.
			* The [[indicator function]] 1<sub><nowiki>[</nowiki>0,∞)</sub> is right differentiable at every real ''a'', but discontinuous at zero (note that this indicator function is not left differentiable at zero).

			===Application===

			If a real-valued, differentiable function ''f'', defined on an interval ''I'' of the real line, has zero derivative everywhere, then it is constant, as an application of the [[mean value theorem]] shows. The assumption of differentiability can be weakened to continuity and one-sided differentiability of ''f''. The version for right differentiable functions is given below, the version for left differentiable functions is analogous.

			'''Theorem:''' Let ''f'' be a real-valued, [[continuous function]], defined on an arbitrary [[interval (mathematics)\|interval]] ''I'' of the real line. If ''f'' is right differentiable at every point ''a'' ∈ ''I'', which is not the [[supremum]] of the interval, and if this right derivative is always zero, then ''f'' is [[constant function\|constant]].

			'''Proof:''' For a [[proof by contradiction]], assume there exist ''a'' < ''b'' in ''I'' such that ''f''(''a'') ≠ ''f''(''b''). Then

			:<math>\varepsilon:=\frac{\|f(b)-f(a)\|}{2(b-a)}>0.</math>

			Define ''c'' as the [[infimum]] of all those ''x'' in the interval (''a'',''b''<nowiki>]</nowiki> for which the [[difference quotient]] of ''f'' exceeds ''ε'' in absolute value, i.e.

			:<math>c=\inf\{\,x\in(a,b]\mid \|f(x)-f(a)\|>\varepsilon(x-a)\,\}.</math>

			Due to the continuity of ''f'', it follows that ''c'' < ''b'' and
			\|''f''(''c'') – ''f''(''a'')\| = ''ε''(''c'' – ''a''). At ''c'' the right derivative of ''f'' is zero by assumption, hence there exists ''d'' in the interval (''c'',''b''<nowiki>]</nowiki> with \|''f''(''x'') – ''f''(''c'')\| ≤ ''ε''(''x'' – ''c'') for all ''x'' in (''c'',''d''<nowiki>]</nowiki>. Hence, by the [[triangle inequality]],

			:<math>\|f(x)-f(a)\|\le\|f(x)-f(c)\|+\|f(c)-f(a)\|\le\varepsilon(x-a)</math>

			for all ''x'' in <nowiki>[</nowiki>''c'',''d''<nowiki>]</nowiki>, which contradicts the definition of ''c''.

			==Higher-dimensional case==

			This above definition can be generalized to real-valued functions ''f'' defined on subsets of '''R'''<sup>''n''</sup>. Let ''a'' be an interior point of the domain of ''f''. Then ''f'' is called ''semi-differentiable'' at the point ''a'' if for every direction ''u'' ∈ '''R'''<sup>''n''</sup> the limit

			:<math>\partial_uf(a)=\lim_{h\to 0^+}\frac{f(a+h\, u)-f(a)}{h}</math>

			exists as a real number.

			Semi-differentiability is thus weaker than [[Gâteaux derivative\|Gâteaux differentiability]], for which one takes in the limit above ''h'' → 0 without restricting ''h'' to only positive values.

			(Note that this generalization is not equivalent to the original definition for ''n = 1'' since the concept of one-sided limit points is replaced with the stronger concept of interior points.)

			==Properties==

			* Any [[convex function]] on a convex [[open set\|open subset]] of '''R'''<sup>''n''</sup> is semi-differentiable.
			* While every semi-differentiable function of one variable is continuous; this is no longer true for several variables.

			==Generalization==

			Instead of real-valued functions, one can consider functions taking values in '''R'''<sup>''n''</sup> or in a [[Banach space]].

			==See also==
			* [[Derivative]]
			* [[Directional derivative]]
			* [[Partial derivative]]
			* [[Gradient]]
			* [[Gâteaux derivative]]
			* [[Fréchet derivative]]
			* [[Derivative (generalizations)]]

			==References==

			* Preda, V. and Chiţescu, I. ''On constraint qualification in multiobjective optimization problems: semidifferentiable case.'' J. Optim. Theory Appl. '''100''' (1999), no. 2, 417--433.

			[[Category:Real analysis]]
			[[Category:Differential calculus]]
			[[Category:Articles containing proofs]]

en>Fluffernutter: Reverted edits by 76.169.70.58 (talk) to last revision by ChrisGualtieri (HG)

2012-07-19T21:39:57Z

Reverted edits by 76.169.70.58 (talk) to last revision by ChrisGualtieri (HG)

New page

Oscar is how he's known as and he completely loves this name. [http://www.cwcare.net/services/gynecological-challenges/sexually-transmitted-diseases Managing] people has been his day job for a while. What I adore doing is playing over the counter std test baseball but I haven't made a [https://hcbsales.com/node/3739 visit the next document] dime with [http://Nxnn.info/user/G8498 visit the next document] it. My family lives std testing at home in home std test kit Minnesota and my family members enjoys it.<br><br>Feel free to surf to my weblog :: over the counter std test ([http://www.associazioneitalianafotografi.it/community/gruppi/points-to-know-when-confronted-with-candidiasis/ click through the next article])