我们可以使用t()
转置得到的上三角得到下三角:
x <- matrix(c(4,2,-2, 2,10,2, -2,2,5), ncol = 3, nrow = 3)
R <- chol(x) ## upper tri
L <- t(R) ## lower tri
all.equal(crossprod(R), x) ## t(R) %*% R
# [1] TRUE
all.equal(tcrossprod(L), x) ## L %*% t(L)
# [1] TRUE
但是,我想你不是唯一一个有这种怀疑的人。因此,我将对此进行详细说明。
chol.default
从 R 基础调用 LAPACK 例程dpotrf
用于非枢轴 Cholesky 分解,以及 LAPACK 例程dpstrf
用于枢轴 Cholesky 分解。两个 LAPACK 例程都允许用户选择是使用上三角还是下三角,但是 R 禁用下三角选项并且只返回上三角。查看源代码:
chol.default
#function (x, pivot = FALSE, LINPACK = FALSE, tol = -1, ...)
#{
# if (is.complex(x))
# stop("complex matrices not permitted at present")
# .Internal(La_chol(as.matrix(x), pivot, tol))
#}
#<bytecode: 0xb5694b8>
#<environment: namespace:base>
// from: R_<version>/src/modules/lapack.c
static SEXP La_chol(SEXP A, SEXP pivot, SEXP stol)
{
// ...omitted part...
if(!piv) {
int info;
F77_CALL(dpotrf)("Upper", &m, REAL(ans), &m, &info);
if (info != 0) {
if (info > 0)
error(_("the leading minor of order %d is not positive definite"),
info);
error(_("argument %d of Lapack routine %s had invalid value"),
-info, "dpotrf");
}
} else {
double tol = asReal(stol);
SEXP piv = PROTECT(allocVector(INTSXP, m));
int *ip = INTEGER(piv);
double *work = (double *) R_alloc(2 * (size_t)m, sizeof(double));
int rank, info;
F77_CALL(dpstrf)("U", &m, REAL(ans), &m, ip, &rank, &tol, work, &info);
if (info != 0) {
if (info > 0)
warning(_("the matrix is either rank-deficient or indefinite"));
else
error(_("argument %d of Lapack routine %s had invalid value"),
-info, "dpstrf");
}
// ...omitted part...
return ans;
}
如您所见,它将“Upper”或“U”传递给 LAPACK。
上三角因子在统计学中更常见的原因是,我们在最小二乘计算中经常将 Cholesky 分解与 QR 分解进行比较,而后者只返回上三角。要求chol.default
始终返回上三角函数提供了代码重用。例如,该chol2inv
函数用于查找最小二乘估计的未缩放协方差,我们可以将 或 的结果提供给chol.default
它qr.default
。请参阅如何使用 R 中的 QR 分解计算最小二乘估计量的方差?详情。