¿Existe una notación universal o general de "constructor de matrices"?

Si se quiere construir una serie de forma compacta, se escribe

i = 1 w a i = a 1 + a 2 + a 3 + + a w

Si se quiere construir un conjunto de forma compacta, se escribe

j = 1 X B j = B 1 B 2 B 3 B X

Un beneficio de estas notaciones es que no requieren una explicación adicional, excepto por sus argumentos, que en realidad se pueden definir después del "gran símbolo" en sí.

Si uno quiere construir una matriz de forma compacta , ¿qué "gran operador" podría usar para anotar o sustituir

C ( y , z ) = ( C ( 1 , 1 ) C ( 1 , 2 ) C ( 1 , 3 ) C ( 1 , z ) C ( 2 , 1 ) C ( 2 , 2 ) C ( 2 , 3 ) C ( 2 , z ) C ( 3 , 1 ) C ( 3 , 2 ) C ( 3 , 3 ) C ( 3 , z ) C ( y , 1 ) C ( y , 2 ) C ( y , 3 ) C ( y , z ) )

Supongo que uno podría hacer algo extraño como definir

METRO ( k , ) = ( 1 , 1 ) ( y , z ) C ( k , )

pero me gustaría algo más universal, tal vez involucrando , , y I y × X (el y × z matriz de identidad).

Creo que normalmente uno solo dice "Considere la matriz C con entradas C i j = ", aunque a veces he visto [ C i j ] metro × norte .
Es interesante. ¿Hasta qué punto diría usted que es universalmente aplicable?

Respuestas (1)

He visto la notación ( C ( k , ) ) k o tal vez una variante como ( C ( k , ) ) k = 1 , = 1 y , z o ( C ( k , ) ) k = 1 y , = 1 z . Con el primero, generalmente se especifican las dimensiones en el texto circundante.

La notación es una especie de tensor "anónimo", donde la contracción termina siendo sustitución.

¿Podría explicar qué quiere decir con "tensor 'anónimo'"? Suena fascinante...
@ChaseRyanTaylor Anónimo solo en el sentido de "sin nombre". Por ejemplo, con respecto a una base v 1 , , v norte , se puede escribir un vector i ( i 2 ) i v i = v 1 + 4 v 2 + 9 v 3 + + norte 2 v norte , dónde ( i 2 ) i es el tensor anónimo. también podría haber escrito i C i v i dónde C i = i 2 , dando al objeto el nombre C . Es similar a funciones anónimas como X X 2 , donde dice ( X X 2 ) ( 3 ) = 3 2 . Acabo de dar un ejemplo de 1 tensor, pero puede tener cualquier número de índices, cada uno de ellos superior o inferior.