Обозначение индекса

Способ обращения к элементам массивов или тензоров

В математике и компьютерном программировании индексная запись используется для указания элементов массива чисел. Формализм использования индексов варьируется в зависимости от предмета. В частности, существуют разные методы обращения к элементам списка, вектора или матрицы, в зависимости от того, пишете ли вы официальную математическую статью для публикации или когда пишете компьютерную программу .

По математике

В математике часто бывает полезно обращаться к элементам массива с помощью индексов. Индексы могут быть целыми числами или переменными . В целом массив принимает форму тензоров , поскольку их можно рассматривать как многомерные массивы. Особыми (и более знакомыми) случаями являются векторы (1d-массивы) и матрицы (2D-массивы).

Нижеследующее является лишь введением в концепцию: индексная нотация более подробно используется в математике (особенно при представлении и манипулировании тензорными операциями ). Подробности смотрите в основной статье.

Одномерные массивы (векторы)

Вектор, рассматриваемый как массив чисел, записываемый как вектор-строка или вектор-столбец (в зависимости от удобства или контекста):

${\displaystyle \mathbf {a} ={\begin{pmatrix}a_{1}\\a_{2}\\\vdots \\a_{n}\end{pmatrix}},\quad \mathbf {a} ={\begin{pmatrix}a_{1}&a_{2}&\cdots &a_{n}\end{pmatrix}}}$

Обозначение индекса позволяет указывать элементы массива, просто записывая a _i , где индекс i, как известно, принимает значения от 1 до n из-за n-мерностей. ^[1] Например, учитывая вектор:

${\displaystyle \mathbf {a} ={\begin{pmatrix}10&8&9&6&3&5\\\end{pmatrix}}}$

тогда некоторые записи

${\displaystyle a_{1}=10,\,a_{2}=8,\,\cdots ,\,a_{6}=5}$.

Обозначения можно применять к векторам в математике и физике . Следующее векторное уравнение

${\displaystyle \mathbf {a} +\mathbf {b} =\mathbf {c} }$

также можно записать через элементы вектора (также известные как компоненты), то есть

${\displaystyle a_{i}+b_{i}=c_{i}}$

где индексы принимают заданный диапазон значений. Это выражение представляет собой набор уравнений, по одному для каждого индекса. Если каждый из векторов имеет n элементов, что означает i = 1,2,… n , то уравнения явно имеют вид

${\displaystyle {\begin{aligned}a_{1}+b_{1}&=c_{1}\\a_{2}+b_{2}&=c_{2}\\&\ \ \vdots \\a_{n}+b_{n}&=c_{n}\end{aligned}}}$

Следовательно, индексная запись служит эффективным сокращением для

1. представление общей структуры уравнения,
2. применимо к отдельным компонентам.

Двумерные массивы

Элементы матрицы A описываются двумя индексами или индексами.

Для описания массивов чисел в двух или более измерениях, например элементов матрицы, используется более одного индекса (см. также изображение справа);

${\displaystyle \mathbf {A} ={\begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{pmatrix}}}$

Запись матрицы A записывается с использованием двух индексов, скажем, i и j , с запятыми или без них для разделения индексов: ij или a _i,j , где первый нижний индекс — это номер строки, а второй — номер столбца _. Сопоставление также используется как обозначение умножения; это может быть источником путаницы. Например, если

${\displaystyle \mathbf {A} ={\begin{pmatrix}9&8&6\\1&2&7\\4&9&2\\6&0&5\end{pmatrix}}}$

тогда некоторые записи

${\displaystyle a_{11}=9,\,a_{12}=8,\,a_{21}=1,\,\cdots ,\,a_{23}=7,\,\cdots }$.

