矩阵类型：单位矩阵、对角矩阵、零矩阵、全一矩阵及其性质验证

单位矩阵（Identity Matrix）：单位矩阵是一个方阵，其对角线上的元素全为 1，其余元素全为 0。一般记作 I。

对角矩阵（Diagonal Matrix）：对角矩阵是一个方阵，除了对角线上的元素可以为任意值外，其余元素全为 0。

零矩阵（Zero Matrix）：零矩阵是一个所有元素都为 0 的矩阵。

全一矩阵（All Ones Matrix）：全一矩阵是一个所有元素都为 1 的矩阵。

现在我们来创建这些矩阵，并验证一些性质。

创建单位矩阵：单位矩阵是一个 n×n 的矩阵，其对角线上的元素为 1，其余元素为 0。

例如，创建一个 3×3 的单位矩阵： I = [[1, 0, 0], [0, 1, 0], [0, 0, 1]]

创建对角矩阵：对角矩阵是一个 n×n 的矩阵，除了对角线上的元素可以为任意值外，其余元素全为 0。

例如，创建一个 3×3 的对角矩阵： D = [[2, 0, 0], [0, 3, 0], [0, 0, 4]]

创建零矩阵：零矩阵是一个所有元素都为 0 的矩阵。

例如，创建一个 3×3 的零矩阵： Z = [[0, 0, 0], [0, 0, 0], [0, 0, 0]]

创建全一矩阵：全一矩阵是一个所有元素都为 1 的矩阵。

例如，创建一个 3×3 的全一矩阵： A = [[1, 1, 1], [1, 1, 1], [1, 1, 1]]

验证性质： AXE = EXA = A：对于任意矩阵 A 和单位矩阵 E，都有 AXE = EXA = A。

验证 AXE = A： A = [[1, 2], [3, 4]] E = [[1, 0], [0, 1]]

AXE = [[1, 2], [3, 4]] [[1, 0], [0, 1]] [[1, 2], [3, 4]] = [[1, 2], [3, 4]] = A

验证 EXA = A： E = [[1, 0], [0, 1]] A = [[1, 2], [3, 4]]

EXA = [[1, 0], [0, 1]] [[1, 2], [3, 4]] = [[1, 2], [3, 4]] = A

所以，验证 AXE = EXA = A 成立。

验证 EXE = E： E = [[1, 0], [0, 1]]

EXE = [[1, 0], [0, 1]] [[1, 0], [0, 1]] [[1, 0], [0, 1]] = [[1, 0], [0, 1]] = E

所以，验证 EXE = E 成立。