行列ノルムの計算について質問させて下さい。
現在Mathematica5.2を使っています。
A= {{1/2, 1}, {0, 1/2}}という正方行列がある時
k = 1, 2, …　に対して
A^kの1、2、無限大ノルムを求めたいです。

1、無限大のノルムについては、Norm関数を用いて求めることができました。
Norm[MatrixPower[A, k], n] (n = 1, ∞)
(もしくはTotal[MatrixPower[A, k], 2])

しかし、l2ノルムに関しては
"Norm::symb: Normは記号的要素を持つ行列を受け取りました"
と表示され、求めることが出来ません。
また、このエラーに関してのノートは記述されていませんでした。

もしご存知の方がいらしたら、具体的な求め方を教えて頂けないでしょうか。

また別の質問になりますが、以前にMathematicaを用いた際に
たとえば変数xを用いる時に、"xは正の整数である"といった制約条件を
xに対して付与出来たような記憶があるのですが
本当にできたのか、どんな方法だったか、などを失念してしまいました。
併せて教えて頂ければ幸いです。

長文な上に未熟者の質問で申し訳ありませんが
どうかよろしくお願いいたします。