求相应的各种范数并验证矩形阵列和向量范数的相容性，用Python语言写

在Python中，矩阵和向量的范数是非常常见的数学操作，特别是在线性代数和机器学习中。主要有几种常见的范数：

1. **欧几里得范数** (L2 norm) 或 **2-norm**：对于一个向量 `v = [v1, v2, ..., vn]`，它的2-norm定义为 `||v||_2 = sqrt(v1^2 + v2^2 + ... + vn^2)`。
对于矩阵 `A`，其每个列都是一个向量，行向量的2-norm通常称为矩阵的Frobenius范数，计算公式为 `||A||_F = sqrt(sum(sum(A^2)))`。

2. **曼哈顿范数** (L1 norm) 或 **1-norm**：它定义为向量元素绝对值之和，即 `||v||_1 = |v1| + |v2| + ... + |vn|$`。

3. **无穷范数** (max norm) 或 **∞-norm**：取最大绝对值，即 `||v||_{\infty} = max(|v1|, |v2|, ..., |vn|)`。

4. **列向量的核范数** ( Nuclear norm) 或 **1-spectral norm**：矩阵的最小秩使得可以表示为两个较小尺寸矩阵的乘积。

为了验证矩阵和向量之间的相容性，通常考虑的是上述任一范数下，矩阵作用于向量后的结果是否仍然是有意义的，比如保持长度不变（如果应用的是欧氏范数）。例如，在求解线性系统的最小二乘解时，Frobenius范数就常用于衡量残差向量的大小。

以下是一个简单的示例，如何使用NumPy库来计算矩阵和向量的范数：

import numpy as np

# 创建一个矩阵和向量
matrix_A = np.array([[1, 2], [3, 4]])
vector_v = np.array([5, 6])

# 计算不同范数
l2_norm_vector = np.linalg.norm(vector_v, ord=2)
l1_norm_vector = np.linalg.norm(vector_v, ord=1)
inf_norm_vector = np.linalg.norm(vector_v, ord=np.inf)

frobenius_norm_matrix = np.linalg.norm(matrix_A, 'fro')
spectral_norm_matrix = np.linalg.svd(matrix_A, compute_uv=False)[0]

print(f"Vector L2 norm: {l2_norm_vector}")
print(f"Vector L1 norm: {l1_norm_norm_vector}")
print(f"Vector Inf norm: {inf_norm_vector}")
print(f"Matrix Frobenius norm: {frobenius_norm_matrix}")
print(f"Matrix Spectral norm: {spectral_norm_matrix}")