Main definitions of microlens in English

: microlens1microlens2

microlens1

Pronunciation /ˈmʌɪkrə(ʊ)lɛnz/

noun

  • 1A very small (photographic, contact, etc.) lens.

  • 2Astronomy
    A single discrete astronomical object (such as a star or planet) that acts as a gravitational lens. Compare "macrolens", microlens .

Origin

1960s; earliest use found in Stewart Duke-Elder (1898–1978), ophthalmic surgeon. From micro- + lens.

Main definitions of microlens in English

: microlens1microlens2

microlens2

Pronunciation /ˈmʌɪkrə(ʊ)lɛnz/

verb

Astronomy
  • with object Of a single star, planet, etc.: to refract (electromagnetic radiation from an astronomical object, or the image of that object) by microlensing. Also without object. intr.requently in pass. Compare macrolensing .

Origin

1980s. From microlens.