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

«Подстрочное обозначение» перенаправляется сюда. Другие обозначения с похожими названиями см. в разделах «Обозначение двойного индекса напряжения» и «Обозначение нижнего индекса напряжения с двумя буквами» .

Для обозначения индекса или обозначения обозначения в теории относительности и абстрактной алгебре см. Обозначение Эйнштейна и обозначение абстрактного индекса .

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

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

Основные статьи: исчисление Риччи и тензор

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

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

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

Основная статья: Вектор (математика и физика)

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

$\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-мерностей. Например, учитывая вектор:

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

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

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

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

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

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

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

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

${\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 описываются двумя индексами или индексами.

Основная статья: матрица (математика)

Смотрите также: Диадики

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

$\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 записывается с использованием двух индексов, скажем, или a i , j _{i и j, с запятыми или без них для разделения индексов: ij} , где _первый нижний индекс — это номер строки, а второй — номер столбца. Сопоставление также используется как обозначение умножения; это может быть источником путаницы. Например, если

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

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

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

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

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

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

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

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

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

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

Основная статья: Тензоры

Смотрите также: Классическая трактовка тензоров.

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

$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].

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

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

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

В 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 (i = 0; i < 3; ++i) {
    for (j = 0; j < 3; ++j) {
      result[i][j] = 0;
      for (k = 0; k < 3; ++k)
        result[i][j] += A[i][k] * B[k][j];
    }
  }
}

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

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

Ссылки

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