Antonina – imię żeńskie; żeński odpowiednik imienia Antonin; uformowany przy użyciu przyrostka -inus, -ina, oznaczającego przynależność lub pochodzenie, przydomek od nazwy rodowej rodu Antoniuszów. W Polsce Antonina pojawiła się później niż obecna od średniowiecza Antonia; notowana jest co najmniej od 1637 roku. Wśród imion nadawanych nowo narodzonym dzieciom, Antonina w 2017 r. zajmowała 15. miejsce w grupie imion żeńskich. W całej populacji Polek Antonina zajmowała w 2017 r. 90. miejsce (43 462 nadań).
Zdrobnienia: Antosia, Tosiunia, Tosia, Tonia, Nina (która stanowi także odrębne imię).
Niektóre kalendarze podają także datę 31 października, co może wynikać z pomyłki, odnoszącej się do obchodzonego w tym dniu wspomnienia św. Antonina.