Для индексов больше 9 предпочтительнее использовать запись через запятую (например _, 3,12 вместо 312 ₎ .

Матричные уравнения записываются аналогично векторным уравнениям, например:

${\displaystyle \mathbf {A} +\mathbf {B} =\mathbf {C} }$

с точки зрения элементов матриц (также известных как компоненты)

${\displaystyle A_{ij}+B_{ij}=C_{ij}}$

для всех значений i и j . Опять же, это выражение представляет собой набор уравнений, по одному для каждого индекса. Если каждая матрица имеет m строк и n столбцов, то есть i = 1, 2, …, m и j = 1, 2, …, n , то существует mn уравнений.

Многомерные массивы

Обозначения позволяют четко обобщить многомерные массивы элементов: тензоры. Например,

${\displaystyle A_{i_{1}i_{2}\cdots }+B_{i_{1}i_{2}\cdots }=C_{i_{1}i_{2}\cdots }}$

представляющий собой набор многих уравнений.

В тензорном анализе верхние индексы используются вместо нижних индексов, чтобы отличить ковариантные сущности от контравариантных, см. ковариацию и контравариантность векторов , а также индексы повышения и понижения .

В вычислительной технике

В некоторых языках программирования индексная запись — это способ обращения к элементам массива. Этот метод используется, поскольку он наиболее близок к тому, как он реализован на языке ассемблера , при этом адрес первого элемента используется в качестве базы, а кратное (индекс) размера элемента используется для адресации внутри массива.

Например, если в области памяти компьютера, начиная с ячейки памяти с адресом 3000 (базовый адрес ), хранится массив целых чисел, и каждое целое число занимает четыре ячейки (байта), то элементы этого массива находятся в памяти. местоположения 0x3000, 0x3004, 0x3008,…, 0x3000 + 4( n − 1) (обратите внимание на нумерацию, начинающуюся с нуля ). В общем случае адрес i -го элемента массива с базовым адресом b и размером элемента s равен b + is .

Детали реализации

На языке программирования C мы можем записать вышеизложенное как *(base + i)(форма указателя) или base[i](форма индексации массива), что в точности эквивалентно, поскольку стандарт C определяет форму индексации массива как преобразование в форму указателя. По совпадению, поскольку сложение указателей является коммутативным, это позволяет использовать неясные выражения, например, 3[base]который эквивалентен base[3]. ^[2]

Многомерные массивы

Ситуация становится интереснее, когда мы рассматриваем массивы с более чем одним индексом, например, двумерную таблицу. У нас есть три возможности:

• сделать двумерный массив одномерным, вычислив один индекс из двух
• рассмотрим одномерный массив, где каждый элемент представляет собой другой одномерный массив, т.е. массив массивов
• использовать дополнительное хранилище для хранения массива адресов каждой строки исходного массива и хранить строки исходного массива как отдельные одномерные массивы

В C можно использовать все три метода. При использовании первого метода программист решает, как элементы массива располагаются в памяти компьютера, и предоставляет формулы для вычисления местоположения каждого элемента. Второй метод используется, когда количество элементов в каждой строке одинаково и известно на момент написания программы. Программист объявляет массив, скажем, состоящим из трех столбцов, написав, например, elementtype tablename[][3];. Затем можно ссылаться на конкретный элемент массива, записывая tablename[first index][second index]. Компилятор вычисляет общее количество ячеек памяти, занимаемых каждой строкой, использует первый индекс для поиска адреса нужной строки, а затем использует второй индекс для поиска адреса нужного элемента в строке. При использовании третьего метода программист объявляет таблицу массивом указателей, как в elementtype *tablename[];. Когда программист впоследствии указывает конкретный элемент tablename[first index][second index], компилятор генерирует инструкции для поиска адреса строки, указанной первым индексом, и использует этот адрес в качестве базы при вычислении адреса элемента, указанного вторым индексом.

void mult3x3f ( float result [][ 3 ], const float A [][ 3 ], const float B [][ 3 ]) { int i , j , k ; for ( я знак равно 0 ; я < 3 ; ++ я ) { for ( j знак равно 0 ; j < 3 ; ++ j ) { результат [ я ][ j ] = 0 ; for ( k = 0 ; k < 3 ; ++ k ) результат [ i ][ j ] += A [ i ][ k ] * B [ k ][ j ]; } } }                                                

На других языках

В других языках программирования, таких как Паскаль, индексы могут начинаться с 1, поэтому индексацию в блоке памяти можно изменить, чтобы она соответствовала схеме адресации «начало с 1», с помощью простого линейного преобразования — в этой схеме ячейка памяти i th элемент с базовым адресом b и размером элемента s равен b + ( i − 1) s .

Рекомендации

1. Введение в тензорный анализ: для инженеров и ученых-прикладников, Дж. Р. Тилдесли, Лонгман, 1975, ISBN  0-582-44355-5
2. Программирование на C++, Дж. Хаббард, Очерки Шаума, McGraw Hill (США), 1996, ISBN 0-07-114328-9 

• Программирование на C++ , Дж. Хаббард, Очерки Шаума, McGraw Hill (США), 1996, ISBN 0-07-114328-9 
• Тензорное исчисление , DC Kay, Очерки Шаума, McGraw Hill (США), 1988, ISBN 0-07-033484-6 
• Математические методы в физике и технике , К. Ф. Райли, М. П. Хобсон, С. Дж. Бенс, Cambridge University Press, 2010, ISBN 978-0-521-86153-3